5488 search results - page 136 / 1098 » On the Secure Implementation of Security Protocols |
131
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
143
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
135
click to vote
ICB
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Cryptographic transactions form the basis of many common security systems found throughout computer networks. Supporting these transactions with biometrics is very desira...
148
click to vote
IJNSEC
2008
15 years 4 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
162
click to vote
ESORICS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This article presents an efficient public-key protocol for mutual authentication and key exchange designed for third generation mobile communications systems. The paper a...