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

doi:10.3969/j.issn.1000-0801.2014.07.006

Abstract

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.

Key words: big data, cloud computing security, formalization, Z, trusted behavior, Hadoop

Zhi Yan,Jing Zhan. Formal Description of Trusted Bebavior Oriented Security System for Big Data[J]. Telecommunications Science, 2014, 30(7): 32-38.

Figures/Tables 6

References 11

1	谢平． Hadoop云计算实战．北京: 清华大学出版社, 2008
2	马媛．基于Hadoop的云计算平台安全机制研究．信息安全与保密通信， 2012(6): 89～92
3	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
4	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
5	Saklikar S . Embedding security and trust primitives within MapReduce. . 2012
6	廖淮扣，陈怡海．软件形式规格说明语言-Z．北京: 清华大学出版社， 2012
7	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
8	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
9	Lam C . Hadoop in Action．韩冀中译．北京: 人民邮电出版社 2011
10	Saaltink M . The Z/EVES system. Proceedings of the 10th International Conference of Z Users on the Z Formal Specification Notation, London, UK, 1997
11	Meisels I . Software manual for Windows Z/EVES Version 2.1. , 2000

Metrics

Recommended 0

No Suggested Reading articles found!

操作	功能描述	Hadoop中对应操作指令
Read	对所有资源的读取以及显示	cat、count、du、dus、help、ls、lsr、stat、tail、text
Update	对数据资源的更改	getmerge、setrep
	对权限资源的更改	chgrp、chmod、chown
Add	文件级资源的新增操作	copyFromLocal、copyToLocal、cp、get、mkdir、
		moveFromLocal、moveToLocal、put、touchz
Delete	文件级资源的删除操作	expunge、rm、rmr

操作	部分操作	前置条件
Read	DoRead	p?∈dom behavior	∧r?=behavior p？
	IllegalPerson	p??dom behavior
	NotAuthorized	p?∈dom behavior	∧r?≠behavior p？

操作	部分操作	前置条件
Update	DoUpdate	p?∈dom behavior（r?=behavior p？
	IllegalPerson	p??dom behavior
	NotAuthorized	p?∈dom behavior ∧r?≠behavior p？

操作	部分操作	前置条件
Add	DoAdd	p?∈dom behavior
	IllegalPerson	p??dom behavior
	MaxCopies	p?∈dom behavior∧#（｛r?｝	?copies）=maxcopies

操作	部分操作	前置条件
Delete	DoDelete	p?∈dom behavior	∧ r?=behavior p？
	IllegalPerson	p??dom behavior
	NotAuthorized	p?∈dom behavior	∧r?≠behavior p？
	FileNotClear	p?∈dom behavior	∧r?=behavior p？

Formal Description of Trusted Bebavior Oriented Security System for Big Data

RichHTML

PDF下载

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 6

References 11

Related Articles 15

Metrics

Recommended 0

[1]	Lu HAN, Weiyu CHEN, Fei ZHANG, Jianfeng HE, Huaizhen SU. Big data classification method of non relational distributed submission information under differentiated requirements [J]. Telecommunications Science, 2023, 39(6): 114-121.
[2]	Xue HAN. Damage toughness assessment method of power backbone communication network based on power big data [J]. Telecommunications Science, 2023, 39(5): 136-143.
[3]	Yudi SUN. A prediction model of massive 5G network users’ revisit behavior based on telecom big data [J]. Telecommunications Science, 2023, 39(2): 157-162.
[4]	Aihua LI, Xiaobo WU, Chao CHEN, Bin WEI, Yuanyuan SHI. Big data intelligent analysis technology for 5G network [J]. Telecommunications Science, 2022, 38(8): 129-139.
[5]	Gengsheng HUANG, Yuhong HUANG, Manxue GUO, Jianping ZHENG, Xin GE. Architecture of a new infrastructure for data service in DT era [J]. Telecommunications Science, 2022, 38(7): 138-145.
[6]	Panpan LI, Zhengxia XIE, Guangxue YUE, Xin LIU. Research progress and trends of deep learning based wireless communication receiving method [J]. Telecommunications Science, 2022, 38(2): 1-17.
[7]	Haibo ZHAO, Zhijun XIANG, Linsong XIAO. A big data framework for short-term power load forecasting using heterogenous data [J]. Telecommunications Science, 2022, 38(12): 103-111.
[8]	Zhiyong LIU, Zhongjiang HE, Yilong RUAN, Junfeng SHAN, Chao ZHANG. Big data security features and operation practices [J]. Telecommunications Science, 2021, 37(5): 160-169.
[9]	Xiaojun LIU,Juan WU,Xiaoqing XU. Big data architecture analysis and data security fusion technology [J]. Telecommunications Science, 2020, 36(7): 146-155.
[10]	Yujiao LIU,Kunhuang SONG,Xiang WANG. Analysis of economic prosperity index based on big data of electricity [J]. Telecommunications Science, 2020, 36(6): 166-171.
[11]	Weihua CHENG,Xiaorong HE. Quality analysis method of Web browsing based on big data [J]. Telecommunications Science, 2020, 36(11): 174-181.
[12]	Xiaomin TAN,Ai FANG,Bing LIANG,Haojie YANG. Locating causes of abnormality of EPG experience based on decision tree [J]. Telecommunications Science, 2019, 35(8): 158-164.
[13]	Zelin LU,Qiangzhi LI. Evolutionary logic and operational mechanism of E-commerce platform [J]. Telecommunications Science, 2019, 35(7): 152-158.
[14]	Ming LIAO,Ming CHEN,Ji ZHOU,Xiaohua XIANG,Fang LI,Yefen JIAO. DNS log analysis system based on big data fusion algorithm [J]. Telecommunications Science, 2019, 35(5): 129-139.
[15]	Yuanfeng GONG,Yi HUANG. Optimization method of wireless indoor coverage based on big data analysis [J]. Telecommunications Science, 2019, 35(5): 149-154.