摘要
软件可信是指软件系统能按照其设定目标所期望的方式运行,能适应环境和需求的变化,有抵御异常情况的能力,在受到干扰时仍能持续提供服务。为了验证软件在真实运行环境中的实际行为是否与其期望的功能相符,需要在软件中嵌入一系列可信要素。本文讨论了如何通过安全编译等手段在软件中加入可信要素,真实的监测软件运行的实际行为,并结合软件行为声明,提供对软件可信度量的数据基础。
Trusted software means the software and system will behave as what the users want,will adapt change of the environment and requirement,will resist the exception,will continue their services while be disturbed.In order to check if the software＇s real behavior is same as what they declared,we need to embed the truest elements to the software.Here we research how to monitor the software＇s real behavior using trust element embed technology,and how to combine with software behavior statement,to supply the software＇s behavior data.
出处
《网络安全技术与应用》
2013年第4期18-21,共4页
Network Security Technology & Application
关键词
软件可信
行为声明
行为监测
安全编译
Trusted software
Software behavior statement
Behavior monitoring
Safety compile
