期刊
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
卷 132, 期 -, 页码 242-249出版社
ACADEMIC PRESS INC ELSEVIER SCIENCE
DOI: 10.1016/j.jpdc.2017.11.008
关键词
Mutual authentication; Formal proof; Smart grid; Anonymity; Key agreement; Formal verification
资金
- 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]
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据