A compositional logic for proving security properties of protocols
Nancy Durgin‚ John Mitchell and Dusko Pavlovic
Journal
J. of Comp. Security
Number
4
Pages
677–721
Volume
11
Year
2004
Nancy Durgin‚ John Mitchell and Dusko Pavlovic