计算机技术与发展Issue(10)：35-38,4.
基于模型检验的软件可信分析模型
Trusted Software Analysis Model Based on Model Checking
摘要
关键词
模型检验/软件可信分析/有限状态机/可信软件Key words
model checking/trusted software analysis/finite state machine/trusted software分类
信息技术与安全科学引用本文复制引用
韩葆,蔡勉..基于模型检验的软件可信分析模型[J].计算机技术与发展,2012,(10):35-38,4.基金项目
国家“973”重点基础研究发展计划(2007CB311100) （2007CB311100）
