Secure authentication in the grid: A formal analysis of DNP3 SAv5

Cas Cremers, Martin Dehnel-Wild, Kevin Milner. Secure authentication in the grid: A formal analysis of DNP3 SAv5. Journal of Computer Security, 27(2):203-232, 2019. [doi]

Abstract

Abstract is missing.