Scifaro

中文

一种验证安全协议的新方法

计算机科学中的逻辑 2017-06-02 v1 密码学与安全

作者: Andrew M. Mironov

在 arXiv 上查看 ↗ PDF ↗

摘要

本文引入了一种安全协议的过程模型，其中过程是以动作为边标签的图，并基于此模型提出了一种新的安全协议规约与验证方法。

关键词

安全协议验证过程模型图模型动作标签边规约

引用

@article{arxiv.1706.00269,
  title  = {A new method of verification of security protocols},
  author = {Andrew M. Mironov},
  journal= {arXiv preprint arXiv:1706.00269},
  year   = {2017}
}