面向行为可信的大数据安全系统形式化描述

摘要：

大数据的存储和分析通常是在云计算环境下利用Hadoop计算框架进行处理,而基于云的大数据安全风险来源于云计算服务商以及远程数据应用者对未授权文件及内容的越权操作.针对云中大数据应用的安全问题,提出了面向行为可信的大数据服务系统.采用Z形式化方法对该系统进行描述,给出了读取、更新、添加及删除操作的抽象行为定义.根据模型中的抽象行为,划分可信行为与恶意行为,并给出了各个操作的安全分析.最后通过Z/EVES工具对该系统描述的正确性进行了证明和验证.

关键词：大数据、云计算安全、形式化、Z语言、可信行为、Hadoop

所属期刊栏目：30

分类号：TP3;D92

资助基金：国家科技重大专项基金资助项目2012ZX03002003;高等学校博士学科点专项科研基金资助项目20131103120001

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

页数：共7页

页码：32-38