A compositional logic for proving security properties of protocols (0)

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