Design and analysis of a security protocol for ubiquitous environments

• Information security • Previous Articles Next Articles

Design and analysis of a security protocol for ubiquitous environments

Received:2008-01-28 Revised:2008-03-26 Online:2008-07-01 Published:2008-07-01
Contact: Fan Yang

普适环境中一种安全协议的设计及分析

杨帆吕庆聪曹奇英

东华大学

通讯作者: 杨帆

Abstract

Abstract: "Unobtrusiveness" is the essential property of ubiquitous computing. We presented a Security Protocol for Ubiquitous Environments (SPUE), which provided data authentication, and data freshness besides unobtrusiveness. Using both asymmetric-key and symmetric-key algorithms made the protocol more secure and enough for severe resource constraints, limited computation, memory, and communication capacities. Furthermore, with modeling the protocol by Communicating Sequential Processes (CSP) method and checking it with Failures Divergence's Refinement (FDR), it has been verified that security properties can be guaranteed.

Key words: ubiquitous computing, security protocols, formal analysis

摘要： 普适环境需要满足“透明”“ 无需人干预的”性质，提出了一种普适计算环境下的安全协议——SPUE。它满足数据认证、数据新鲜性等安全特性，同时满足普适计算的“ 无需人干预的”性质。协议采用非对称密钥与对称密钥相结合的方法，在解决普适计算能量、计算能力限制同时增加了安全性，使其更适合于普适计算环境；同时运用通信顺序进程(CSP)方法对安全协议建模，采用FDR对模型进行检测，确保了协议能够满足各项安全性能。

关键词: 普适计算, 安全协议, 形式化分析

Fan Yang . Design and analysis of a security protocol for ubiquitous environments[J]. Journal of Computer Applications.

杨帆吕庆聪曹奇英. 普适环境中一种安全协议的设计及分析[J]. 计算机应用.

[1]	XU Jun. About the secret sharing scheme applied in the Pi calculus [J]. Journal of Computer Applications, 2013, 33(11): 3247-3251.
[2]	LIU Peng ZHANG Changhong OU Qingyu. Authentication protocol of mobile RFID based on Hash function [J]. Journal of Computer Applications, 2013, 33(05): 1350-1352.
[3]	Bin WANG Wen ZOU Jin-fang SHENG Ying SUN. New context caching replacement algorithm in ubiquitous computing [J]. Journal of Computer Applications, 2011, 31(08): 2075-2078.
[4]	ZHOU Chao ZHOU Cheng GUO Liang. Security analysis and improvement of IEEE 802.1X [J]. Journal of Computer Applications, 2011, 31(05): 1265-1270.
[5]	Gao Yue-Xiang . Design and formal analysis of certified E-mail protocol [J]. Journal of Computer Applications, 2008, 28(8): 1928-1930.
[6]	Cheng XU . Formal analysis of IEEE 802.11i [J]. Journal of Computer Applications, 2008, 28(5): 1125-1127.
[7]	. Non-repudiation protocols model based on first-order logic [J]. Journal of Computer Applications, 2007, 27(9): 2189-2193.
[8]	. A single sign-on scheme supporting double authentication method [J]. Journal of Computer Applications, 2007, 27(3): 595-596.
[9]	;;. A New Approach for Formal Analyzing Encryption Protocols [J]. Journal of Computer Applications, 2006, 26(5): 1087-1089.
[10]	. Formal analysis technology of non-repudiation protocols [J]. Journal of Computer Applications, 2006, 26(11): 2610-2614.
[11]	ZHAO Hua-wei,LI Da-xing,QIN Jing. Time-dependent extension logic of secure protocols [J]. Journal of Computer Applications, 2005, 25(10): 2272-2275.
[12]	CHEN Wen-guang,DONG Shi-hai,YUE Wei-ning,TAN Ji-zhi,WANG Heng. Research on man-machine interaction of handheld mobile computing [J]. Journal of Computer Applications, 2005, 25(10): 2219-2223.