D.: A compositional logic for proving security properties of protocols (2003)

by N Durgin, J C Mitchell, Pavlovic
Venue:Journal of Computer Security