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

第卷第期 计 算 机 学 报 ３６ ７ 　 　　　　　　　　 Ｖｏｌ．３６Ｎｏ．７ 年月 ２０１３７ Ｊｕｌ２０１３ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｙ 　 一种面向移动计算的机密性与完整性模型 ），） ） ） ） １３ １ １ ２ 郭云川 方滨兴 殷丽华周渊 ） １（ ） 中国科学院信息工程研究所北京１０００９３ ） ２（国家计算机网络应急技术处理协调中心北京 ） １０００２９ ） ３（ （ ） ） 广西可信软件重点实验室桂林电子科技大学广西桂林５４１００４ 摘要机密性和完整性是移动计算的两个重要特性，如何保障机密性和完整性是移动计算的重大挑战利用 　　 ． π 演算能有效建模移动并发系统的特征，借鉴程序语言中不同类型变量之间的赋值方式，提出基于混杂类型检测的 ＨＴＳ ＨＴＳ 安全演算（ ， ）根据 利用静态类型检测保障低机密级信息只能向同等或更高机 ＨｂｒｉｄＴｅｄＳｅｃｕｒｉｔ ． π ππ π ｙ ｙｐ ｙ 密级流动，高完整级信息只能向同等或更低完整级流动，针对机密性和完整性在信息流向上的相反性，提出了基于 ＨＴＳ 强制类型转化的有效动态转换框架 将静态检测和动态检测有机地整合在一起，形成了一种统一的安全形式 ． π ， 模型它能同时保障移动计算中的机密性和完整性具有较好的可用性 ． ． 关键词机密性；完整性；混杂类型检测；移动计算；移动互联网 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．３７２４ＳＰ．Ｊ．１０１６．２０１３．０１４２４ 　　　 　 犃犛犲犮狌狉犻狋犕狅犱犲犾犳狅狉犆狅狀犳犻犱犲狀狋犻犪犾犻狋犪狀犱犐狀狋犲狉犻狋犻狀犕狅犫犻犾犲犆狅犿狌狋犻狀 狔 狔 犵狔 狆犵 ），） ） ）