论文部分内容阅读
本文的主要工作是利用可移动进程的形式化模型л演算为工具，考虑系统的移动性（Mobility），将系统安全属性的刻画归结为特定系统进程等价的验证，提出一种新的安全模型框架，在此框架下，可以方便表示不同的不干涉安全属性，并对其进行强弱对比；针对不同安全需求，可定义新的安全属性。并且，该框架建立一个新的安全属性研究的平台，可广泛地适用于具有移动进程的分布式系统的安全分析。