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

Security Model for Distributed System Based on Seal Calculus

作　　者：黄勇[1] 吴尽昭[2] 

机构地区：[1]广西民族大学信息科学与工程学院,南宁530006 [2]中国科学院成都计算机应用研究所,成都610041

出　　处：《计算机科学》2015年第7期178-181,共4页Computer Science

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

摘　　要：针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型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.

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

分 类 号：TP393.8[自动化与计算机技术—计算机应用技术]