基于信息流控制的HDFS敏感数据安全增强

• 作者: 吴泽智 杜学绘 杨智 陈性元
• 来源期刊: 计算机应用研究
• 关键词: 分布式文件系统 信息流跟踪 安全代数 无干扰 形式化分析
• 年，卷（期）: 2018,（11）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3432-3435
• 页数: 4页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2018.11.055

摘要

针对HDFS已有保护方法如认证授权、数据加密、访问控制和审计方法都不能保证敏感数据端到端的安全性,提出了一个用于HDFS的安全代数语言SALH(security algebra language for HDFS),给出了SALH的语义和语法;采用SALH形式化描述了HDFS信息流跟踪和控制模型并证明了模型的无干扰安全性.最后,给出了原型系统IF-HDFS设计与实现关键技术,原型系统的功能和性能测试结果表明IF-HDFS可实时、有效、准确地实现信息流跟踪与控制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨智	信息工程大学密码工程学院	8	51	4.0	7.0
2	陈性元	信息工程大学密码工程学院	46	247	9.0	14.0
4	杜学绘	信息工程大学密码工程学院	33	194	5.0	13.0
5	吴泽智	信息工程大学密码工程学院	3	2	1.0	1.0