A Secure and Lightweight Data Access Control Scheme for Mobile Cloud Computing

2015 ◽  
Author(s):  
Yu Jin ◽  
Chuan Tian ◽  
Heng He ◽  
Fan Wang
Keyword(s):  
Cloud Computing ◽  
Access Control ◽  
Mobile Cloud Computing ◽  
Data Access ◽  
Mobile Cloud ◽  
Data Access Control ◽  
Control Scheme

scholarly journals Effective Data Access Control in Mobile Cloud Computing Using LDSS CP-ABE

NCICCNDA ◽  
2018 ◽  
Author(s):  
Anusha R ◽  
S. Meenakshi Sundaram ◽  
Asha P ◽  
Bhargavi Y ◽  
Bindu Jayaram
Keyword(s):  
Cloud Computing ◽  
Access Control ◽  
Mobile Cloud Computing ◽  
Data Access ◽  
Mobile Cloud ◽  
Data Access Control

Attribute-based data access control in mobile cloud computing: Taxonomy and open issues

2017 ◽  
Vol 72 ◽  
pp. 273-287 ◽  
Author(s):  
Mehdi Sookhak ◽  
F. Richard Yu ◽  
Muhammad Khurram Khan ◽  
Yang Xiang ◽  
Rajkumar Buyya
Keyword(s):  
Cloud Computing ◽  
Access Control ◽  
Mobile Cloud Computing ◽  
Data Access ◽  
Mobile Cloud ◽  
Data Access Control ◽  
Open Issues

Formalization and Verification of TESAC Using CSP

2019 ◽  
Vol 29 (11n12) ◽  
pp. 1741-1760
Author(s):  
Dongzhen Sun ◽  
Huibiao Zhu ◽  
Yuan Fei ◽  
Lili Xiao ◽  
Gang Lu ◽  
...  
Keyword(s):  
Cloud Computing ◽  
Access Control ◽  
Process Analysis ◽  
Computing Time ◽  
Data Access ◽  
Computing Paradigm ◽  
Data Access Control ◽  
Control Scheme ◽  
Critical Issues ◽  
Security Properties

Cloud computing is an emerging computing paradigm in IT industries. The wide adoption of cloud computing is raising concerns about management of data in the cloud. Access control and data security are two critical issues of cloud computing. Time-efficient secure access control (TESAC) model is a new data access control scheme which can minimize many significant problems. This scheme has better performance than other existing models in a cloud computing environment. TESAC is attracting more and more attentions from industries. Hence, the reliability of TESAC becomes extremely important. In this paper, we apply Communication Sequential Processes (CSP) to model TESAC, as well as their security properties. We mainly focus on its data access mechanism part and formalize it in detail. Moreover, using the model checker Process Analysis Toolkit (PAT), we have verified that the TESAC model cannot assure the security of data with malicious users. For the purpose of solving this problem, we introduce a new method similar to digital signature. Our study can improve the security and robustness of the TESAC model.

Sign in / Sign up

Export Citation Format

Share Document