|
|||||
|
|
| 一种基于无干扰的软件动态行为可信性分析方法 | |
| 引用本文： | 张帆,江敏,吴怀广,徐明迪.一种基于无干扰的软件动态行为可信性分析方法[J].计算机科学,2012,39(1):101-103. |
| 作者姓名： | 张帆 江敏 吴怀广 徐明迪 |
| 作者单位： | 1. 杭州电子科技大学通信工程学院 杭州310018 2. 厦门大学智能科学系 厦门361005 3. 郑州轻工业学院计算机与通信工程学院 郑州450002 4. 武汉数字工程研究所系统软件部 武汉430079 |
| 基金项目： | 国家自然科学基金，浙江省自然科学基金杰出青年团队项目，武器装备预研基金 |
| 摘 要： | 软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤:第一,对软件动态行为进行行为建模;第二,对建模后的软件动态行为进行行为可信性分析。针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出一种基于无干扰的软件动态行为可信性分析方法,并从理论上给出了行为可信性判定定理。 |
| 关 键 词： | 可信计算 完整性度量 无干扰 信息流 |
Approach for Trust Analysis of Software Dynamic Behavior Based on Noninterference |
|
| ZHANG Fan , JIANG Min , WU Huai-guang , XU Ming-di.Approach for Trust Analysis of Software Dynamic Behavior Based on Noninterference[J].Computer Science,2012,39(1):101-103. | |
| Authors: | ZHANG Fan JIANG Min WU Huai-guang XU Ming-di |
| Affiliation: | 4 (Communication School,Hangzhou Dianzi University,Hangzhou 310018,China)1(Department of Cognitive Science,Xiamen University,Xiamen 361005,China)2(School of Computer and Communication Engineering,Zhengzhou University of Light Industry,Zhengzhou 450002,China)3(System Software Department,Wuhan Digital Engineering Institute,Wuhan 430072,China)4 |
| 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. |
| Keywords: | Trustcd computing Integrity measurement Noninterference Information flow |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |