1106 search results - page 18 / 222 » Automated Design of Security Protocols |
NTMS
2008
IEEE
14 years 4 months ago
2008
IEEE
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...
JAR
2006
13 years 9 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
ACISP
2008
Springer
13 years 11 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
ESORICS
1998
Springer
14 years 2 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...