Journal
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
Volume 132, Issue -, Pages 242-249Publisher
ACADEMIC PRESS INC ELSEVIER SCIENCE
DOI: 10.1016/j.jpdc.2017.11.008
Keywords
Mutual authentication; Formal proof; Smart grid; Anonymity; Key agreement; Formal verification
Categories
Funding
- National Natural Science Foundation of China [61300220, 61572013, 61572188]
- Scientific Research Fund of Hunan Provincial Education Department [16B089]
- University Distinguished Young Research Talent Training Program of Fujian Province
- University Grants Commission, India through UGC-BSR [3(A)(60)31]
Ask authors/readers for more resources
Smart grid (SG) is an agenda of interest to governments and researchers, as a successful cyberattack against smart grids (e.g. compromise of smart meters) can have devastating real-world consequences, ranging from financial loss to fatalities. In this paper, we present a novel and secure message authentication scheme, which provides mutual authentication and key establishment for smart grid. The scheme is also designed to preserve the identities of the gateways during message transmission. We then prove the security of the scheme, as well as verifying the security properties using Proverif and demonstrating the utility of the scheme using simulations. (C) 2017 Elsevier Inc. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available