计算机科学 ›› 2012, Vol. 39 ›› Issue (1): 101-103.
• 软件工程 • 上一篇 下一篇
张帆 江敏 吴怀广 徐明迪
出版日期:
发布日期:
Online:
Published:
摘要: 软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关健步骤:第一,对软件动态行为进行行为建模;第二,对建模后的软件动态行为进行行为可信性分析。针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出一种基于无干扰的软件动态行为可信性分析方法,并从理论上给出了行为可信性判定定理。
关键词: 可信计算,完整性度量,无干扰,信息流
Abstract: Software Dynamic Behavior Measurement (SDBM) is one of the core issues that must be solved by the trusted computing. Tackling this issue has two main steps: one is to model the dynamic behavior of software; the other is to deduce the trust of the modeled behavior. A noninterference-based approach, which focuses on the second step, was presented, and the decision theorems for behavior trust analysis were given as well.
Key words: Trustcd computing, Integrity measurement, Noninterference, Information flow
张帆 江敏 吴怀广 徐明迪. 一种基于无干扰的软件动态行为可信性分析方法[J]. 计算机科学, 2012, 39(1): 101-103. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/I1/101
Cited