Using encryption for authentication in large networks of computers

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Using encryption for authentication in large networks of computers

Full text

Pdf (756 KB)

Source

Communications of the ACM archive
Volume 21 , Issue 12 (December 1978) table of contents

Pages: 993 - 999

Year of Publication: 1978

ISSN:0001-0782

Authors

Roger M. Needham	Xerox Palo Alto Research Center, Palo Alto, CA
Michael D. Schroeder	Xerox Palo Alto Research Center, Palo Alto, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 84, Downloads (12 Months): 652, Citation Count: 265

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/359657.359659 What is a DOI?

ABSTRACT

Use of encryption to achieve authenticated communication in computer networks is discussed. Example protocols are presented for the establishment of authenticated connections, for the management of authenticated mail, and for signature verification and document integrity guarantee. Both conventional and public-key encryption algorithms are considered as the basis for protocols.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Branstad, D. Security aspects of computer networks, Proc. AIAA Comptr. Network Syst. Conf., April 1973, paper 73-427.
	2	Branstad, D. Encryption protection in computer data communications. Proc. Fourth Data Communications Symp., Oct. 1975, pp. 8.1-8.7 (available from ACM, New York).
	3	DiMe, W., and Hellman, M. Multiuser Cryptographic Techniques, Proc AFIPS 1976 NCC, AFIPS Press, Montvale, N.J., pp. 109-112.
	4	Feistel, H. Cryptographic coding for data bank privacy. Res. Rep. RC2827, IBM T.J. Watson Res. Ctr., Yorktown Heights, N.Y., March 1970.
	5	S. Kent, ENCRYPTION-BASED PROTECTION PROTOCOLS FOR INTERACTIVE USER-COMPUTER COMMUNICATION, Massachusetts Institute of Technology, Cambridge, MA, 1976
	6	Stephen Thomas Kent, Encryption-based protection for interactive user/computer communication, Proceedings of the fifth symposium on Data communications, p.5.7-5.13, September 27-29, 1977, Snowbird, Utah, United States [doi>10.1145/800103.803345]
	7	National Bureau of Standards. Data Encryption Standard. Fed. Inform. Processing Standards Pub. 46, NBS, Washington, D.C., Jan. 1977.
	8	Pohlig, S. Algebraic and combinatoric aspects of cryptography. Tech. Rep. No. 6602-1, Stanford Electron. Labs., Stanford, Calif., Oct. 1977.
	9	R. L. Rivest , A. Shamir , L. Adleman, A method for obtaining digital signatures and public-key cryptosystems, Communications of the ACM, v.21 n.2, p.120-126, Feb. 1978 [doi>10.1145/359340.359342]

CITED BY 265

	Dejan Milojicic , Gul Agha , Philippe Bernadat , Deepika Chauhan , Shai Guday , Nadeem Jamali , Dan Lambright , Franco Travostino, Case Studies in Security and Resource Management for Mobile Object Systems, Autonomous Agents and Multi-Agent Systems, v.5 n.1, p.45-79, March 2002
	Jang Ho Lee , Atul Prakash , Trent Jaeger , Gwobaw Wu, Supporting multi-user, multi-applet workspaces in CBE, Proceedings of the 1996 ACM conference on Computer supported cooperative work, p.344-353, November 16-20, 1996, Boston, Massachusetts, United States
	Aviel D. Rubin, Extending NCP for protocols using public keys, Mobile Networks and Applications, v.2 n.3, p.227-241, Dec. 1997
	R. Chadha , M. Kanovich , A. Scedrov, Inductive methods and contract-signing protocols, Proceedings of the 8th ACM conference on Computer and Communications Security, November 05-08, 2001, Philadelphia, PA, USA
	D. B. Terry , M. M. Theimer , Karin Petersen , A. J. Demers , M. J. Spreitzer , C. H. Hauser, Managing update conflicts in Bayou, a weakly connected replicated storage system, ACM SIGOPS Operating Systems Review, v.29 n.5, p.172-182, Dec. 3, 1995
	Ray Bird , Inder Gopal , Amir Herzberg , Phil Janson , Shay Kutten , Refik Molva , Moti Yung, The KryptoKnight family of light-weight protocols for authentication and key distribution, IEEE/ACM Transactions on Networking (TON), v.3 n.1, p.31-41, Feb. 1995
	Armando Fox , Steven D. Gribble, Security on the move: indirect authentication using Kerberos, Proceedings of the 2nd annual international conference on Mobile computing and networking, p.155-164, November 1996, Rye, New York, United States
	Barbara Liskov, Primitives for distributed computing, Proceedings of the seventh ACM symposium on Operating systems principles, p.33-42, December 10-12, 1979, Pacific Grove, California, United States
	Thomas Y. C. Woo , Simon S. Lam, Authentication for Distributed Systems, Computer, v.25 n.1, p.39-52, January 1992
	Victor L. Voydock , Stephen T. Kent, Security Mechanisms in High-Level Network Protocols, ACM Computing Surveys (CSUR), v.15 n.2, p.135-171, June 1983
	Andrew D. Birrell , Roy Levin , Michael D. Schroeder , Roger M. Needham, Grapevine: an exercise in distributed computing, Communications of the ACM, v.25 n.4, p.260-274, April 1982
	David K. Gifford, Cryptographic sealing for information secrecy and authentication, Communications of the ACM, v.25 n.4, p.274-286, April 1982
	Alan Harbitter , Daniel A. Menascé, A methodology for analyzing the performance of authentication protocols, ACM Transactions on Information and System Security (TISSEC), v.5 n.4, p.458-491, November 2002
	Dorothy E. Denning, Secure personal computing in an insecure network, Communications of the ACM, v.22 n.8, p.476-482, Aug. 1979
	L. Harn , D. Huang, A Protocol for Establishing Secure Communication Channels in a Large Network, IEEE Transactions on Knowledge and Data Engineering, v.6 n.1, p.188-191, February 1994
	Derek C. Oppen , Yogen K. Dalal, The clearinghouse: a decentralized agent for locating named objects in a distributed environment, ACM Transactions on Information Systems (TOIS), v.1 n.3, p.230-253, July 1983
	R D Sansom , D P Julin , R F Rashid, Extending a capability based system into a network environment, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.265-274, Aug. 5, 1986
	Stephan Merz, Model checking: a tutorial overview, Modeling and verification of parallel processes, Springer-Verlag New York, Inc., New York, NY, 2001
	Yvo Desmedt , Mike Burmester, Towards practical “proven secure” authenticated key distribution, Proceedings of the 1st ACM conference on Computer and communications security, p.228-231, November 03-05, 1993, Fairfax, Virginia, United States
	J. H. Saltzer , D. P. Reed , D. D. Clark, End-to-end arguments in system design, ACM Transactions on Computer Systems (TOCS), v.2 n.4, p.277-288, Nov. 1984
	Alain Mayer , Moti Yung, Secure protocol transformation via “expansion”: from two-party to groups, Proceedings of the 6th ACM conference on Computer and communications security, p.83-92, November 01-04, 1999, Kent Ridge Digital Labs, Singapore
	Jay E. Israel , Theodore A. Linden, Authentication in office system internetworks, ACM Transactions on Information Systems (TOIS), v.1 n.3, p.193-210, July 1983
	Barbara Liskov, Practical uses of synchronized clocks in distributed systems, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.1-9, August 19-21, 1991, Montreal, Quebec, Canada
	Eliezer Levy , Abraham Silberschatz, Distributed file systems: concepts and examples, ACM Computing Surveys (CSUR), v.22 n.4, p.321-374, Dec. 1990
	Martín Abadi , Michael Burrows , Butler Lampson , Gordon Plotkin, A calculus for access control in distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.4, p.706-734, Sept. 1993
	Martín Abadi , Cédric Fournet , Georges Gonthier, Authentication primitives and their compilation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.302-315, January 19-21, 2000, Boston, MA, USA
	Michael Backes , Birgit Pfitzmann , Michael Waidner, A composable cryptographic library with nested operations, Proceedings of the 10th ACM conference on Computer and communications security, October 27-30, 2003, Washington D.C., USA
	E. M. Clarke , S. Jha , W. Marrero, Verifying security protocols with Brutus, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.443-487, Oct. 2000
	I. Cervesato , A. D. Jaggard , A. Scedrov , C. Walstad, Specifying Kerberos 5 cross-realm authentication, Proceedings of the 2005 workshop on Issues in the theory of security, p.12-26, January 10-11, 2005, Long Beach, California
	T. Lomas , L. Gong , J. Saltzer , R. Needhamn, Reducing risks from poorly chosen keys, ACM SIGOPS Operating Systems Review, v.23 n.5, p.14-18, Dec. 3–6, 1989
	Ravi Ganesan, The Yaksha security system, Communications of the ACM, v.39 n.3, p.55-60, March 1996
	J. Murai , H. Kusumoto , S. Yamaguchi , A. Kato, Construction of internet for Japanese academic communities, Proceedings of the 1989 ACM/IEEE conference on Supercomputing, p.737-746, November 12-17, 1989, Reno, Nevada, United States
	Michael Burrows , Martin Abadi , Roger Needham, A logic of authentication, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.18-36, Feb. 1990
	Andrew D. Birrell, Secure communication using remote procedure calls, ACM Transactions on Computer Systems (TOCS), v.3 n.1, p.1-14, Feb. 1985
	Trust management for IPsec, ACM Transactions on Information and System Security (TISSEC), v.5 n.2, p.95-118, May 2002
	Gene Tsudik , Els Van Herreweghen, On simple and secure key distribution, Proceedings of the 1st ACM conference on Computer and communications security, p.49-57, November 03-05, 1993, Fairfax, Virginia, United States
	Douglas Wiebe, A distributed repository for immutable persistent objects, ACM SIGPLAN Notices, v.21 n.11, p.453-465, Nov. 1986
	R. K. Bauer , T. A. Berson , R. J. Feiertag, A key distribution protocol using event markers, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.249-255, August 1983
	Paul J. Leach , Bernard L. Stumpf , James A. Hamilton , Paul H. Levine, UIDs as internal names in a distributed file system, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.34-41, August 18-20, 1982, Ottawa, Canada
	Antonio Durante , Riccardo Focardi , Roberto Gorrieri, A compiler for analyzing cryptographic protocols using noninterference, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.488-528, Oct. 2000
	Akinori Shiraga , Tsuyoshi Abe , Masahisa Kawashima, An authentication method for interaction between personal servers based on the exchange of addresses, Proceedings of the 2005 workshop on Digital identity management, November 11-11, 2005, Fairfax, VA, USA
	Butler Lampson , Martín Abadi , Michael Burrows , Edward Wobber, Authentication in distributed systems: theory and practice, ACM SIGOPS Operating Systems Review, v.25 n.5, p.165-182, Oct. 1991
	Steven H. Low , Nicholas F. Maxemchuk , Sanjoy Paul, Anonymous credit cards and their collusion analysis, IEEE/ACM Transactions on Networking (TON), v.4 n.6, p.809-816, Dec. 1996
	Richard A. DeMillo , Nancy A. Lynch , Michael J. Merritt, Cryptographic protocols, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.383-400, May 05-07, 1982, San Francisco, California, United States
	Alec Yasinsac, Dynamic analysis of security protocols, Proceedings of the 2000 workshop on New security paradigms, p.77-87, September 18-21, 2000, Ballycotton, County Cork, Ireland
	Dorothy E. Denning , Peter J. Denning, Data Security, ACM Computing Surveys (CSUR), v.11 n.3, p.227-249, Sept. 1979
	M. Satyanarayanan, Integrating security in a large distributed system, ACM Transactions on Computer Systems (TOCS), v.7 n.3, p.247-280, Aug. 1989
	A. J. Herbert , R. M. Needham, Sequencing computation steps in a network, ACM SIGOPS Operating Systems Review, v.15 n.5, p.59-63, December 1981
	P. Lincoln , J. Mitchell , M. Mitchell , A. Scedrov, A probabilistic poly-time framework for protocol analysis, Proceedings of the 5th ACM conference on Computer and communications security, p.112-121, November 02-05, 1998, San Francisco, California, United States
	Kellogg S. Booth, Authentication of signatures using public key encryption, Communications of the ACM, v.24 n.11, p.772-774, Nov. 1981
	Martín Abadi, Secrecy by typing in security protocols, Journal of the ACM (JACM), v.46 n.5, p.749-786, Sept. 1999
	Martín Abadi , Bruno Blanchet, Analyzing security protocols with secrecy types and logic programs, ACM SIGPLAN Notices, v.37 n.1, p.33-44, Jan. 2002
	Li Gong, Lower bounds on messages and rounds for network authentication protocols, Proceedings of the 1st ACM conference on Computer and communications security, p.26-37, November 03-05, 1993, Fairfax, Virginia, United States
	Dominique Bolignano, An approach to the formal verification of cryptographic protocols, Proceedings of the 3rd ACM conference on Computer and communications security, p.106-118, March 14-15, 1996, New Delhi, India
	Daniel Swinehart , Gene McDaniel , David Boggs, WFS a simple shared file system for a distributed environment, Proceedings of the seventh ACM symposium on Operating systems principles, p.9-17, December 10-12, 1979, Pacific Grove, California, United States
	David K. Gifford , Nathan Glasser, Remote pipes and procedures for efficient distributed communication, ACM Transactions on Computer Systems (TOCS), v.6 n.3, p.258-283, Aug. 1988
	Butler Lampson , Martín Abadi , Michael Burrows , Edward Wobber, Authentication in distributed systems: theory and practice, ACM Transactions on Computer Systems (TOCS), v.10 n.4, p.265-310, Nov. 1992
	Mihir Bellare , Phillip Rogaway, Provably secure session key distribution: the three party case, Proceedings of the twenty-seventh annual ACM symposium on Theory of computing, p.57-66, May 29-June 01, 1995, Las Vegas, Nevada, United States
	Michael K. Reiter , Kenneth P. Birman , Robbert van Renesse, A security architecture for fault-tolerant systems, ACM Transactions on Computer Systems (TOCS), v.12 n.4, p.340-371, Nov. 1994
	P. Janson , L. Svobodova , E. Maehle, Filing and printing services on a local-area network, ACM SIGCOMM Computer Communication Review, v.13 n.4, p.211-220, October 1983
	John A. Hine , Walt Yao , Jean Bacon , Ken Moody, An architecture for distributed OASIS services, IFIP/ACM International Conference on Distributed systems platforms, p.104-120, April 03-07, 2000, New York, New York, United States
	Mark Yudkin, Resource management in a distributed system, ACM SIGCOMM Computer Communication Review, v.13 n.4, p.221-226, October 1983
	Raphael Yahalom, Optimality of multi-domain protocols, Proceedings of the 1st ACM conference on Computer and communications security, p.38-48, November 03-05, 1993, Fairfax, Virginia, United States
	Zhe Dang , Richard A. Kemmerer, Using the ASTRAL model checker to analyze mobile IP, Proceedings of the 21st international conference on Software engineering, p.132-141, May 16-22, 1999, Los Angeles, California, United States
	David Notkin , Norman Hutchinson , Jan Sanislo , Michael Schwartz, Heterogeneous computing environments: report on the ACM SIGOPS workshop on accommodating heterogeneity, Communications of the ACM, v.30 n.2, p.132-140, Feb. 1987
	Li Gong, New protocols for third-party-based authentication and secure broadcast, Proceedings of the 2nd ACM Conference on Computer and communications security, p.176-183, November 1994, Fairfax, Virginia, United States
	Woei-Jiunn Tsaur , Shi-Jinn Horng , Chia-Ho Chen, An authentication-combined access control scheme using a geometric approach in distributed systems, Proceedings of the 1997 ACM symposium on Applied computing, p.361-365, April 1997, San Jose, California, United States
	Susan Pancho, Paradigm shifts in protocol analysis, Proceedings of the 1999 workshop on New security paradigms, p.70-79, September 22-24, 1999, Caledon Hills, Ontario, Canada
	R. M. Needham, Design considerations for a processing server, Proceedings of the 8th annual symposium on Computer Architecture, p.501-504, May 12-14, 1981, Minneapolis, Minnesota, United States
	C. Bodei , P. Degano , F. Nielson , H. Riis Nielson, Flow logic for Dolev-Yao secrecy in cryptographic processes, Future Generation Computer Systems, v.18 n.6, p.747-756, May 2002
	Dorothy E. Denning , Giovanni Maria Sacco, Timestamps in key distribution protocols, Communications of the ACM, v.24 n.8, p.533-536, Aug. 1981
	John C. Mitchell, Programming language methods in computer security, ACM SIGPLAN Notices, v.36 n.3, p.1-26, March 2001
	Andrew S. Tanenbaum, Network Protocols, ACM Computing Surveys (CSUR), v.13 n.4, p.453-489, Dec. 1981
	Kurt Rothermel , Stefan Pappe, Open commit protocols tolerating commission failures, ACM Transactions on Database Systems (TODS), v.18 n.2, p.289-332, June 1993
	Alec Yasinsac, An environment for security protocol intrusion detection, Journal of Computer Security, v.10 n.1-2, p.177-188, 2002
	Leonard G. C. Hamey, Teaching secure communication protocols using a game representation, Proceedings of the fifth Australasian conference on Computing education, p.187-196, February 01, 2003, Adelaide, Australia
	Carlo Blundo , Paolo D'Arco , Carles Padró, A ramp model for distributed key distribution schemes, Discrete Applied Mathematics, v.128 n.1, p.47-64, 15 May 2003
	James Heather , Gavin Lowe , Steve Schneider, How to prevent type flaw attacks on security protocols, Journal of Computer Security, v.11 n.2, p.217-244, May 2003
	Jinghua Wen , Mei Zhang , Xiang Li, The study on the application of BAN logic in formal analysis of authentication protocols, Proceedings of the 7th international conference on Electronic commerce, August 15-17, 2005, Xi'an, China
	Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon , Greg O'Shea, An advisor for web services security policies, Proceedings of the 2005 workshop on Secure web services, November 11-11, 2005, Fairfax, VA, USA
	M. Satyanarayanan, Roger Needham, 1935-2003, IEEE Pervasive Computing, v.2 n.2, p.2-3, April 2003
	Iliano Cervesato , Nancy A. Durgin , Patrick D. Lincoln , John C. Mitchell , Andre Scedrov, A comparison between strand spaces and multiset rewriting for security protocol analysis, Journal of Computer Security, v.13 n.2, p.265-316, March 2005
	Kazuhiro Ogata , Kokichi Futatsugi, Flaw and modification of the iKP electronic payment protocols, Information Processing Letters, v.86 n.2, p.57-62, 30 April 2003
	Eijiro Sumii , Benjamin C. Pierce, Logical relation for encryption, Journal of Computer Security, v.11 n.4, p.521-554, 01/01/2004
	References, Grid resource management: state of the art and future trends, Kluwer Academic Publishers, Norwell, MA, 2004
	Nancy Durgin , John Mitchell , Dusko Pavlovic, A compositional logic for proving security properties of protocols, Journal of Computer Security, v.11 n.4, p.677-721, 01/01/2004
	Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon, A semantics for web services authentication, ACM SIGPLAN Notices, v.39 n.1, p.198-209, January 2004
	Mirosław Kurkowski , Witold Mac´ków, Using backward strategy to the Needham-Schroeder public key protocol verification, Artificial intelligence and security in computing systems, Kluwer Academic Publishers, Norwell, MA, 2003
	Steffen M. Hansen , Jakob Skriver , Hanne Riis Nielson, Using static analysis to validate the SAML single sign-on protocol, Proceedings of the 2005 workshop on Issues in the theory of security, p.27-40, January 10-11, 2005, Long Beach, California
	Mihir Bellare , Ran Canetti , Hugo Krawczyk, A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract), Proceedings of the thirtieth annual ACM symposium on Theory of computing, p.419-428, May 24-26, 1998, Dallas, Texas, United States
	C. H. Meyer , S. M. Matyas, Some cryptographic principles of authentication in electronic funds transfer systems, ACM SIGCOMM Computer Communication Review, v.11 n.4, p.73-88, October 1981
	Bruce G. Lindsay , Laura M. Haas , C. Mohan , Paul F. Wilms , Robert A. Yost, Computation and communication in R*: a distributed database manager, ACM Transactions on Computer Systems (TOCS), v.2 n.1, p.24-38, February 1984
	M. Burrows , M. Abadi , R. Needham, A logic of authentication, ACM SIGOPS Operating Systems Review, v.23 n.5, p.1-13, Dec. 3–6, 1989
	Roger B. Dannenberg , Peter G. Hibbard, A Butler process for resource sharing on Spice machines, ACM Transactions on Information Systems (TOIS), v.3 n.3, p.234-252, July 1985
	Gustavus J. Simmons, Symmetric and Asymmetric Encryption, ACM Computing Surveys (CSUR), v.11 n.4, p.305-330, Dec. 1979
	Gerald J. Popek , Charles S. Kline, Encryption and Secure Computer Networks, ACM Computing Surveys (CSUR), v.11 n.4, p.331-356, Dec. 1979
	L. Ciminiera , A. Valenzano, Authentication Mechanisms in Microprocessor-Based Local Area Networks, IEEE Transactions on Software Engineering, v.15 n.5, p.654-658, May 1989
	Wen-Pai Lu , Malur K. Sundareshan, A Model for Multilevel Security in Computer Networks, IEEE Transactions on Software Engineering, v.16 n.6, p.647-659, June 1990
	Eijiro Sumii , Benjamin C. Pierce, A bisimulation for dynamic sealing, ACM SIGPLAN Notices, v.39 n.1, p.161-172, January 2004
	Tom Coffey , Reiner Dojen , Tomas Flanagan, Formal verification: an imperative step in the design of security protocols, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.43 n.5, p.601-618, 5 December 2003
	Catherine Meadows, Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols, Science of Computer Programming, v.50 n.1-3, p.3-22, March 2004
	Jing Deng , Richard Han , Shivakant Mishra, Security support for in-network processing in Wireless Sensor Networks, Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks, October 31, 2003, Fairfax, Virginia
	Mahadev Satyanarayanan, Scalable, Secure, and Highly Available Distributed File Access, Computer, v.23 n.5, p.9-18, 20-21, May 1990
	Michael Burrows , Martín Abadi , Roger Needham, Authentication: a practical study in belief and action, Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge, March 07-09, 1988, Pacific Grove, California
	Her-Tyan Yeh , Hung-Min Sun, Password-based user authentication and key distribution protocols for client-server applications, Journal of Systems and Software, v.72 n.1, p.97-103, June 2004
	Anupam Datta , Ante Derek , John C. Mitchell , Dusko Pavlovic, Secure protocol composition, Proceedings of the 2003 ACM workshop on Formal methods in security engineering, p.11-23, October 30, 2003, Washington, D.C.
	Nancy Durgin , Patrick Lincoln , John Mitchell , Andre Scedrov, Multiset rewriting and the complexity of bounded security protocols, Journal of Computer Security, v.12 n.2, p.247-311, May 2004
	M. Benantar, The internet public key infrastructure, IBM Systems Journal, v.40 n.3, p.648-665, March 2001
	Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon, Verifying policy-based security for web services, Proceedings of the 11th ACM conference on Computer and communications security, October 25-29, 2004, Washington DC, USA
	Mahadev Satyanarayanan, The Influence of Scale on Distributed File System Design, IEEE Transactions on Software Engineering, v.18 n.1, p.1-8, January 1992
	Carlo Blundo , Paolo D'Arco , Vanessa Daza , Carles Padró, Bounds and constructions for unconditionally secure distributed key distribution schemes for general access structures, Theoretical Computer Science, v.320 n.2-3, p.269-291, June 14, 2004
	Michael Backes , Matthias Schunter, From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification, Proceedings of the 2003 workshop on New security paradigms, August 18-21, 2003, Ascona, Switzerland
	Jean-Charles Fabre , Tanguy Pérennou, A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach, IEEE Transactions on Computers, v.47 n.1, p.78-95, January 1998
	Martín Abadi , Roger Needham, Prudent Engineering Practice for Cryptographic Protocols, IEEE Transactions on Software Engineering, v.22 n.1, p.6-15, January 1996
	Steve Schneider, Verifying Authentication Protocols in CSP, IEEE Transactions on Software Engineering, v.24 n.9, p.741-758, September 1998
	Bruno Blanchet, Automatic verification of cryptographic protocols: a logic programming approach, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, p.1-3, August 27-29, 2003, Uppsala, Sweden
	Isaac Agudo , Javier Lopez, Specification and formal verification of security requirements, Proceedings of the 5th international conference on Computer systems and technologies, June 17-18, 2004, Rousse, Bulgaria
	R. Housley, Authentication, confidentiality, and integrity extensions to the XNS protocol suite, ACM SIGSAC Review, v.7 n.3, p.17-24, Fall 1989
	Patrice Godefroid , Nils Klarlund , Koushik Sen, DART: directed automated random testing, ACM SIGPLAN Notices, v.40 n.6, June 2005
	Martín Abadi , Bruno Blanchet, Analyzing security protocols with secrecy types and logic programs, Journal of the ACM (JACM), v.52 n.1, p.102-146, January 2005
	R. Ramanujam , S. P. Suresh, Decidability of context-explicit security protocols, Journal of Computer Security, v.13 n.1, p.135-165, January 2005
	Peeter Laud, Secrecy types for a simulatable cryptographic library, Proceedings of the 12th ACM conference on Computer and communications security, November 07-11, 2005, Alexandria, VA, USA
	Stefano Bistarelli , Iliano Cervesato , Gabriele Lenzini , Fabio Martinelli, Relating multiset rewriting and process algebras for security protocol analysis, Journal of Computer Security, v.13 n.1, p.3-47, January 2005
	Barbara Liskov, Practical uses of synchronized clocks in distributed systems, Distributed Computing, v.6 n.4, p.211-219, July 1993
	James Heather , Steve Schneider, A decision procedure for the existence of a rank function, Journal of Computer Security, v.13 n.2, p.317-344, March 2005
	Li Gong, Efficient network authentication protocols: lower bounds and optimal implementations, Distributed Computing, v.9 n.3, p.131-145, December 1995
	Mark D. Corner , Brian D. Noble, Protecting applications with transient authentication, Proceedings of the 1st international conference on Mobile systems, applications and services, p.57-70, May 05-08, 2003, San Francisco, California
	Reiner Dojen , Tom Coffey, The concept of layered proving trees and its application to the automation of security protocol verification, ACM Transactions on Information and System Security (TISSEC), v.8 n.3, p.287-311, August 2005
	Martín Abadi , Bruno Blanchet, Secrecy types for asymmetric communication, Theoretical Computer Science, v.298 n.3, p.387-415, 11 April 2003
	Martín Abadi , Cédric Fournet, Private authentication, Theoretical Computer Science, v.322 n.3, p.427-476, 6 September 2004
	R. Ramanujam , S. P. Suresh, Deciding knowledge properties of security protocols, Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge, June 10-12, 2005, Singapore
	Steve Schneider, Verifying authentication protocol implementations, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, p.5-24, March 20-22, 2002
	Santiago Escobar , Catherine Meadows , José Meseguer, A rewriting-based inference system for the NRL protocol analyzer: grammar generation, Proceedings of the 2005 ACM workshop on Formal methods in security engineering, November 11-11, 2005, Fairfax, VA, USA
	Véronique Cortier , Michael Rusinowitch , Eugen Zǎlinescu, A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.12-22, July 11-13, 2005, Lisbon, Portugal
	Yannick Chevalier , Ralf Küsters , Michaël Rusinowitch , Mathieu Turuani, An NP decision procedure for protocol insecurity with XOR, Theoretical Computer Science, v.338 n.1-3, p.247-274, 10 June 2005
	Anthony Chung , Richard Sherman, Design of an authentication service, ACM SIGCOMM Computer Communication Review, v.13-14 n.5-1, p.59-77, January/April 1984
	Thomas Groß , Birgit Pfitzmann, Proving a WS-Federation passive requestor profile, Proceedings of the 2004 workshop on Secure web service, p.77-86, October 29-29, 2004, Fairfax, Virginia
	Yafen Li , Wuu Yang , Ching-Wei Huang, Preventing type flaw attacks on security protocols with a simplified tagging scheme, Proceedings of the 2004 international symposium on Information and communication technologies, June 16-18, 2004, Las Vegas, Nevada
	Alec Yasinsac , Justin Childs, Formal analysis of modern security protocols, Information Sciences—Informatics and Computer Science: An International Journal, v.171 n.1-3, p.189-211, 4 March 2005
	Karthikeyan Bhargavan , Ricardo Corin , Cédric Fournet , Andrew D. Gordon, Secure sessions for web services, Proceedings of the 2004 workshop on Secure web service, p.56-66, October 29-29, 2004, Fairfax, Virginia
	Mark D. Corner , Brian D. Noble, Zero-interaction authentication, Proceedings of the 8th annual international conference on Mobile computing and networking, September 23-28, 2002, Atlanta, Georgia, USA
	George A. Champine , Daniel E. Geer, Jr. , William N. Ruh, Project Athena as a Distributed Computer System, Computer, v.23 n.9, p.40-51, September 1990
	Thomas Groβ , Birgit Pfitzmann , Ahmad-Reza Sadeghi, Proving a WS-federation passive requestor profile with a browser model, Proceedings of the 2005 workshop on Secure web services, November 11-11, 2005, Fairfax, VA, USA
	Riccardo Focardi , Roberto Gorrieri, The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties, IEEE Transactions on Software Engineering, v.23 n.9, p.550-571, September 1997
	Martín Abadi , Cédric Fournet , Georges Gonthier, Secure implementation of channel abstractions, Information and Computation, v.174 n.1, p.37-83, April 10, 2002
	Olivier Pereira , Jean-Jacques Quisquater, On the impossibility of building secure cliques-type authenticated group key agreement protocols, Journal of Computer Security, v.14 n.2, p.197-246, January 2006
	Chiara Bodei , Mikael Buchholtz , Pierpaolo Degano , Flemming Nielson , Hanne Riis Nielson, Static validation of security protocols, Journal of Computer Security, v.13 n.3, p.347-390, May 2005
	Anupam Datta , Ante Derek , John C. Mitchell , Dusko Pavlovic, A derivation system and compositional logic for security protocols, Journal of Computer Security, v.13 n.3, p.423-482, May 2005
	John C. Mitchell , Ajith Ramanathan , Andre Scedrov , Vanessa Teague, A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols, Theoretical Computer Science, v.353 n.1, p.118-164, 14 March 2006
	Joshua D. Guttman , F. Javier Thayer, Authentication tests and the structure of bundles, Theoretical Computer Science, v.283 n.2, p.333-380, June 14, 2002
	Brijesh Kumar, Integration of security in network routing protocols, ACM SIGSAC Review, v.11 n.2, p.18-25, Spring 1993
	Michele Boreale , Maria Grazia Buscemi, Experimenting with STA, a tool for automatic analysis of security protocols, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Robert Dawson , Colin Boyd , Ed Dawson , Juan Manuel González Nieto, SKMA: a key management architecture for SCADA systems, Proceedings of the 2006 Australasian workshops on Grid computing and e-research, p.183-192, January 16-19, 2006, Hobart, Tasmania, Australia
	Andrew D. Gordon , Alan Jeffrey, Types and effects for asymmetric cryptographic protocols, Journal of Computer Security, v.12 n.3,4, p.435-483, May 2004
	Ji Ma , Mehmet A. Orgun, Formalising theories of trust for authentication protocols, Information Systems Frontiers, v.10 n.1, p.19-32, March 2008
	B. Clifford Neuman , Stuart G. Stubblebine, A note on the use of timestamps as nonces, ACM SIGOPS Operating Systems Review, v.27 n.2, p.10-14, April 1993
	José Vicente Aguirre , Rafael Álvarez , José Noguera , Antonio Zamora, A secure remote database backup system, Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases, p.43-46, February 15-17, 2006, Madrid, Spain
	Javier Salido , Loukas Lazos , Radha Poovendran, Energy and bandwidth-efficient key distribution in wireless ad hoc networks: a cross-layer approach, IEEE/ACM Transactions on Networking (TON), v.15 n.6, p.1527-1540, December 2007
	L. Gong, Using one-way functions for authentication, ACM SIGCOMM Computer Communication Review, v.19 n.5, p.8-11, Oct. 1989
	Martín Abadi , Andrew D. Gordon, A calculus for cryptographic protocols: the spi calculus, Proceedings of the 4th ACM conference on Computer and communications security, p.36-47, April 01-04, 1997, Zurich, Switzerland
	Anupam Datta , Ante Derek , John C. Mitchell , Arnab Roy, Protocol Composition Logic (PCL), Electronic Notes in Theoretical Computer Science (ENTCS), 172, p.311-358, April, 2007
	Mark D. Corner , Brian D. Noble, Protecting file systems with transient authentication, Wireless Networks, v.11 n.1-2, p.7-19, January 2005
	Bruno Blanchet , Andreas Podelski, Verification of cryptographic protocols: tagging enforces termination, Theoretical Computer Science, v.333 n.1-2, p.67-90, 1 March 2005
	Monica Nesi , Giustina Nocera, Deriving the type flaw attacks in the Otway-Rees protocol by rewriting, Nordic Journal of Computing, v.13 n.1, p.78-97, June 2006
	Randall J. Atkinson , Daniel L. McDonald , Bao G. Phan , Craig W. Metz , Kenneth C. Chin, Implementation of IPv6 in 4.4 BSD, Proceedings of the Annual Technical Conference on USENIX 1996 Annual Technical Conference, p.10-10, January 22-26, 1996, San Diego, CA
	Hung-Min Sun , Her-Tyan Yeh, Password-based authentication and key distribution protocols with perfect forward secrecy, Journal of Computer and System Sciences, v.72 n.6, p.1002-1011, September 2006
	Qingfeng Chen , Chengqi Zhang , Shichao Zhang, ENDL: A Logical Framework for Verifying Secure Transaction Protocols, Knowledge and Information Systems, v.7 n.1, p.84-109, January 2005
	Michael Backes , Peeter Laud, Computationally sound secrecy proofs by mechanized flow analysis, Proceedings of the 13th ACM conference on Computer and communications security, October 30-November 03, 2006, Alexandria, Virginia, USA
	Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon, A semantics for web services authentication, Theoretical Computer Science, v.340 n.1, p.102-153, 13 June 2005
	James Heather , Steve Schneider, To infinity and beyond or, avoiding the infinite in security protocol analysis, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Patrick Traynor , Raju Kumar , Hussain Bin Saad , Guohong Cao , Thomas La Porta, LIGER: implementing efficient hybrid security mechanisms for heterogeneous sensor networks, Proceedings of the 4th international conference on Mobile systems, applications and services, June 19-22, 2006, Uppsala, Sweden
	Frederick Butler , Iliano Cervesato , Aaron D. Jaggard , Andre Scedrov , Christopher Walstad, Formal analysis of Kerberos 5, Theoretical Computer Science, v.367 n.1, p.57-87, 24 November 2006
	C. J. F. Cremers , S. Mauw , E. P. de Vink, Injective synchronisation: an extension of the authentication hierarchy, Theoretical Computer Science, v.367 n.1, p.139-161, 24 November 2006
	Santiago Escobar , Catherine Meadows , José Meseguer, A rewriting-based inference system for the NRL Protocol analyzer and its meta-logical properties, Theoretical Computer Science, v.367 n.1, p.162-202, 24 November 2006
	R. Ramanujam , S. P. Suresh, A (restricted) quantifier elimination for security protocols, Theoretical Computer Science, v.367 n.1, p.228-256, 24 November 2006
	Shaddin F. Doghmi , Joshua D. Guttman , F. Javier Thayer, Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions, Electronic Notes in Theoretical Computer Science (ENTCS), 173, p.85-102, April, 2007
	Shahabuddin Muhammad , Zeeshan Furqan , Ratan K. Guha, Understanding the intruder through attacks on cryptographic protocols, Proceedings of the 44th annual southeast regional conference, March 10-12, 2006, Melbourne, Florida
	Bogdan C. Popescu , Bruno Crispo , Andrew S. Tanenbaum , Arno Bakker, Design and implementation of a secure wide-area object middleware, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.10, p.2484-2513, July, 2007
	Rafae Bhatti , Elisa Bertino , Arif Ghafoor, An integrated approach to federated identity and privilege management in open systems, Communications of the ACM, v.50 n.2, p.81-87, February 2007
	Eijiro Sumii , Benjamin C. Pierce, A bisimulation for dynamic sealing, Theoretical Computer Science, v.375 n.1-3, p.169-192, May, 2007
	Olga Kornievskaia , Peter Honeyman , Bill Doster , Kevin Coffman, Kerberized credential translation: a solution to web access control, Proceedings of the 10th conference on USENIX Security Symposium, p.18-18, August 13-17, 2001, Washington, D.C.
	Naomaru Itoi, Secure coprocessor integration with kerberos V5, Proceedings of the 9th conference on USENIX Security Symposium, p.9-9, August 14-17, 2000, Denver, Colorado
	Ian Goldberg , Steven D. Gribble , David Wagner , Eric A. Brewer, The Ninja jukebox, Proceedings of the 2nd conference on USENIX Symposium on Internet Technologies and Systems, p.4-4, October 11-14, 1999, Boulder, Colorado
	Ivan Cibrario Bertolotti , Luca Durante , Paolo Maggi , Riccardo Sisto , Adriano Valenzano, Improving the security of industrial networks by means of formal verification, Computer Standards & Interfaces, v.29 n.3, p.387-397, March, 2007
	Thomas Y. C. Woo , Raghuram Bindignavle , Shaowen Su , Simon S. Lam, SNP: an interface for secure network programming, Proceedings of the USENIX Summer 1994 Technical Conference on USENIX Summer 1994 Technical Conference, p.4-4, June 06-10, 1994, Boston, Massachusetts
	Nevin Heintze , J. D. Tygar , Jeannette Wing , H. Chi Wong, Model checking electronic commerce protocols, Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce, p.10-10, November 18-21, 1996, Oakland, California
	Jong-Hyeon Lee, A resilient access control scheme for secure electronic transactions, Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce, p.7-7, August 31-September 03, 1998, Boston, Massachusetts
	Lei Tang, A set of protocols for micropayments in distributed systems, Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce, p.8-8, July 11-12, 1995, New York, New York
	Yu Zhang, Cryptographic logical relations, Theoretical Computer Science, v.394 n.1-2, p.39-63, March, 2008
	Barry Jaspan, Dual-workfactor encrypted key exchange: efficiently preventing password chaining and dictionary attacks, Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography, p.5-5, July 22-25, 1996, San Jose, California
	William A. Adamson , Jim Rees , Peter Honeyman, Joining security realms: a single login for netware and kerberos, Proceedings of the 5th conference on USENIX UNIX Security Symposium, p.14-14, June 05-07, 1995, Salt Lake City, Utah
	Peter Honeyman , Andy Adamson , Kevin Coffman , Janani Janakiraman , Rob Jerdonek , Jim Rees, Secure videoconferencing, Proceedings of the 7th conference on USENIX Security Symposium, 1998, p.9-9, January 26-29, 1998, San Antonio, Texas
	Don Davis , Daniel E. Geer, Kerberos security with clocks adrift, Proceedings of the 5th conference on USENIX UNIX Security Symposium, p.4-4, June 05-07, 1995, Salt Lake City, Utah
	Suzana Andova , Cas Cremers , Kristian Gjøsteen , Sjouke Mauw , Stig F. Mjølsnes , Saša Radomirović, A framework for compositional verification of security protocols, Information and Computation, v.206 n.2-4, p.425-459, February, 2008
	Steena D. S. Monteiro , Robert F. Erbacher, An authentication and validation mechanism for analyzing syslogs forensically, ACM SIGOPS Operating Systems Review, v.42 n.3, April 2008
	Olga Kornievskaia , Peter Honeyman , Bill Doster , Kevin Coffman, Kerberized credential translation: a solution to web access control, Proceedings of the 10th conference on USENIX Security Symposium, p.18-18, August 13-17, 2001, Washington, D.C.
	Martín Abadi , Bruno Blanchet , Cédric Fournet, Just fast keying in the pi calculus, ACM Transactions on Information and System Security (TISSEC), v.10 n.3, p.9-es, July 2007
	Enrique Alba , Francisco Chicano, Finding safety errors with ACO, Proceedings of the 9th annual conference on Genetic and evolutionary computation, July 07-11, 2007, London, England
	Karthikeyan Bhargavan , Ricardo Corin , Cédric Fournet , Andrew D. Gordon, Secure sessions for Web services, ACM Transactions on Information and System Security (TISSEC), v.10 n.2, p.8-es, May 2007
	Clare Dixon , Mari-Carmen Fernández Gago , Michael Fisher , Wiebe van der Hoek, Temporal Logics of Knowledge and their Applications in Security, Electronic Notes in Theoretical Computer Science (ENTCS), 186, p.27-42, July, 2007
	Véronique Cortier , Stéphanie Delaune , Pascal Lafourcade, A survey of algebraic properties used in cryptographic protocols, Journal of Computer Security, v.14 n.1, p.1-43, January 2006
	Mirosław Kurkowski , Marian Srebrny, A Quantifier-free First-order Knowledge Logic of Authentication, Fundamenta Informaticae, v.72 n.1-3, p.263-282, January 2006
	Krishnan G. Indiradevi , V. S. Suku Nair, Simulation Based Validation Of Authentication Protocols, Journal of Integrated Design & Process Science, v.8 n.4, p.79-98, December 2004
	Marc Lacoste, Towards a secure platform for distributed mobile object computing, ACM SIGOPS Operating Systems Review, v.34 n.2, p.56-73, April, 2000
	Yuqing Zhang , Jihong Li , Guozhen Xiao, An approach to the formal verification of the two-party cryptographic protocols, ACM SIGOPS Operating Systems Review, v.33 n.4, p.48-51, Oct. 1999
	Taekyoung Kwon , Jooseok Song, Clarifying straight replays and forced delays, ACM SIGOPS Operating Systems Review, v.33 n.1, p.47-52, Jan. 1999
	Shouhuai Xu , Gendu Zhang , Hong Zhu, On the properties of cryptographic protocols and the weaknesses of the BAN-like logics, ACM SIGOPS Operating Systems Review, v.31 n.4, p.12-23, Oct. 1997
	Chris J. Mitchell , Chan Yeob Yeun, Fixing a problem in the Helsinki protocol, ACM SIGOPS Operating Systems Review, v.32 n.4, p.21-24, Oct. 1998
	Keok Auyong , Chye-Lin Chee, Authentication services for computer networks and electronic messaging systems, ACM SIGOPS Operating Systems Review, v.31 n.3, p.3-15, July 1997
	Anish Mathuria, Comparing lower bounds on messages and rounds for two classes of key establishment protocols, ACM SIGCOMM Computer Communication Review, v.28 n.5, p.91-98, Oct. 1998
	Yuqing Zhang , Chunling Wang , Jianping Wu , Xing Li, Using SMV for cryptographic protocol analysis: a case study, ACM SIGOPS Operating Systems Review, v.35 n.2, p.43-50, April 2001
	A. Kehne , J. Schönwälder , H. Langendörfer, A nonce-based protocol for multiple authentications, ACM SIGOPS Operating Systems Review, v.26 n.4, p.84-89, Oct. 1992
	Gene Tsudik, Message authentication with one-way hash functions, ACM SIGCOMM Computer Communication Review, v.22 n.5, p.29-38, Oct. 1992
	Li Gong, A note on redundancy in encrypted messages, ACM SIGCOMM Computer Communication Review, v.20 n.5, p.18-22, Oct 1 1990
	R M Needham , M D Schroeder, Authentication revisited, ACM SIGOPS Operating Systems Review, v.21 n.1, p.7-7, Jan. 1987
	Dave Otway , Owen Rees, Efficient and timely mutual authentication, ACM SIGOPS Operating Systems Review, v.21 n.1, p.8-10, Jan. 1987
	I.-Lung Kao , Randy Chow, An efficient and secure authentication protocol using uncertified keys, ACM SIGOPS Operating Systems Review, v.29 n.3, p.14-21, July 1995
	Michael Steiner , Gene Tsudik , Michael Waidner, Refinement and extension of encrypted key exchange, ACM SIGOPS Operating Systems Review, v.29 n.3, p.22-30, July 1995
	A. R. Prieto , J. G. Tomas, A model to order the encryption algorithms according to their quality, ACM SIGCOMM Computer Communication Review, v.17 n.3, p.30-47, July/Aug. 1987
	Paul F. Syverson, A new look at an old protocol, ACM SIGOPS Operating Systems Review, v.30 n.3, p.1-4, July 1996
	Roger Oliver, Protection in a distributed document processing system, ACM SIGOPS Operating Systems Review, v.24 n.2, p.56-65, April 1990
	Paul Syverson, On key distribution protocols for repeated authentication, ACM SIGOPS Operating Systems Review, v.27 n.4, p.24-30, Oct. 1993
	Jean Bacon , Richard Hayton , Sai Lai Lo , Ken Moody, Extensible access control for a hierarchy of servers, ACM SIGOPS Operating Systems Review, v.28 n.3, p.4-15, July 1994
	Ulf Carlsen, Optimal privacy and authentication on a portable communications system, ACM SIGOPS Operating Systems Review, v.28 n.3, p.16-23, July 1994
	Armin Liebl, Authentication in distributed systems: a bibliography, ACM SIGOPS Operating Systems Review, v.27 n.4, p.31-41, Oct. 1993
	Chris Zimmermann, Making distributed multimedia systems secure: the switchboard approach, ACM SIGOPS Operating Systems Review, v.28 n.1, p.88-100, Jan. 1994
	Li Gong, A security risk of depending on synchronized clocks, ACM SIGOPS Operating Systems Review, v.26 n.1, p.49-53, Jan. 1992
	Don Davis , Ralph Swick, Network security via private-key certificates, ACM SIGOPS Operating Systems Review, v.24 n.4, p.64-67, Oct. 1990
	Samuel T. Chanson , Tin-Wo Cheung, Design and Implementation of a PKI-Based End-to-End Secure Infrastructure for Mobile E-Commerce, World Wide Web, v.4 n.4, p.235-253, 2001
	João Pedro Sousa, Challenges and architectural approaches for authenticating mobile users, Proceedings of the 1st international workshop on Software architectures and mobility, May 10-10, 2008, Leipzig, Germany
	Patrick Traynor , Raju Kumar , Heesook Choi , Guohong Cao , Sencun Zhu , Thomas La Porta, Efficient Hybrid Security Mechanisms for Heterogeneous Sensor Networks, IEEE Transactions on Mobile Computing, v.6 n.6, p.663-677, June 2007
	Adam Barth , Collin Jackson , John C. Mitchell, Securing frame communication in browsers, Proceedings of the 17th conference on Security symposium, p.17-30, July 28-August 01, 2008, San Jose, CA
	Shouhuai Xu , Srdjan Čapkun, Distributed and Secure Bootstrapping of Mobile Ad Hoc Networks: Framework and Constructions, ACM Transactions on Information and System Security (TISSEC), v.12 n.1, p.1-37, October 2008
	Ti Zhou , Mengjun Li , Zhoujun Li , Huowang Chen, Modeling and Verifying Time Sensitive Security Protocols with Constraints, Electronic Notes in Theoretical Computer Science (ENTCS), 212, p.103-118, April, 2008
	Iliano Cervesato , Aaron D. Jaggard , Andre Scedrov , Joe-Kai Tsay , Christopher Walstad, Breaking and fixing public-key Kerberos, Information and Computation, v.206 n.2-4, p.402-424, February, 2008
	J. McDermott , G. Allwein, A formalism for visual security protocol modeling, Journal of Visual Languages and Computing, v.19 n.2, p.153-181, April, 2008
	Huirong Fu , Satoshi Kawamura , Ming Zhang , Liren Zhang, Replication attack on random key pre-distribution schemes for wireless sensor networks, Computer Communications, v.31 n.4, p.842-857, March, 2008
	Youssef Hanna, SLEDE: lightweight verification of sensor network security protocol implementations, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
	Arjan J. Mooij, Constructing and Reasoning About Security Protocols Using Invariants, Electronic Notes in Theoretical Computer Science (ENTCS), 201, p.99-126, March, 2008
	Stéphanie Delaune , Pascal Lafourcade , Denis Lugiez , Ralf Treinen, Symbolic protocol analysis for monoidal equational theories, Information and Computation, v.206 n.2-4, p.312-351, February, 2008
	Tian-Fu Lee , Mei-Jiun Sung, Communication-efficient AUTHMAC_DH protocols, Computer Standards & Interfaces, v.30 n.1-2, p.71-77, January, 2008
	Mahalingam Ramkumar , Nasir Memon, Secure collaborations over message boards, International Journal of Security and Networks, v.1 n.1/2, p.113-124, September 2006
	Patrick Traynor , Michael Chien , Scott Weaver , Boniface Hicks , Patrick McDaniel, Noninvasive Methods for Host Certification, ACM Transactions on Information and System Security (TISSEC), v.11 n.3, p.1-23, March 2008
	Mirosław Kurkowski , Wojciech Penczek, Verifying Security Protocols Modelled by Networks of Automata, Fundamenta Informaticae, v.79 n.3-4, p.453-471, August 2007
	Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon, Verifying policy-based web services security, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.6, p.1-59, October 2008
	Ramzi A. Haraty , Walid El Horr, A hybrid cryptosystem based on WEP for 802.11 networks, Journal of Computational Methods in Sciences and Engineering, v.6 n.5,6 Supplement 2, p.359-377, April 2006
	Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon , Stephen Tse, Verified interoperable implementations of security protocols, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.1, p.1-61, December 2008
	Alessio Signorini , Antonio Gulli , Alberto Maria Segre, Distributed marketplaces using P2P networks and public-key cryptography, Proceedings of the 3rd international conference on Scalable information systems, June 04-06, 2008, Vico Equense, Italy
	Alessio Signorini , Antonio Gulli , Alberto Maria Segre, Distributed marketplaces using P2P networks and public-key cryptography, Proceedings of the 3rd international conference on Scalable information systems, June 04-06, 2008, Vico Equense, Italy
	Stefan Miltchev , Jonathan M. Smith , Vassilis Prevelakis , Angelos Keromytis , Sotiris Ioannidis, Decentralized access control in distributed file systems, ACM Computing Surveys (CSUR), v.40 n.3, p.1-30, August 2008
	Hongjun Liu , Ping Luo , Daoshun Wang, A distributed expansible authentication model based on Kerberos, Journal of Network and Computer Applications, v.31 n.4, p.472-486, November, 2008
	Karthikeyan Bhargavan , Cédric Fournet , Ricardo Corin , Eugen Zalinescu, Cryptographically verified implementations for TLS, Proceedings of the 15th ACM conference on Computer and communications security, October 27-31, 2008, Alexandria, Virginia, USA
	Pedro Chavez Lugo , Juan J. Flores , Juan Manuel Garcia Garcia, Security architecture for a systematic administration of SELinux policies in distributed environments, Proceedings of the 7th conference on Data networks, communications, computers, p.136-143, November 07-09, 2008, Bucharest, Romania
	Véronique Cortier , Stéphanie Delaune, Safely composing security protocols, Formal Methods in System Design, v.34 n.1, p.1-36, February 2009
	Christian Mueller-Schloer , Neal R. Wagner, The implementation of a cryptography-based secure office system, Proceedings of the June 7-10, 1982, national computer conference, June 07-10, 1982, Houston, Texas
	Kai-Le Su , Qing-Liang Chen , Abdul Sattar , Wei-Ya Yue , Guan-Feng Lv , Xi-Zhong Zheng, Verification of authentication protocols for epistemic goals via SAT compilation, Journal of Computer Science and Technology, v.21 n.6, p.932-943, November 2006
	Roger M. Needham, Authentication, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Iuon-Chang Lin , Chin-Chen Chang, A countable and time-bound password-based user authentication scheme for the applications of electronic commerce, Information Sciences: an International Journal, v.179 n.9, p.1269-1277, April, 2009
	Petr Švenda , Lukáš Sekanina , Václav Matyáš, Evolutionary design of secrecy amplification protocols for wireless sensor networks, Proceedings of the second ACM conference on Wireless network security, March 16-19, 2009, Zurich, Switzerland
	Jonathan Millen, Rewriting Techniques in the Constraint Solver, Electronic Notes in Theoretical Computer Science (ENTCS), 234, p.77-91, March, 2009
	Song Han , Tharam Dillon , Elizabeth Chang , Biming Tian, Secure web services using two-way authentication and three-party key establishment for service delivery, Journal of Systems Architecture: the EUROMICRO Journal, v.55 n.4, p.233-242, April, 2009
	Adam Barth , Collin Jackson , John C. Mitchell, Securing frame communication in browsers, Communications of the ACM, v.52 n.6, June 2009
	Bruno Blanchet, Automatic verification of correspondences for security protocols, Journal of Computer Security, v.17 n.4, p.363-434, December 2009
	Xiaoqi Ma , Xiaochun Cheng , Rachel McCrindle, Knowledge based approach for mechanically verifying security protocols, Proceedings of the 19th international joint conference on Artificial intelligence, p.1572-1573, July 30-August 05, 2005, Edinburgh, Scotland
	Kaile Su , Abdul Sattar , Guanfeng Lv , Yan Zhang, Variable forgetting in reasoning about knowledge, Journal of Artificial Intelligence Research, v.35 n.1, p.677-716, May 2009