Structure Attacks in Cryptographic Protocols
Cryptographic protocols are in general difficult to analyze, and complicated attacks exposing security flaws have remained hidden years after a protocol is developed. Recently developed tools such as strand spaces and inductive logical proofs provide mechanical procedures for analyzing protocols. Th...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Scholarship @ Claremont
2001
|
| Subjects: | |
| Online Access: | https://scholarship.claremont.edu/hmc_theses/130 https://scholarship.claremont.edu/cgi/viewcontent.cgi?article=1133&context=hmc_theses |