Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Facilitating the modelling and automated analysis of cryptographic protocols
Includes bibliographical references.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Computer Science
2014
|
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Facilitating the modelling and automated analysis of cryptographic protocols
- Analysis and design of cryptographic hash functions
- Towards superconducting cryptographic accelerators: a highperformance configurable NTT Butterfly Unit using RSFQ electronics
- Kalman Filter Based RSS Preprocessing for Cryptographic Key Generation in Zero Knowledge Feige Fiat Shamir Authentication
- A COMPREHENSIVE APPROACH TO INTEGRATING DUAL RF MODULES AND A SINGLE CRYPTOGRAPHIC CORE IN DUAL-PURPOSE RADIOS
- An analysis of the role of AfCFTA investment facilitation protocol and strategies in the promotion of sustainable development in SADC Developing Countries: a comparative study
- Facilitating disclosure of child sexual abuse victims in the middle childhood : a forensic interview protocol for social workers