Formal Verification of a Dynamic Multi-factor Secure Communication Protocol Conference Paper

name of conference

• 2022 3rd International Conference on Smart Grid and Renewable Energy (SGRE)

authors

• Khatri, Sunil

published proceedings

• 3RD INTERNATIONAL CONFERENCE ON SMART GRID AND RENEWABLE ENERGY (SGRE)

author list (cited authors)

• Scott, K. R., Khatri, S. P., & Ghrayeb, A.

citation count

• 0

complete list of authors

• Scott, Kyler R||Khatri, Sunil P||Ghrayeb, Ali

publication date

• March 2022

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

keywords

• Cyber Security
• Lightweight Cryptography
• Secure Communication
• Smart Grid

Digital Object Identifier (DOI)

• 10.1109/SGRE53517.2022.9774119

start page

• 1

end page

• 6

volume

• 00

URL

• http://dx.doi.org/10.1109/sgre53517.2022.9774119