一种面向移动计算的机密性与完整性模型

• 作者: 周渊 方滨兴 殷丽华 郭云川
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 机密性 完整性 混杂类型检测 移动计算 移动互联网
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 移动网络
• 页码范围: 1424-1433
• 页数: 10页
• 分类号: TP311
• 字数: 10779字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.01424

摘要

机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Securityπ,πHTS).根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统一的安全形式模型.它能同时保障移动计算中的机密性和完整性,具有较好的可用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周渊		22	111	6.0	9.0
2	殷丽华	中国科学院信息工程研究所	17	284	7.0	16.0
3	方滨兴	中国科学院信息工程研究所	45	1371	19.0	36.0