-
题名基于嵌入式可信平台的运行时监控方法
- 1
-
-
作者
孙召昌
马建峰
孙聪
卢笛
-
机构
西安电子科技大学网络与信息安全学院
-
出处
《网络与信息安全学报》
2017年第10期44-51,共8页
-
基金
国家自然科学基金资助项目(No.61303033
No.U1405255)
+3 种基金
国家高技术研究发展计划("863"计划)基金资助项目(No.2015AA017203)
陕西省自然科学基础研究计划基金资助项目(No.2016JM6034)
航空科学基金资助项目(No.20141931001)
工信部某专项科研基金资助项目(No.MJ-2014-S-37)~~
-
文摘
当前可信计算平台缺乏对自身运行时安全属性的监控,对此,提出一种针对嵌入式可信平台的运行时监控方法。通过自动化的代码插入和运行时实时监控,保证可信平台的运行时安全功能符合设计规范,并保证系统性能和运行状态符合特定条件约束,同时对相应的异常进行实时处理。实验结果表明,随着监控节点数的增长,监控的准确性和实时性提高,而监控开销和异常处理开销处于合理范围。
-
关键词
可信计算
运行时监控
嵌入式系统
线性时序逻辑
-
Keywords
trusted computing, runtime verification, embedded system, linear temporal logic
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-