使用见证函数理论的标记协议保密性定理
密码学与安全
2018-03-23 v1
摘要
本文使用见证函数理论阐述了标记协议的保密性定理，并利用该定理对 Needham-Schroeder 公钥协议的一个新标记版本进行了形式化分析。我们还讨论了标记在保障密码协议安全性方面的意义。
引用
@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}
}
备注
Accepted at the 31st Annual IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2018). Quebec City, Canada. May 13-16, 2018