普适计算环境下的安全访问模型  

Security Access Model in Pervasive Computing Environment

作　　者：周彦伟[1,2,3] 杨波[1,2,3] 张文政[2] 

机构地区：[1]陕西师范大学计算机科学学院,陕西西安710062 [2]保密通信重点实验室,四川成都610041 [3]中国科学院信息工程研究所信息安全国家重点实验室,北京100093

出　　处：《电子学报》2017年第4期959-965,共7页Acta Electronica Sinica

基　　金：国家自然科学基金(No.61572303;No.61272436;No.61402275);中国科学院信息工程研究所信息安全国家重点实验室基金(No.2015-MS-10);保密通信重点实验室基金(No.9140C110206140C11050);中央高校基本科研业务费专项资金(No.GK201504016);陕西师范大学优秀博士论文基金(No.X2014YB01)

摘　　要：针对移动终端的普及和可信计算技术对移动终端通信模式的影响,为满足普适计算环境的安全访问需求,本文提出普适计算环境下的安全访问模型,该模型定义了普适计算环境下用户的本地注册、域内访问和域间漫游3种机制,并详细介绍了相应的工作流程.安全性证明表明本文机制是CK安全的;分析显示本文模型在匿名性、安全性和效率上的优势,使其更加适合在普适计算环境下使用.Because of the popularity and the change of communication mode for mobile terminals and in order to meet the security access demand of pervasive computing environment, we present a security access model for pervasive com- puting environment which contains three kinds of access mechanisms：local service domain registration, local domain access and cross-domain access, and the specific work processes of the above access mechanisms are introduced at the same time. The security proof shows that our proposal is provably secure in the CK security model and has superiority in anonymity, se- curity and efficiency, which make it more suitable for pervasive computing environment.

关 键 词：普适计算环境 安全访问模型 跨域 CK安全模型 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]