783 search results - page 112 / 157 » On security proof of McCullagh |
155
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
123
click to vote
ENTCS
2007
15 years 4 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
200
click to vote
TCOS
2010
14 years 11 months ago
2010
Password Authenticated Key Exchange (PAKE) is one of the important topics in cryptography. It aims to address a practical security problem: how to establish secure communication be...
181
click to vote
DIM
2006
ACM
15 years 10 months ago
2006
ACM
An emerging approach to the problem of reducing the identity theft is represented by the adoption of biometric authentication systems. Such systems however present however several...
135
click to vote
EUROCRYPT
2009
Springer
16 years 4 months ago
2009
Springer
At the RFID Security Workshop 2007, Adi Shamir presented a new challenge-response protocol well suited for RFIDs, although based on the Rabin public-key cryptosystem. This protocol...