Smart grid data access control scheme based on blockchain

2020 ◽  
Vol 36 (4) ◽  
pp. 1773-1784
Author(s):  
Lihua Zhang ◽  
Jingjing Li ◽  
Fangzhou Hu ◽  
Yang Huang ◽  
Jiayi Bai
Keyword(s):  
Access Control ◽  
Smart Grid ◽  
Data Access ◽  
Grid Data ◽  
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.

Sign in / Sign up

Export Citation Format

Share Document