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

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