Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9651041 | Information Sciences | 2005 | 23 Pages |
Abstract
We also define and classify the characteristics that add complexity to modern security protocol and some impacts this complexity has on security protocol analysis. Finally, we discuss the modifications that were necessary in our formal method tool to answer this complexity and show how the tool illuminates flaws in the TLS protocol.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Alec Yasinsac, Justin Childs,