Enforceable security policies (2000)

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