Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 - Cremers, C; Dehnel-Wild, M; Milner, K (ESORICS, 2017)