Design and analysis of a security protocol for ubiquitous environments
普适环境中一种安全协议的设计及分析

"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.