论文部分内容阅读
研究针对敏感数据端到端安全性无法保障问题,该文提出了基于HDFS的安全代数语言SALH,对SALH语义、语法进行介绍,并应用SALH对HDFS信息流跟踪、控制模型进行形式化描述,并提出了IF-HDFS原型系统设计及实现途径,经过性能测试及系统功能测试,结果证实IF-HDFS能够准确、实时完成信息流跟踪、控制。