|
|||||
|
|
| 一种面向移动计算的机密性与完整性模型 | |
| 引用本文： | 郭云川,方滨兴,殷丽华,周渊.一种面向移动计算的机密性与完整性模型[J].计算机学报,2013,36(7). |
| 作者姓名： | 郭云川 方滨兴 殷丽华 周渊 |
| 作者单位： | 1. 中国科学院信息工程研究所 北京 100093;广西可信软件重点实验室(桂林电子科技大学)广西 桂林 541004 2. 中国科学院信息工程研究所 北京 100093 3. 国家计算机网络应急技术处理协调中心 北京 100029 |
| 基金项目： | 国家“八六三”高技术研究发展计划项目基金，国家自然科学基金，广西混杂计算与集成电路设计分析重点实验室(HCIC201107)资助.This work is supported by the National High Technology Research and Development Program(863 Program)of China under Grant No.2013AA014002 |
| 摘 要： | 机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Securityπ,πHTS).根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统一的安全形式模型.它能同时保障移动计算中的机密性和完整性,具有较好的可用性. |
| 关 键 词： | 机密性 完整性 混杂类型检测 移动计算 移动互联网 |
A Security Model for Confidentiality and Integrity in Mobile Computing |
|
| GUO Yun-Chuan , FANG Bin-Xing , YIN Li-Hua , ZHOU Yuan.A Security Model for Confidentiality and Integrity in Mobile Computing[J].Chinese Journal of Computers,2013,36(7). | |
| Authors: | GUO Yun-Chuan FANG Bin-Xing YIN Li-Hua ZHOU Yuan |
| Abstract: | |
| Keywords: | confidentiality integrity hybrid typed checking mobile computing mobile Internet |
| 本文献已被 万方数据 等数据库收录！ | |