Automatic verification of temporal-epistemic properties of cryptographic protocols. - Boureanu, I; Cohen, M; Lomuscio, A (Journal of Applied Non-Classical Logics, 2009)