基于Seal演算的分布式系统安全模型

摘要：

针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型Seal演算为工具,将系统安全属性的刻画归结为系统进程在给定计算环境下的位置互模拟等价,提出一种无干扰安全模型,其可以方便地刻画不同的安全性质.为满足实际安全需求,提出了一种可复合的安全属性,并给出了相应的证明.最后,通过实例分析表明了模型的有效性.

关键词：分布式系统、Seal演算、位置互模拟、安全模型

所属期刊栏目：42

分类号：TP393.8(计算技术、计算机技术)

资助基金：国家自然科学基金11371003,11461006;广西自然科学基金2011GXNSFA018154;广西高等学校优秀人才资助计划项目桂教人[2011]40号;广西高校科学技术研究重点项目2013ZD021;广西可信软件重点实验室开放课题kx201122

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

页数：共4页

页码：178-181