An improvement on efficient anonymous auction protocols

Computers and Security

Volumn 24, Issue 2, 2005, Pages 169-174

  Jiang, Rui ^a   Pan, Li ^a   Li, Jian Hua ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

Anonymity; Auction protocol; Authentication tests; Formal method; Strand space model

Indexed keywords

BROADCASTING; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SECURITY OF DATA;

ANONYMITY; AUCTION PROTOCOLS; AUTHENTICATION TESTS; FORMAL METHODS; STRAND SPACE MODELS;

ELECTRONIC COMMERCE;

EID: 17844382416     PISSN: 01674048     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cose.2004.09.010     Document Type: Article

References (4)

1. C.C. Chang, and Y.F. Chang Efficient anonymous auction protocols with freewheeling bids Computers & Security 22 8 2003 728 734
2. J.D. Guttman Security protocol design via authentication tests Proceedings of the 15th IEEE computer security foundations workshop June 2002 IEEE CS Press
3. J.D. Guttman, and F.J. Thayer Fabrega Authentication tests and the structure of bundles Theoretical Computer Science 283 2 2002 333 380
4. F.J. Thayer Fabrega, J.C. Herzog, and J.D. Guttman Strand spaces: proving security protocols correct Journal of Computer Security 7 2/3 1999 191 230