• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

王志勇 (王志勇.) | 李健 (李健.) | 孙迪 (孙迪.)

收录:

CQVIP

摘要:

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

关键词:

安全编译 行为声明 行为监测 软件可信

作者机构:

  • [ 1 ] [王志勇]北京工业大学
  • [ 2 ] [李健]北京工业大学
  • [ 3 ] [孙迪]北京工业大学

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

来源 :

网络安全技术与应用

ISSN: 1009-6833

年份: 2013

期: 4

页码: 18-21

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次: 2

中文被引频次:

近30日浏览量: 2

在线人数/总访问数:4857/2949400
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司