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