基于模型检测的密码协议安全性的实际应用

摘要：

随着工业上广泛采用基于模型的开发(model-based development.MBD)的工具,这正在改变工业上因为采用形式化方法所带来的花费和效益的平衡.形式化方法例如模型检测融合到软件开发环境中能降低费用和使复杂的检测能自动和严密的进行.该文主要用一个实际应用来说明软件安全性重要性和模型检测怎样降低其费用.

关键词：MBD、模型检测、NuSMV、规约

所属期刊栏目：7

分类号：TP368.6(计算技术、计算机技术)

在线出版日期：2011-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：2028-2029