Formal Verification of a Dynamic Multi-factor Secure Communication Protocol

Kyler R. Scott, Sunil P. Khatri, Ali Ghrayeb

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

Abstract

In a smart grid, there is much sensitive data that must be transmitted continually. This requires secure communication protocols that are well-suited for use in a smart grid context. A typical smart grid is composed of many agents-like smart meters and control centers-and hence it is necessary that its communication protocols not only are cryptographically secure, but also fast and lightweight. In this paper, we perform formal verification on a novel secure communication protocol to be used in a smart grid. In each protocol iteration, the two parties that wish to communicate will exchange authentication tokens to establish trust and generate session keys. The authentication tokens have three key features: (1) each token is constructed using multiple factors, preventing a single point of failure, (2) the factors are updated dynamically during every protocol iteration, ensuring that authentication keys potentially snooped by an attacker are never reused, and (3) factor updates utilize a True Random Number Generator (TRNG), and therefore cannot be deterministically or algorithmically predicted. This paper describes the protocol as implemented between two arbitrary agents in a smart grid. We realize the protocol in software, and formally verify the protocol using ProVerif. Our results demonstrate that our protocol is a secure and lightweight communication protocol that would be suitable for use in a smart grid.

Original languageEnglish
Title of host publication3rd International Conference on Smart Grid and Renewable Energy, SGRE 2022 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781665479080
DOIs
Publication statusPublished - 2022
Externally publishedYes
Event3rd International Conference on Smart Grid and Renewable Energy, SGRE 2022 - Doha, Qatar
Duration: 20 Mar 202222 Mar 2022

Publication series

Name3rd International Conference on Smart Grid and Renewable Energy, SGRE 2022 - Proceedings

Conference

Conference3rd International Conference on Smart Grid and Renewable Energy, SGRE 2022
Country/TerritoryQatar
CityDoha
Period20/03/2222/03/22

Keywords

  • cyber security
  • lightweight cryptography
  • secure communication
  • smart grid

Fingerprint

Dive into the research topics of 'Formal Verification of a Dynamic Multi-factor Secure Communication Protocol'. Together they form a unique fingerprint.

Cite this