1059 search results - page 69 / 212 » Modeling Security Protocols as Games |
NSDI
2004
13 years 11 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
SIGECOM
2008
ACM
13 years 10 months ago
2008
ACM
Computer users express a strong desire to prevent attacks and to reduce the losses from computer and information security breaches. However, security compromises are common and wi...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
JAR
2008
13 years 10 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
CRYPTO
2003
Springer
14 years 3 months ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...