Classification of security properties (Part I: Information flow (2001)

by R Focardi, R Gorrieri
Venue:In Foundations of Security Analysis and Design 2000