Enforceable security policies. (2000)

by F B Schneider
Venue:ACM Transactions on Information and System Security,