...urity Protocol, Digital Signature, Formal Authentication, Intruder, Role [gap=14248]关键词:安全协议,数字签名,形式化验证,攻击者,角色冒充 ...
基于6个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
安全协议的形式化验证是网络安全的一个重要领域。
Formal authentication of security protocol is an important field of network security.
文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。
This paper introduces tools of verification and falsification and then compare and analyses their characteristic.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
Model checking is a formal verification by exhaustive search to finite state automata.
应用推荐