An Encryption Approach Based on Formal Method for Securing Distributed Big Data Storage in Cloud Environment

Abstract

Cloud computing is the technology used to store massive volumes of data (Big data) on servers whose whereabouts are hidden from user of the service. The possibility of sensitive data being accessed by cloud operators is a big source of worry regarding security and privacy. This makes Cloud computing adoption by organizations with users’ sensitive details including the banking sector and government agencies marred by resentment. Therefore, a cryptography approach is proposed, named Secure Efficient Distributed Storage(SecDcloud) model that is designed to obtain an efficient mass distributed service, and is supported by the Modified Alternative Data Distribution (MAD2) Algorithm Modified Secured Data distribution (MSED2) Algorithm as well as Improved Data Conflation (IDCon) Algorithm based on formal method. Our proposed mechanism aims to split, encrypt sensitive data and store the data to the different cloud servers without causing big overheads using formal method which prevents cloud service providers from directly accessing the user’s data. Our experiments, evaluated on security and efficiency of our technique, and is compared with state-ofthe-art Advanced Encryption Standard (AES) Algorithm and the results show that it is capable of effectively defending against the most common cloud-based threats while still maintaining a reasonable amount of processing time.