Deciding static inclusion for delta-strong and omega [upside down triangle]-strong intruder theories : applications to cryptographic protocol analysis
Kimberly A. Gero · 2015
In this dissertation we will be studying problems relating to indistinguishability.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 static inclusion and its sub-case static equivalence.Our work in this dissertation is based on "Intruders with Caps."Our main results are providing co-saturation procedures for deciding whether a frame A is statically included in a frame B 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.