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

作     者：杨帆 吕庆聪 曹奇英 YANG Fan;Lü Qing-cong;CAO Qi-ying

作者机构：东华大学信息科学与技术学院上海201620 东华大学计算机科学与技术学院上海201620 

基　　金：教育部科学技术研究重点项目(104086) 

出 版 物：《计算机应用》 (journal of Computer Applications)

年 卷 期：2008年第28卷第7期

页      码：1802-1806页

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

主 题 词：普适计算 安全协议 形式化分析 

学科分类：0839[0839] 08[工学] 

核心收录：

馆 藏 号：203848887...