526 search results - page 14 / 106 » A Z Based Approach to Verifying Security Protocols |
EUROCRYPT
2003
Springer
14 years 21 days ago
2003
Springer
Abstract Benny Pinkas HP Labs Abstract. We demonstrate a transformation of Yao’s protocol for secure two-party computation to a fair protocol in which neither party gains any sub...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
The security of electronic payment protocols is of interest to researchers in academia and industry. While the ultimate objective is the safest and most secure protocol, convenien...
ACMICEC
2006
ACM
13 years 11 months ago
2006
ACM
We present a practical protocol based on homomorphic cryptography for conducting provably fair sealed-bid auctions. The system preserves the secrecy of the bids, even after the an...
JSW
2008
13 years 7 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...