Formal Description of Trusted Bebavior Oriented Security System for Big Data

Zhi Yan; Jing Zhan

doi:10.3969/j.issn.1000-0801.2014.07.006

您当前的位置：

首页 >

文章列表页 >

Formal Description of Trusted Bebavior Oriented Security System for Big Data

Topic: Network information security | 更新时间：2024-06-05

- Formal Description of Trusted Bebavior Oriented Security System for Big Data
- Telecommunications Science Vol. 30, Issue 7, Pages: 32-38(2014)
- 作者机构：
  
  1. 北京工业大学计算机学院北京100124
  2. 可信计算北京市重点实验室北京100124
  3. 信息安全等级保护关键技术国家工程实验室北京100124
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.1000-0801.2014.07.006
  CLC：
- Published Online：2014-07，
  
  Published：20 July 2014
- 稿件说明：
移动端阅览
Zhi Yan, Jing Zhan. Formal Description of Trusted Bebavior Oriented Security System for Big Data[J]. Telecommunications science, 2014, 30(7): 32-38.
DOI：

Zhi Yan, Jing Zhan. Formal Description of Trusted Bebavior Oriented Security System for Big Data[J]. Telecommunications science, 2014, 30(7): 32-38. DOI： 10.3969/j.issn.1000-0801.2014.07.006.

摘要

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

Abstract

Usually the process of storing and analyzing with big data is under the framework of Hadoop within the environment of cloud computing while the risks of big data application on cloud derive from cloud service providers and remote users who access data without authorization. Based on the security issues of big data applying on cloud

a security system for big data oriented by trusted behavior was given. The system with Z formal specification was described and the definition of abstract behaviors which contains reading

updating

adding and deleting operation was given. According to the abstract behavior model

behaviors were divided into trusted behavior and malicious behavior and security analysis on each operation was given. By using Z／EVES tool verified and proved the correctness about the description.

关键词

Keywords

references

谢平． Hadoop云计算实战．北京 : 清华大学出版社 , 2008

马媛．基于Hadoop的云计算平台安全机制研究．信息安全与保密通信， 2012 ( 6 ): 89 ～ 92

Roy E , Setty S T V , Kilzer A , et al . Airavat: security and privacy for MapReduce . Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation , San Jose, CA, USA , 2010

Zhang K H , Zhou X Y , Chen Y Y , et al . Sedic: privacy-aware data intensive computing on hybrid clouds . Proceedings of the 18th ACM Conference on Computer and Communications Security , Chicago, Illinois, USA , 2010

Saklikar S . Embedding security and trust primitives within MapReduce . http://www.emc-china.com/rsaconference/2012/en/download http://www.emc-china.com/rsaconference/2012/en/download . 2012

廖淮扣，陈怡海．软件形式规格说明语言-Z ．北京 : 清华大学出版社， 2012

Spivey J M . Sedic: privacy-aware data intensive computing on hybrid clouds . The Z notation: a reference manual . Second Edition. UK : Prentice Hall International（UK）Ltd , 1998

Hasson P , Cooper S . case study involving the use of Z to aid requirements specification in the software engineering course . Proceedings of the 17th Conference on Software Engineering Education and Training , Norfolk, Virginia, USA , 2004

Lam C . Hadoop in Action ．韩冀中译．北京 : 人民邮电出版社 2011

Saaltink M . The Z/EVES system . Proceedings of the 10th International Conference of Z Users on the Z Formal Specification Notation , London, UK , 1997

Meisels I . Software manual for Windows Z/EVES Version 2.1 . http://www.docin.com/p-147668972.html http://www.docin.com/p-147668972.html , 2000

Views

457

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Security access permission authentication simulation of multi-source network big data based on blockchain

Research on theoretical ultimate value of 5G flow residence ratio based on big data

A big data framework for short-term power load forecasting using heterogenous data

Architecture of a new infrastructure for data service in DT era

Big data security features and operation practices

Related Author

Bin LI

Hui HE

Zhongying ZHAO

Jingwei GUO

Hongjia LIU

Bei LI

Wei ZHAO

Guoping XU

Related Institution

Research Institute of China United Network Communications Co., Ltd.

China United Network Communications Group Co., Ltd.

Zhejiang Branch of China United Network Communications Co., Ltd.

Willfar Information Technology Co., Ltd.

China Electronic Power Equipment and Technology Co., Ltd.

⁰