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

• 作者: 王立斌 陈克非
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 安全模型 不干涉安全 π演算
• 年，卷（期）: 2002,（z1）
• 所属期刊栏目: 科研通信
• 页码范围: 2108-2110
• 页数: 3页
• 分类号: TP309
• 字数: 3857字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2002.z1.047

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈克非	上海交通大学计算机科学与工程系	122	1257	21.0	29.0
2	王立斌	上海交通大学计算机科学与工程系	5	15	2.0	3.0