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

摘要：

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

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

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金90204011;国家重点实验室基金

在线出版日期：2004-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：53-55