%0 Journal Article
%T Design and analysis of a security protocol for ubiquitous environments<br>普适环境中一种安全协议的设计及分析
%A YANG Fan
%A CAO Qi-ying
%A <br>杨帆
%A 吕庆聪
%A 曹奇英
%J 计算机应用
%D 2008
%I 
%X "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.
%K ubiquitous computing
%K security protocols
%K formal analysis<br>普适计算
%K 安全协议
%K 形式化分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=04E5D59F0E18B8A1DC4FB5AA0492C969&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=DF92D298D3FF1E6E&sid=0344F3FCD862F7B0&eid=6C44E62EE1A19DA5&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=8