考虑位置失效的移动系统安全模型

• 作者: 余万涛 胡光锐
• 来源期刊: 计算机应用研究
• 关键词: 安全模型 π演算 不干扰安全性质 位置
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 信息安全
• 页码范围: 128-129,132
• 页数: 3页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2006.10.044

摘要

以带位置扩展的移动进程π演算模型为形式化工具,在考虑位置失效的基础上,将移动系统的安全性质转换为系统进程在给定计算环境中的位置互模拟关系,提出了考虑位置失效的一种新安全模型.针对实际安全需求,该模型可以方便地描述不同的非干扰安全性质;该模型提供了一个统一的安全分析架构,可广泛用于移动计算系统的安全性分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡光锐	上海交通大学电子信息学院	130	1646	20.0	35.0
2	余万涛	上海交通大学电子信息学院	4	4	1.0	1.0