Probability distributions over cryptographic protocols
Skaff, Stephanie J. C.
MetadataShow full item record
This study examines the problem of assuring correct functionality of cryptographic protocol verifiers. As a replacement for manual input of well-known protocols, we propose the creation of a random protocol generator capable of producing protocols of varying degrees of correctness. This generator would be verifier-independent, and the protocols translated into verifier languages as required. This would automate not only the creation of protocols, but eliminate the variability both in translation quality and in the resulting body of tests. To this end, we propose a common definition for cryptographic protocols, develop multiple probability distributions over this definition, and implement a generator that uses these distributions. As a proof of concept, we translate protocols created by the generator into a suitable format for the Cryptographic Protocol Shapes Analyzer.
Approved for public release, distribution unlimited
Showing items related by title, author, creator and subject.
Rogers, Jason Lee (Monterey, California. Naval Postgraduate School, 2004-12);Cryptographic protocols provide security services through the application of cryptography. When designing a cryptographic protocol, the requirements are, often, specified informally. Informal specification can lead to ...
Pseudorandom number generators for mobile devices: an examination and attempt to improve randomness Larsson, Ola (Monterey, California: Naval Postgraduate School, 2013-09);This thesis examines the quality of pseudorandom number generation for cryptographic purposes in general and the generation of such numbers in a mobile device (Android phone), in particular, since we expected to find ...
Zhang, Zhibin (Monterey, California: Naval Postgraduate School, 2016-09);There are multiple applications for pseudorandom number generators, notably in simulation and cryptography. A bad pseudorandom number generator can cause misleading results in simulations or loss of security and attacks ...