基于软件行为的可信动态度量

被引：14

作者：

庄琭

蔡勉

李晨

机构：

[1] 北京工业大学计算机学院

来源：

武汉大学学报(理学版) | 2010年 / 56卷 / 02期

关键词：

可信动态度量; 可信计算; 软件行为; 行为迹; 行为度量信息基(AMIB);

D O I：

10.14188/j.1671-8836.2010.02.021

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.

引用

页码：133 / 137

页数：5

共 5 条

[1] 基于系统行为的计算平台可信证明 [J].

李晓勇 ;

左晓栋 ;

沈昌祥 .

电子学报, 2007, (07) :1234-1239

[2] 信息安全综述 [J].

沈昌祥 ;

张焕国 ;

冯登国 ;

曹珍富 ;

黄继武 .

中国科学(E辑:信息科学), 2007, (02) :129-150

[3]

软件行为学[M]. 电子工业出版社 , 屈延文著, 2004

[4]

PRIMA:Policy-reduced integrity measurement architecture. Jaeger T,Sailer R,Shanker U. Proceedings of the eleventh ACM symposium on Access control models and technologies . 2006

[5]

Bind:A fine-grained attesta-tion service for secure distributed systems. Shi E,Perrig A,Doorn L. Pro-ceedings of the IEEE Symposium on Security andPrivacy . 2005

← 1 →