典型文献
可信运行控制软件形式化设计与验证
文献摘要：
可信运行控制软件作为可信计算平台中提供可信度量服务的关键软件,其自身设计是否安全可信,是可信计算平台安全运行的基础.为保证该软件设计安全可信,基于形式化模型检验基本理论,提出了软件形式化设计框架,研究了抽象行为、安全属性和代码功能正确性建模验证方法,开展了可信运行控制软件形式化设计与验证.验证结果表明,采用形式化设计方法,能够有效地解决软件设计缺陷和安全漏洞,保证软件设计与实现的正确性、安全性与一致性.
文献关键词：
可信运行控制;形式化方法;可信计算平台;安全;漏洞
中图分类号：
作者姓名：
庞飞;唐六华;谢小赋;郝尧
作者机构：
中国电子科技集团公司第三十研究所,成都610041
文献出处：
引用格式：
[1]庞飞;唐六华;谢小赋;郝尧-.可信运行控制软件形式化设计与验证)[J].信息技术,2022(10):76-84
A类：
可信运行控制
B类：
控制软件,设计与验证,可信计算平台,可信度量,安全可信,平台安全,该软件,软件设计,设计安全,模型检验,设计框架,全属,代码,验证方法,设计缺陷,安全漏洞,形式化方法
AB值：
0.249471
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
