SH Super Lock——超级软件加密系统

本文介绍了加密系统SH Super Lock的开发背景、主要功能、使用环境和实现方法。使用该系统加密的软件具有如下功能:反拷贝,不能被其它拷贝工具所拷贝;反跟踪,具有多种反跟踪手段,不能被其它软件跟踪;防反汇编,程序代码和数据采用密文(密码)存储,防止其它软件对其进行反汇编。

计算机病毒检测的探索──程序自保持检测法

根据计算机病毒的特性，在程序正确性理论基础上，本文提出了有关计算机病毒的推论：某一特定的程序运行环境。如果未被病毒侵入，当工仅当程序语义的自保持性未被破坏，并给出了新的程序语义自保持测试定理，建立了计算机病毒检测的方法──程序自保持法．

结构化程序设计及判别

结构化程序设计标准基于新的数学基础，其判别利用了Ｔ．Ｊ．Ｍｃｃａｂｅ复杂性度量理论。