3115 search results - page 83 / 623 » Synthesizing Secure Protocols |
ASIACRYPT
2000
Springer
14 years 1 months ago
2000
Springer
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
In this paper new, lightweight security and control protocol for Voice over Internet Protocol (VoIP) service is presented. It is the alternative for the IETF's (Internet Engi...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
CSFW
1998
IEEE
14 years 2 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
CCS
2006
ACM
14 years 1 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...