Detecting the misuse of secrets : foundations, protocols, and verification
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 thesis, we...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Oxford
2018
|
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.757805 |