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

摘要：

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

关键词：HDFS、基于身份、单点登录、Capser、形式化证明

所属期刊栏目：33

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家“863”计划资助项目2015AA016006;信息保障技术重点实验室开放基金课题资助项目KJ-13-110

在线出版日期：2016-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2152-2156