英语论文网

ensitive to the equations satisfied by the cryptographic functions upon which the protocol re-lies. The applied pi calculus is well-suited for expressing those equivalences and those equations.

References
[1] Mart′ n Abaci. Private authentication. In Proceedings of the Workshop on Privacy Enhancing Technologies (PET 2002), LNCS. Springer-Vela, 2002. To appear.
[2] Mart′ n Abaci and C′edict Four net. Mobile values, new names, and secure com-medication. In Proceedings of the 28th ACM Symposium on Principles of Pro-griming Languages (POPL 2001), pages 104–115. ACM, January 2001.
[3] Mart′ n Abaci, C′edict Four net, and Georges Gauthier. Authentication primitives and their compilation. In Proceedings of the 27th ACM Symposium on Principles of Programming Languages (POPL 2000), pages 302–315. ACM, January 2000.
[4] Mart′ n Abaci, C′edict Four net, and Georges Gauthier. Secure implementation of channel abstractions. Information and Computation, 174(1):37–83, April 2002.
[5] William Aiello, Steven M. Bellowing, Matt Blaze, Ran Canetti, John Ioannidis, An-gels D. Keromytis, and Omer Rheingold. Efficient, Does-resistant, secure key ex-change for internet protocols. In Vijay Allure, editor, Proceedings of the 9th ACMConference on Computer and Communications Security (CCS 2002), pages 48–58.ACM, November 2002.
[6] Giuseppe Attendees, Amir Herzberg, Hugo Krawczyk, and Gene Studio. On traveling incognito. Computer Networks, 31(8):871–884, 1999.
[7] Hanes Federate Ana Jericho, and Andreas Pitman. Mixes in mobile communication systems: Location management with privacy. In Ross J. Anderson, editor, Information hiding: First international workshop, volume 1174 of LNCS, pages 121–135. Springer-Vela, 1996.
[8] Markus Jacobson and Susanne Wetzel. Security weaknesses in Bluetooth. In Topics in Cryptology - CT-RSA 2001, Proceedings of the Cryptographer’s Track at RSA Conference 2001, volume 2020 of LNCS, pages 176–191. Springer-Verlag, 2001.
[9] Hugo Krawczyk. SKEME: A versatile secure key exchange mechanism for in-tenet. In Proceedings of the Internet Society Symposium on Network and Distributed Systems Security, February 1996.
[10] Butler Lampson, Mart′ n Abaci, Michael Burrows, and Edward Webber. Au-thentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265–310, November 1992.
[11] Alfred J. Meekness, Paul C. van Borscht, and Scott A. Vanstone. Handbook of Applied Cryptography. CRC Press, 1996.
[12] Refit Move, Didier Sam fat, and Gene Studio. Authentication of mobile users.IEEE Network, 8(2):26–35, March/April 1994.
[13] Roger M. Needham and Michael D. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12):993–999, December 1978.
[14] Michael G. Reed, Paul F. Myerson, and David M. Goldschlag. Protocols us-in anonymous connections: Mobile applications. In B. Christianson, https://www.51lunwen.org/liuxuelunwendx/B. Crispo, M. Lomas, and M. Roe, editors, Security Protocols: 5th International Workshop, volume 1361 of LNCS, pages 13–23. Springer-Vela, 1997.