-
题名面向HDFS的可证明安全的单点登录协议
被引量:4
- 1
-
-
作者
王绍人
杜学绘
杨智
-
机构
解放军信息工程大学四院
解放军信息工程大学数学工程与先进计算国家重点实验室
-
出处
《计算机应用研究》
CSCD
北大核心
2016年第7期2152-2156,共5页
-
基金
国家"863"计划资助项目(2015AA016006)
信息保障技术重点实验室开放基金课题资助项目(KJ-13-110)
-
文摘
针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份的单点登录协议。协议采用基于身份的密码技术实现了用户的单点登录,同时根据各个节点上一次为用户提供服务的情况对用户登录票据的流转过程进行了优化,并且运用Capser形式化证明工具对协议的安全性进行了证明。协议降低了HDFS在密钥管理上的开销,解决了用户访问HDFS可能需要频繁认证的问题,提高了登录票据流转的效率,同时协议还具有较高的安全性。理论分析和安全性验证表明,本协议对HDFS的安全高效运行有较大的帮助。
-
关键词
HDFS
基于身份
单点登录
Capser
形式化证明
-
Keywords
HDFS
ID-based
single sign-on
Casper
formal proof
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于专用进程的移动办公安全通信系统研究
被引量:2
- 2
-
-
作者
舒梦奇
常宇驰
白润杰
王绍人
-
机构
解放军信息工程大学
-
出处
《信息网络安全》
2013年第4期59-62,共4页
-
文摘
文章基于对Linux内核的深入研究,提出了安全和简化的移动办公安全通信系统的设计思路,利用多种安全通信协议,结合相关安全机制和加密技术,实现了移动专用网络的安全通信需求。文章的最后介绍了该项目系统设计的主要内容和技术层面的创新点。
-
关键词
移动办公通信
进程控制
LINUX内核
安全通信
-
Keywords
mobile communication
process control
Linux kernel
secure communication
-
分类号
TN915.08
[电子电信—通信与信息系统]
-