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

作者：王绍人杜学绘杨智

来源：计算机应用研究, 2015, (07): 1-6.

• HDFS
• 基于身份
• 单点登录
• Capser
• 形式化证明 HDFS
• ID-based
• single sign-on
• Casper
• formal proof

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

• 出版日期2015-9-29
• 单位中国人民解放军信息工程大学