系统可信性验证方法研究

• 作者: 任江春 伍江江 王志英 程勇 马俊
• 来源期刊: 信息安全与技术
• 学科: 工学
• 关键词: 系统安全 可信 可信验证 可信赖引用监控器
• 年，卷（期）: 2010,（6）
• 页码范围: 33-38
• 分类号: TP309
• 字数: 6684字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-9456.2010.06.009

摘要

随着病毒、木马等危害的日益严峻,可信逐渐成为计算机系统安全的重要标志.由于可信的定义不统一,可信的内涵和相关理论研究还比较落后.文章从可信概念的追溯入手,总结可信的基本属性,提出了计算机系统可信性验证的一般方法,并从身份、行为、内容和环境四个方面进行了详细说明.在此基础上,结合可信验证的分类给出了相关引理和证明.最后应用可信验证方法提出了一种对系统安全进行增强实施的可信赖引用监控器模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王志英	国防科技大学计算机学院	108	680	15.0	21.0
2	任江春	国防科技大学计算机学院	11	41	4.0	6.0
3	马俊	国防科技大学计算机学院	8	16	3.0	4.0
4	伍江江	国防科技大学计算机学院	7	25	2.0	5.0
5	程勇	国防科技大学计算机学院	4	13	2.0	3.0