A Theorem for Secrecy in Tagged Protocols Using the Theory of Witness-Functions
Cryptography and Security
2018-03-23 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1803.08151,
title = {A Theorem for Secrecy in Tagged Protocols Using the Theory of Witness-Functions},
author = {Jaouhar Fattahi},
journal= {arXiv preprint arXiv:1803.08151},
year = {2018}
}
Comments
Accepted at the 31st Annual IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2018). Quebec City, Canada. May 13-16, 2018