An authorized identity authentication-based data access control scheme in cloud

2016 ◽  
Author(s):  
Jian Shen ◽  
Dengzhi Liu ◽  
Qi Liu ◽  
Baowei Wang ◽  
Zhangjie Fu
Keyword(s):  
Access Control ◽  
Data Access ◽  
Identity Authentication ◽  
Data Access Control ◽  
Control Scheme

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.

Novel private data access control scheme suitable for mobile edge computing

2021 ◽  
Vol 18 (11) ◽  
pp. 92-103
Author(s):  
Wei Liang ◽  
Songyou Xie ◽  
Jiahong Cai ◽  
Chong Wang ◽  
Yujie Hong ◽  
...  
Keyword(s):  
Access Control ◽  
Data Access ◽  
Edge Computing ◽  
Mobile Edge Computing ◽  
Data Access Control ◽  
Private Data ◽  
Control Scheme
Sign in / Sign up

Export Citation Format

Share Document