形式化验证造句
造句与例句手机版
- 从而对高安全级别操作系统的形式化验证进行了一些有益的探索。
- 此外,在本文中,还提出了用于顺序图与状态图的一致性、顺序图消息的连通性的形式化验证的算法。
- 通过在电子交易系统的实际应用和bzl逻辑的形式化验证,证明了提出的数字现金协议是一个强壮的协议。
- 工作流管理系统中一个重要的课题就是要为待描述的过程定义提供一种通用过程描述、表现能力强和便于形式化验证的工作流过程模型。
- 为了形式化验证数字现金的安全性,本文在经典一阶逻辑的基础上,吸取了多类逻辑、动态逻辑和非单调逻辑的思想,提出了bzl逻辑模型。
- 文章主要介绍了安全协议的概念、分类和性质,安全协议的形式化验证方法,以及小系统模型的原理;重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理,而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验,发现了它们的安全漏洞。
- 用形式化验证造句挺难的,這是一个万能造句的方法
其他语种
- 形式化验证的英语:formal verification