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

作者：揭玮; 梁意文; 苏国强; 许卫平

来源：计算机工程与应用, 2004, (07): 53-55.

• 多样性
• 信息安全
• 稳定模型
• 逻辑程序设计 Diversity
• Security
• Stable Model Semantics
• Logic Programming

该文简要阐述了软件多样性与安全性的关系后,基于STABLEMODEL是逻辑程序的语义模型的观点,从软件与逻辑程序设计的关联出发,提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法,通过逻辑程序与稳定模型之间存在的多对一的映射关系,产生软件的多样性。最后,通过具体的分析,提出了基于稳定模型的程序多样性演化方法,这一方法实现了从一个源程序到一系列等价程序的多样性演化,从而提高了系统的鲁棒性和安全性。

• 单位
  武汉大学; 软件工程国家重点实验室