Formal Methods for Assuring Security of Protocols

l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of rigorous analytical techniques. In this article, we focus on a single cryptographic protocol (Needham

• Type: Journal
• Year: 2002
• Where: CJ
• Authors: Susan Older, Shiu-Kai Chin
• Keywords: CJ 2002, Possible Actions, Rigorous Analytical Techniques, Single Cryptographic Protocol