Number of items: 3.
Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2019)
Secure Authentication in the Grid: A Formal Analysis of DNP3 SAv5.
Journal of Computer Security, 27 (2).
pp. 203-232.
Cremers, Cas and Dehnel-Wild, Martin
(2019)
Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion.
(In Press)
Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2017)
Secure Authentication in the Grid:
A Formal Analysis of DNP3: SAv5.
This list was generated on Wed Oct 9 11:17:35 2024 CEST.