Modal Logics for Cryptographic Processes. - Ulrik Frendrup; Hans Hüttel; Jesper Nyholm Jensen (EXPRESS, 2002)