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

第４期 电　　子　　学　　报 Ｖｏｌ．４５　Ｎｏ．４ ２０１７年４月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ａｐｒ．　２０１７ 普适计算环境下的安全访问模型 １，２，３ １，２，３ ２ 周彦伟 ，杨　波 ，张文政 （１．陕西师范大学计算机科学学院，陕西西安７１００６２；２．保密通信重点实验室，四川成都６１００４１； ３．中国科学院信息工程研究所信息安全国家重点实验室，北京 １０００９３） 　　摘　要：　针对移动终端的普及和可信计算技术对移动终端通信模式的影响，为满足普适计算环境的安全访问需 求，本文提出普适计算环境下的安全访问模型，该模型定义了普适计算环境下用户的本地注册、域内访问和域间漫游 ３种机制，并详细介绍了相应的工作流程．安全性证明表明本文机制是ＣＫ安全的；分析显示本文模型在匿名性、安全 性和效率上的优势，使其更加适合在普适计算环境下使用． 关键词：　普适计算环境；安全访问模型；跨域；ＣＫ安全模型 中图分类号：　ＴＰ３９３０８　　　文献标识码：　Ａ　　　文章编号：　０３７２２１１２（２０１７）０４０９５９０７ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１７．０４．０２７ ＳｅｃｕｒｉｔｙＡｃｃｅｓｓＭｏｄｅｌｉｎＰｅｒｖａｓｉｖｅＣｏｍｐｕｔｉｎｇＥｎｖｉｒｏｎｍｅｎｔ １，２，３ １，２，３ ２ ＺＨＯＵＹａｎｗｅｉ ，ＹＡＮＧＢｏ ，ＺＨＡＮＧＷｅｎｚｈｅｎｇ （１．ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＳｈａａｎｘｉＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｘｉ＇ａｎ，Ｓｈａａｎｘｉ７１００６２，Ｃｈｉｎａ； ２．ＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙｏｎＣｏｍｍｕｎｉｃａｔｉｏｎＳｅｃｕｒｉｔｙＬａｂｏｒａｔｏｒｙ，Ｃｈｅｎｇｄｕ，Ｓｉｃｈｕａｎ６１００４１，Ｃｈｉｎａ； ３．ＳｔａｔｅＫｅｙＬａｂｏｒａｔｏｒｙｏｆＩｎｆｏｒｍａｔｉｏｎＳｅｃｕｒｉｔｙ，ＩｎｓｔｉｔｕｔｅｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１０００９３，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　Ｂｅｃａｕｓｅｏｆｔｈｅｐｏｐｕｌａｒｉｔｙａｎｄｔｈｅｃｈａｎｇｅｏｆｃｏｍｍｕｎｉｃａｔｉｏｎｍｏｄｅｆｏｒｍｏｂｉｌｅｔｅｒｍｉｎａｌｓａｎｄｉｎｏｒｄｅｒｔｏ ｍｅｅｔｔｈｅｓｅｃｕｒｉｔｙａｃｃｅｓｓｄｅｍａｎｄｏｆｐｅｒｖａｓｉｖｅｃｏｍｐｕｔｉｎｇｅｎｖｉｒｏｎｍｅｎｔ，ｗｅｐｒｅｓｅｎｔａｓｅｃｕｒｉｔｙａｃｃｅｓｓｍｏｄｅｌｆｏｒｐｅｒｖａｓｉｖｅｃｏｍ ｐｕｔｉｎｇｅｎｖｉｒｏｎｍｅｎｔｗｈｉｃｈｃｏｎｔａｉｎｓｔｈｒｅｅｋｉｎｄｓｏｆａｃｃｅｓｓｍｅｃｈａｎｉｓｍｓ：ｌｏｃａｌｓｅｒｖｉｃｅｄｏｍａｉｎｒｅｇｉｓｔｒａｔｉｏｎ，ｌｏｃａｌｄｏｍａｉｎａｃｃｅｓｓ ａｎｄｃｒｏｓｓｄｏｍａｉｎａｃｃｅｓｓ，ａｎｄｔｈｅｓｐｅｃｉｆｉｃｗｏｒｋｐｒｏｃｅｓｓｅｓｏｆｔｈｅａｂｏｖｅａｃｃｅｓｓｍｅｃｈａｎｉｓｍｓａｒｅｉｎｔｒｏｄｕｃｅｄａｔｔｈｅｓａｍｅｔｉｍｅ． Ｔｈｅｓｅｃｕｒｉｔｙｐｒｏｏｆｓｈｏｗｓｔｈａｔｏｕｒｐｒｏｐｏｓａｌｉｓｐｒ