摘要
针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型Seal演算为工具,将系统安全属性的刻画归结为系统进程在给定计算环境下的位置互模拟等价,提出一种无干扰安全模型,其可以方便地刻画不同的安全性质。为满足实际安全需求,提出了一种可复合的安全属性,并给出了相应的证明。最后,通过实例分析表明了模型的有效性。
To address the weaknesses of the current security model for distributed computation,this paper proposed a non-interference security model,which is described in the setting of Seal calculus.The new model reduces the characterization of systems security to the location bisimulation equivalence of certain processes in which the position and mobility of systems have been taken into consideration.This paper also proved that the model can define a composite security property according to the security requirements of distributed systems.Finally,a case study was illuminated to show the practical application of this model.
出处
《计算机科学》
CSCD
北大核心
2015年第7期178-181,共4页
Computer Science
基金
国家自然科学基金(11371003
11461006)
广西自然科学基金(2011GXNSFA018154)
广西高等学校优秀人才资助计划项目(桂教人[2011]40号)
广西高校科学技术研究重点项目(2013ZD021)
广西可信软件重点实验室开放课题(kx201122)资助
