文献检索-宁波市创意产业特色资源库

限定检索结果

基于Hoare逻辑的密码软件形式化验证系统: 收藏
分享
引用; 《计算机工程》2012年第3期38卷 121-123页; 作者：郝耀辉郭渊博罗婷燕菊维解放军信息工程大学电子技术学院郑州450004; 在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表...; 在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表明,该系统具有较高的自动化水平,可在一定程度上降低形式化验证方法的复杂度。; 来源：详细信息评论

限定检索结果