A general theory of security properties (1997)

by A Zakinthinos, E S Lee
Venue:In Proc. of the IEEE Symp. on Security and Privacy