IEEE - Institute of Electrical and Electronics Engineers, Inc. - Athena: a new efficient automatic checker for security protocol analysis

Proceedings of the 12th IEEE Computer Security Foundations Workshop

Author(s): Dawn Xiaodong Song
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Mordano, Italy, Italy
Conference Date: 30 June 1999
Page(s): 192 - 202
ISBN (Paper): 0-7695-0201-6
ISSN (Paper): 1063-6900
DOI: 10.1109/CSFW.1999.779773
Regular:

We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authentication, secrecy... View More

Advertisement