A framework for compositional verification of security protocols (Information and Computation, 2006)

(untitled) - Andova, S; Cremers, C; Gjosteen, K; Mauw, S; Mjolsnes, S; Radomirovic, S