A Compositional Logic for Proving Security Properties of Protocols (2002)

by Nancy Durgin , John Mitchell , Dusko Pavlovic
Venue:Journal of Computer Security
Citations:50 - 12 self