Security goals: Packet trajectories and strand spaces. (2001)

by Joshua D Guttman
Venue:In Roberto Gorrieri and Riccardo Focardi, editors, Foundations of Security Analysis and Design,