Sciweavers

23
Voted
CJ
2002

Formal Methods for Assuring Security of Protocols

13 years 10 months ago
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
Susan Older, Shiu-Kai Chin
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2002
Where CJ
Authors Susan Older, Shiu-Kai Chin
Comments (0)