20 search results - page 2 / 4 » Cryptographic Protocol Composition via the Authentication Te... |
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...
CSFW
2002
IEEE
14 years 17 days 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 ...
FCS
2006
13 years 9 months ago
2006
A computational grid is a large-scale distributed computing environment capable of providing dependable, consistent, pervasive, and inexpensive access to high-end computational re...
ACSAC
1999
IEEE
13 years 12 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...
ESORICS
2000
Springer
13 years 11 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...