4 search results - page 1 / 1 » Types and Effects for Asymmetric Cryptographic Protocols |
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
ESOP
2009
Springer
13 years 9 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
IFIPTM
2009
13 years 3 months ago
2009
Effective defense against Internet threats requires data on global real time network status. Internet sensor networks provide such real time network data. However, an organization...
INFOCOM
2005
IEEE
13 years 11 months ago
2005
IEEE
— The establishment of shared cryptographic keys between communicating neighbor nodes in sensor networks is a challenging problem due to the unsuitability of asymmetric key crypt...