Injective synchronisation: An extension of the authentication hierarchy

Cremers, C.J.F., Mauw, S., de Vink, E.P. · Theoretical Computer Science · 2006