3115 search results - page 157 / 623 » Synthesizing Secure Protocols |
ACSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
We describe the goals of the IETF's Intrusion Detection Working Group (IDWG) and the requirements for a transport protocol to communicate among intrusion detection systems. W...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
A large number of vulnerabilities occur because protocol implementations failed to anticipate illegal packets. rfcs typically define what constitute “right” packets relevant ...
JSW
2008
14 years 10 months ago
2008
A protocol for assuring the authenticity of information broadcasted over long periods of time is proposed. The protocol is based on time synchronization and uses one-way chains con...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
A Group Key Agreement protocol is a process to establish a cryptographic key for a group of participants over an open network. In this paper, we propose a group key agreement(CAGKA...