On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions
| Title | On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Fattahi, Jaouhar, Mejri, Mohamed, Pricop, Emil |
| Conference Name | 2019 IEEE Canadian Conference of Electrical and Computer Engineering (CCECE) |
| Publisher | IEEE |
| ISBN Number | 978-1-7281-0319-8 |
| Keywords | Collaboration, composability, compositionality, cryptographic protocols, Encryption, formal verification, Needham-Schroeder symmetric-key protocol, Policy Based Governance, policy-based governance, privacy, protocol verification, pubcrawl, reliability, security, security of data, security vulnerability, telecommunication security, Waste materials, witness functions |
| Abstract | In this paper, we show how practical the little theorem of witness functions is in detecting security flaws in some categories of cryptographic protocols. We convey a formal analysis of the Needham-Schroeder symmetric-key protocol in the theory of witness functions. We show how it helps to warn about a security vulnerability in a given step of this protocol where the value of security of a sensitive ticket in a sent message unexpectedly decreases compared with its value when received. This vulnerability may be exploited by an intruder to mount a replay attack as described by Denning and Sacco. |
| URL | https://ieeexplore.ieee.org/document/8861950 |
| DOI | 10.1109/CCECE.2019.8861950 |
| Citation Key | fattahi_security_2019 |
- privacy
- witness functions
- Waste materials
- telecommunication security
- security vulnerability
- security of data
- security
- Reliability
- pubcrawl
- protocol verification
- collaboration
- policy-based governance
- Policy Based Governance
- Needham-Schroeder symmetric-key protocol
- formal verification
- encryption
- Cryptographic Protocols
- Compositionality
- composability