面向HDFS的可证明安全的单点登录协议

• 作者: 杜学绘 杨智 王绍人
• 来源期刊: 计算机应用研究
• 关键词: HDFS 基于身份 单点登录 Capser 形式化证明
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2152-2156
• 页数: 5页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.07.052

摘要

针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份的单点登录协议.协议采用基于身份的密码技术实现了用户的单点登录,同时根据各个节点上一次为用户提供服务的情况对用户登录票据的流转过程进行了优化,并且运用Capser形式化证明工具对协议的安全性进行了证明.协议降低了HDFS在密钥管理上的开销,解决了用户访问HDFS可能需要频繁认证的问题,提高了登录票据流转的效率,同时协议还具有较高的安全性.理论分析和安全性验证表明,本协议对HDFS的安全高效运行有较大的帮助.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜学绘		73	350	10.0	12.0
5	杨智		10	62	4.0	7.0
9	王绍人		2	7	1.0	2.0