应用软件可信要素实现方法研究

• 作者: 孙迪 李健 王志勇
• 来源期刊: 网络安全技术与应用
• 关键词: 软件可信 行为声明 行为监测 安全编译
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 网络安全
• 页码范围: 18-21
• 页数: 4页
• 字数: 3544字
• 语种: 中文

摘要

软件可信是指软件系统能按照其设定目标所期望的方式运行,能适应环境和需求的变化,有抵御异常情况的能力,在受到干扰时仍能持续提供服务.为了验证软件在真实运行环境中的实际行为是否与其期望的功能相符,需要在软件中嵌入一系列可信要素.本文讨论了如何通过安全编译等手段在软件中加入可信要素,真实的监测软件运行的实际行为,并结合软件行为声明,提供对软件可信度量的数据基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李健	北京工业大学计算机学院	73	248	9.0	12.0
2	孙迪	北京工业大学计算机学院	2	11	2.0	2.0
3	王志勇	北京工业大学计算机学院	2	11	2.0	2.0