On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions
Cryptography and Security
2019-12-03 v1
Abstract
In this paper, we show how practical the little theorem of witness functions is in detecting security flaws in some category 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 teach about a security vulnerability in a given step of this protocol where the value of security of a particular sensitive ticket in a sent message unexpectedly plummets 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.
Keywords
Cite
@article{arxiv.1903.00499,
title = {On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions},
author = {Jaouhar Fattahi and Mohamed Mejri and Emil Pricop},
journal= {arXiv preprint arXiv:1903.00499},
year = {2019}
}
Comments
Accepted at the 2019 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE) on March 1, 2019