<p> In this dissertation we will be studying problems relating to <i> indistinguishability</i>. This topic is of great interest and importance to cryptography. Cryptographic protocol analysis is currently being studied a great deal due to numerous high profile security breaches. The form of indistinguishability that we will be focusing on is <i>static inclusion </i> and its subcase <i>static equivalence</i>. Our work in this dissertation is based on “Intruders with Caps.” Our main results are providing co-saturation procedures for deciding whether a frame <i>A</i> is statically included in a frame <i>B</i> over Δ-strong and ω▿-strong intruder theories, where a frame consists of hidden data and substitutions that represent knowledge that an intruder could have gained from eavesdropping on message exchanges by agents.</p>
| Identifer | oai:union.ndltd.org:PROQUEST/oai:pqdtoai.proquest.com:3709128 |
| Date | 28 July 2015 |
| Creators | Gero, Kimberly A. |
| Publisher | State University of New York at Albany |
| Source Sets | ProQuest.com |
| Language | English |
| Detected Language | English |
| Type | thesis |
Page generated in 0.0021 seconds