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

摘要：

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

关键词：分布式文件系统、信息流跟踪、安全代数、无干扰、形式化分析

所属期刊栏目：35

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家 863"计划资助项目2015AA016006,2012AA012704;国家重点研发计划资助项目2016YFB0501900

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

页数：共4页

页码：3432-3435