一种基于权能标识的三方安全协议的设计和分析

作     者：黄建忠 谢长生 朱光喜 罗东健 HUANG Jian-Zhong;XIE Chang-Sheng;ZHU Guang-Xi;LUO Dong-Jian

作者机构：华中科技大学数据存储教育部重点实验室武汉430074 华中科技大学电子与信息工程系武汉430074 

基　　金：国家"973"重大基础研究项目(2004CB318203) 国家自然科学基金(60603074)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2007年第34卷第3期

页      码：50-53,68页

摘      要：随着数据密集型应用的发展,网络存储的安全性成为研究热点。针对大规模存储系统的可扩展性和安全性的要求,本文提出了一种基于三方传输模式的存储安全系统框架,并设计了一种基于权能标识的三方安全协议,该协议的最大特点是传输安全性和访问控制机制二者独立。通过对三方安全协议的形式化分析和推导,从逻辑上验证请求中权能标识的完整性、协议传输过程的正确性,以及消息的真实性,从而确保了三方安全协议的可行性。

主 题 词：海量存储系统 权能标识 三方安全协议 形式化分析 

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

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2007.03.012

馆 藏 号：203153160...