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

摘要：

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

关键词：机密性、完整性、混杂类型检测、移动计算、移动互联网

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家“八六三”高技术研究发展计划项目基金2013AA014002;国家自然科学基金61100186,61070186,61063002,61262008;广西混杂计算与集成电路设计分析重点实验室HCIC201107资助.This work is supported by the National High Technology Research and Development Program863 Programof China under Grant No.2013AA014002,the National Natural Science Foundation of China under Grant Nos.61070186,61100186,61063002,61262008 and G

在线出版日期：2013-10-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1424-1433