Verifying layered security protocols

Verifying layered security protocols

Professor Gavin Lowe

Gibson-Robinson, Kamil & Lowe ‘Verifying layered security protocols’ (Journal of Computer Security, 2015).