基于稳定模型的软件多样性与安全初探  

The Research of Diversity and Security Based on Stable Model Seman tics

作　　者：揭玮[1] 梁意文[1] 苏国强[1] 许卫平[1] 

机构地区：[1]武汉大学软件工程国家重点实验室/计算机学院,武汉430072

出　　处：《计算机工程与应用》2004年第7期53-55,共3页Computer Engineering and Applications

基　　金：国家自然科学重大研究计划项目(编号:90204011);武汉大学软件工程国家重点实验室开放基金

摘　　要：该文简要阐述了软件多样性与安全性的关系后,基于STABLEMODEL是逻辑程序的语义模型的观点,从软件与逻辑程序设计的关联出发,提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法,通过逻辑程序与稳定模型之间存在的多对一的映射关系,产生软件的多样性。最后,通过具体的分析,提出了基于稳定模型的程序多样性演化方法,这一方法实现了从一个源程序到一系列等价程序的多样性演化,从而提高了系统的鲁棒性和安全性。This paper briefly discusses the relationship between diversity and security.From this,and based on the point of stable models semantics,the paper summarizes the method of the implementation of diversity in software.After explaining the development ,the definition and the computation of Stable Model Semantics,the paper analyses the function of stable models for logic programming.In the end,the paper puts forward a new methodology of introducing diversity to programs based on the Stable Model Semantics.This methodology endows the programs ,even the systems ,for better adaptability and security.

关 键 词：多样性 信息安全 稳定模型 逻辑程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]