可移动系统安全模型统一框架

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

A Uniform Framework of Security Model for Mobile Systems

Reducing the characterization of systems security to characterizing the equivalence of certain processes,taking the mobility of systems into consideration, we propose a uniform framework of mobile systems security model, which is described in the setting of π-Calculus.In this framework,various noninterference security properties can be easily rephrased and evaluated,and nwe security properties can also be defined for different system requirements. Moreover, constructing a new platform for security properties analysis,this framework can be used extensively in the security analysis of mobile distributed systems, e.g.,global computing system, metacomputmg system.