摘要
保护软件代码不被非法修改是软件开发者面临的严峻问题。本文基于哨兵的思想提出一种循环哨兵模型,能以更灵活的方式保护哨兵的完整性。哨兵之间形成循环链,保证每个哨兵都受到其他哨兵的保护,在保护软件完整性的同时能够确保哨兵本身的安全性。同时,提出数据完整性校验协议实时检测哨兵的完整性,并证明协议的安全性。
Protecting software codes from illegal tampers is a severe problem for software developers. Based on the idea of guards, this paper proposes a cycling guards model which can protect the integrity of the program with more flexible way. All the guards form cycle chain to ensure that each guard is protected by other guards, to protect the integrity of the software itself, at the same time ensuring the security of guards. Meanwhile, the paper proposes a protocol of data integrity check to check integrity of checking guards real-time and proves the protocol' s security.
出处
《计算机与现代化》
2012年第1期161-165,169,共6页
Computer and Modernization
关键词
软件保护
完整性校验
哨兵
循环哨兵
software protection
integrity checking
guard
cyclical guard