Date of Award
1-1-2015
Language
English
Document Type
Dissertation
Degree Name
Doctor of Philosophy (PhD)
College/School/Department
Department of Computer Science
Content Description
1 online resource (viii, 50 pages) : illustrations
Dissertation/Thesis Chair
Paliath Narendran
Committee Members
Christopher Lynch, Neil V Murray
Keywords
Cryptographic Protocol Analysis, Guessing Attacks, Indistinguishability, Static Inclusion, Term Rewriting Systems, Unification, Data encryption (Computer science), Computer security, Intrusion detection systems (Computer security), Public key cryptography, Computers
Subject Categories
Computer Sciences
Abstract
In this dissertation we will be studying problems relating to indistinguishability. This topic
Recommended Citation
Gero, Kimberly Ann, "Deciding static inclusion for delta-strong and omega [upside down triangle]-strong intruder theories : applications to cryptographic protocol analysis" (2015). Legacy Theses & Dissertations (2009 - 2024). 1390.
https://scholarsarchive.library.albany.edu/legacy-etd/1390