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

A Uniform Framework of Security Model for Mobile Systems

作　　者：王立斌[1] 陈克非[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《电子学报》2002年第12A期2108-2110,共3页Acta Electronica Sinica

基　　金：国家自然科学基金重大研究计划项目(No.90104005);国家自然科学基金(No.69973031)

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

关 键 词：可移动系统 安全模型 Π演算 不干涉模型 

分 类 号：N945.1[自然科学总论—系统科学]