Injective synchronisation: An extension of the authentication hierarchy

Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink. Injective synchronisation: An extension of the authentication hierarchy. Theoretical Computer Science, 367(1-2):139-161, 2006. [doi]

Abstract

Abstract is missing.