Detecting the misuse of secrets: foundations, protocols, and verification

<p>Secrets are the basis of most protocol security, enabling authentication and secrecy over untrusted channels even in the presence of active adversaries. The compromise and misuse of secrets can therefore undermine the properties that people and systems rely on for their security. In this th...

Celý popis

Podrobná bibliografie
Hlavní autor: Milner, K
Další autoři: Cremers, C
Médium: Diplomová práce
Vydáno: 2018