Security policies and security models (1982)

by J A Goguen, J Meseguer
Venue:In Proc. IEEE Symposium on Security and Privacy