Details for the publication Turrini09DT.

Andrea Turrini: Hierarchical and compositional verification of cryptographic protocols. University of Verona, Italy, 2009. URL BIB