Establishing and preserving protocol security goals (2014)

by Joshua D Guttman
Venue:Journal of Computer Security