一种软件加密模型的形式化描述  

The Formalization of a Model of Software Encryption

作　　者：朱新兵[1] 李清宝[1] 白燕[1] 曾光裕[1] 

机构地区：[1]解放军信息工程大学信息工程学院计算机科学与技术系,郑州450002

出　　处：《计算机工程与应用》2006年第14期82-85,共4页Computer Engineering and Applications

摘　　要：软件加密技术是软件版权保护的有效手段之一,但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的,缺乏系统的观念和理论的指导。鉴于此,论文在简要地介绍了加密软件的特点后,结合有穷自动机理论,提出了一种基于FA的软件加密模型,试图从系统和理论的角度阐释软件加密原理。Copyright protection of software products has become a very important issue.Software encryption is one of the primary anti -pirate techniques.Although it is widely applied, there is still a serious problem in its previous researches——lacking systemic concept.This paper proposes a model of software encryption on the basis of finite a utomata to illuminate the principle and mechanism of software encryption.

关 键 词：有穷自动机 爆破点 拆分 软件加密模型 

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构]