A compilation method for the verification of temporal-epistemic properties of cryptographic protocols. (2009)

by I Boureanu, M Cohen, A Lomuscio
Venue:Journal of Applied Non-Classical Logics,