A Theorem for Secrecy in Tagged Protocols Using the Theory of Witness-Functions
- Resource Type
- Conference
- Authors
- Fattahi, Jaouhar
- Source
- 2018 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE) Electrical & Computer Engineering (CCECE), 2018 IEEE Canadian Conference on. :1-6 May, 2018
- Subject
- Communication, Networking and Broadcast Technologies
Components, Circuits, Devices and Systems
Computing and Processing
Photonics and Electrooptics
Power, Energy and Industry Applications
Signal Processing and Analysis
Protocols
Reliability
Encryption
Computer security
Conferences
cryptographic protocols
intruder
secrecy
security
tag
unification
witness-function
- Language
- ISSN
- 2576-7046
In this paper, we enunciate the theorem of secrecy in tagged protocols using the theory of witness-functions and we run a formal analysis on a new tagged version of the Needham-Schroeder public-key protocol using this theorem. We discuss the significance of tagging in securing cryptographic protocols as well.