...源期刊网 关键词:安全 协议; 自动化验证; 基本搜索; 扩展搜索 [gap=1061]Key words:security protocol; automatic verification; basic search; extended search ...
基于16个网页-相关网页
这样就可以把算法的状态空间表示为有限的,从而使这类算法的自动化验证成为可能。
Thus we are able to have a finite representation of round number, and then make (fully) automatic verification of these algorithms possible.
在进行公理推导的基础上,本文还利用工具SPV对更多的公钥认证协议进行了自动化验证,与协议推导取得了一致的验证结果。
On the ground of deduction, the paper chose a more serials of public key authentication protocols to use the tool SPV for automatic verification, and got expected results.
模型检验是一种针对有限状态系统的形式化验证技术,以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
应用推荐