GeekArticles
Concepts
NetworkingArticle :: Expressing Security Protocol Goals
Author: awprofessional.com |
Published: 30th Aug 2005 |
Visited: 399 times |
Add CommentFiled in: NetworkingThis chapter considers how authentication and secrecy properties can be captured by enhancing CSP descriptions of protocols with the introduction of "specification events" into the descriptions of honest agents.
Read Article Sponsored Links
Related Articles