您的位置： 专家智库 > >

揭玮

作品数：1 被引量：2H指数：1
供职机构：武汉大学计算机学院软件工程国家重点实验室更多>>
发文基金：软件工程国家重点实验室开放基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇多样性
  • 1篇信息安全
  • 1篇逻辑程序
  • 1篇逻辑程序设计
  • 1篇程序设计

机构

  • 1篇武汉大学

作者

  • 1篇梁意文
  • 1篇苏国强
  • 1篇揭玮
  • 1篇许卫平

传媒

  • 1篇计算机工程与...

年份

  • 1篇2004
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于稳定模型的软件多样性与安全初探被引量：2
2004年
该文简要阐述了软件多样性与安全性的关系后,基于STABLEMODEL是逻辑程序的语义模型的观点,从软件与逻辑程序设计的关联出发,提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法,通过逻辑程序与稳定模型之间存在的多对一的映射关系,产生软件的多样性。最后,通过具体的分析,提出了基于稳定模型的程序多样性演化方法,这一方法实现了从一个源程序到一系列等价程序的多样性演化,从而提高了系统的鲁棒性和安全性。
揭玮梁意文苏国强许卫平
关键词：多样性信息安全逻辑程序设计
全选 清除 导出
共1页<1>
聚类工具0