计算机安全模型研究与应用,软件哨兵安全动态检测模型的研究与实现-计算机应用研究.PDF...

软件哨兵安全动态检测模型的研究与实现-计算机应用研究

第２９卷第８期 计 算 机 应 用 研 究 Ｖｏｌ．２９Ｎｏ．８

２０１２年８月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ａｕｇ．２０１２

软件哨兵安全动态检测模型的研究与实现

１ １ ２ １

武少杰 ，鹤荣育 ，薛长松 ，谢江涛

(１．信息工程大学 电子技术学院，郑州４５０００４；２．成都９５８７９部队，成都６１００８１)

摘　要：软件哨兵是保护软件代码不被非法修改的重要方法之一，但它本身的安全面临着重大挑战。为了能动

态检测软件哨兵是否遭到窜改，基于ＴＰＭ技术提出了一个检测软件哨兵完整性的模型。该模型利用哨兵进程

在内存页面中的变化情况，判断哨兵是否可信，提高了哨兵实时性和动态性。实验证明，该模型能够准确地判断

出哨兵进程是否遭到窜改并满足计算平台对安全性和执行效率的要求，具有较好的可行性。

关键词：完整性度量；动态检测；软件哨兵；标准值

中图分类号：ＴＰ３０９　　　文献标志码：Ａ　　　文章编号：１００１３６９５(２０１２)０８３００８０４

ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１２．０８．０５３

Ｓｔｕｄｙａｎｄｉｍｐｌｅｍｅｎｔａｔｉｏｎｏｆｓｏｆｔｗａｒｅｇｕａｒｄｓ’ｓｅｃｕｒｉｔｙｄｙｎａｍｉｃｔｅｓｔｉｎｇｍｏｄｅｌ

１ １ ２ １

ＷＵＳｈａｏｊｉｅ，ＨＥＲｏｎｇｙｕ，ＸＵＥＣｈａｎｇｓｏｎｇ，ＸＩＥＪｉａｎｇｔａｏ

(１．ＩｎｓｔｉｔｕｔｅｏｆＥｌｅｃｔｒｏｎｉｃＴｅｃｈｎｏｌｏｇｙ，ＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｚｈｅｎｇｚｈｏｕ４５０００４，Ｃｈｉｎａ；２．Ｃｈｅｎｇｄｕ９５８７９Ａｒｍｙ，Ｃｈｅｎｇｄｕ

６１００８１，Ｃｈｉｎａ)

Ａｂｓｔｒａｃｔ：Ｓｏｆｔｗａｒｅｇｕａｒｄｓｉｓａｎｉｍｐｏｒｔａｎｔｍｅａｎｔｏｐｒｏｔｅｃｔｓｏｆｔｗａｒｅｃｏｄｅｆｒｏｍｉｌｌｅｇａｌｔａｍｐｅｒｉｎｇ，ｂｕｔｉｔｓｓｅｃｕｒｉｔｙｂｅｃｏｍｅｓａ

ｃｒｉｔｉｃａｌｉｓｓｕｅ．Ｔｏｂｅａｂｌｅｔｏｄｅｔｅｃｔｗｈｅｔｈｅｒｔｈｅｓｏｆｔｗａｒｅｇｕａｒｄｓｈａｄｂｅｅｎｔａｍｐｅｒｅｄ，ｔｈｉｓｐａｐｅｒｐｒｅｓｅｎｔｅｄａｄｙｎａｍｉｃｍｅａｓｕｒｉｎｇ

ｍｏｄｅｌｂａｓｅｄｏｎＴＰＭ，ｗｈｉｃｈｕｓｅｄｔｈｅｃｈａｎｇｅｓｔｈａｔｇｕａｒｄｓｉｎｔｈｅｍｅｍｏｒｙｐａｇｅｔｏｊｕｄｇｅｉｔｓｃｒｅｄｉｂｉｌｉｔｙａｎｄｉｍｐｒｏｖｅｄｔｈｅｎａｔｕｒｅ

ｏｆｄｙｎａｍｉｃａｌａｎｄｒｅａｌｔｉｍｅ．Ｔｈｅｅｘｐｅｒｉｍｅｎｔｓｓｈｏｗｔｈａｔｔｈｅｍｏｄｅｌｃａｎｄｅｔｅｃｔｗｈｅｔｈｅｒｔｈｅｓｏｆｔｗａｒｅｇｕａｒｄｓｈａｖｅｂｅｅｎｔａｍｐｅｒｅｄ

ａｎｄｓａｔｉｓｆｉｅｄｔｈｅｓｅｃｕｒｉｔｙａｎｄｅｆｆｉｃｉｅｎｃｙｔｏｔｈｅｃｏｍｐｕｔｉｎｇｐｌａｔｆｏｒｍｓ．

Ｋｅｙｗｏｒｄｓ：ｉｎｔｅｇｒｉｔｙｍｅａｓｕｒｅｍｅｎｔ；ｄｙｎａｍｉｃｍｅａｓｕｒｉｎｇ；ｓｏｆｔｗａｒｅｇｕａｒｄｓ；ｒｅｆｅｒｅｎｃｅｖａｌｕｅ

制。哨兵是应用程序的一部分代码，不易影响应用程序的代

引言 码。一个哨兵至少包括一条指令，而一条程序指令也至少包含

２～

一个字节序列。各类哨兵的安装与具体工作详见文献［

当前，计算机软件是计算机中最重要的计算平台和信息资

７］