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

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

该文简要阐述了软件多样性与安全性的关系后,基于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.