Design and analysis of a security protocol for ubiquitous environments
Author(s): YANG Fan, Lü Qing-cong, CAO Qi-ying
Pages: 1802-1806
Year: 2008 Issue: 7
Journal: JOURNAL OF COMPUTER APPLICATIONS
Keyword: 普适计算; 安全协议; 形式化分析;
Abstract: 普适环境需要满足"透明"" 无需人干预的"性质,提出了一种普适计算环境下的安全协议--SPUE.它满足数据认证、数据新鲜性等安全特性,同时满足普适计算的" 无需人干预的"性质.协议采用非对称密钥与对称密钥相结合的方法,在解决普适计算能量、计算能力限制同时增加了安全性,使其更适合于普适计算环境;同时运用通信顺序进程(CSP)方法对安全协议建模,采用FDR对模型进行检测,确保了协议能够满足各项安全性能.
Pages: 1802-1806
Year: 2008 Issue: 7
Journal: JOURNAL OF COMPUTER APPLICATIONS
Keyword: 普适计算; 安全协议; 形式化分析;
Abstract: 普适环境需要满足"透明"" 无需人干预的"性质,提出了一种普适计算环境下的安全协议--SPUE.它满足数据认证、数据新鲜性等安全特性,同时满足普适计算的" 无需人干预的"性质.协议采用非对称密钥与对称密钥相结合的方法,在解决普适计算能量、计算能力限制同时增加了安全性,使其更适合于普适计算环境;同时运用通信顺序进程(CSP)方法对安全协议建模,采用FDR对模型进行检测,确保了协议能够满足各项安全性能.
Related Articles