Formal modelling and analysis of DNP3 secure authentication

Raphael Amoah, Seyit Ahmet Çamtepe, Ernest Foo. Formal modelling and analysis of DNP3 secure authentication. J. Network and Computer Applications, 59:345-360, 2016. [doi]

Abstract

Abstract is missing.