648 search results - page 87 / 130 » The GCHQ Protocol and Its Problems |
164
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
123
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
In this work, we present the novel idea of route normalization by correcting on the fly routing traffic on behalf of a local router to protect the local network from malicious a...
144
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper investigates a novel concept of providing seamless control and portability of an IPTV viewing session. A solution employing a middleware system, a secure hardware token...
105
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This article deals with the problem of collaborative learning in a multi-agent system. Here each agent can update incrementally its beliefs B (the concept representation) so that ...
153
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently several researchers and practitioners have begun to address the problem of how to set up secure communication between two devices without the assistance of a trusted thir...