【摘要】在安全领域,软件完整性提供了一个不同于以往的角度对软件当前的运行状态进行评估。软件完整性代表着软件的可信赖程度(trustworthiness)。而软件从文件系统上载入到内存时,软件程序文件的完整代表软件的初始运行状态是可信赖的,而在软件的运行中,如何将这种信赖传递下去,是目前研究的一大挑战。一般的认为,在运行状态下的软件完整性包含两部.分：(1)软件的运行状态的完整；(2)软件的控制流的 […]

【摘要】随着计算机应用的快速发展,软件已经渗透到各行各业,人们高度关注软件的正确性、可靠性、安全性、完整性、可用性等可信性质。而并发程序的出现,使其对正确性测试越发的困难,由于并发程序运行时的不确定性,很难检测到错误；许多并发错误到了用户使用阶段才被发现,再修复这些错误需要付出昂贵的费用。并发正确性测试是可信软件测试过程中最重要的一部分,如何检测出并发错误并采取有效的措施来保证可信软件的并发正确性 […]