Security policies and security models (1982)

by Joseph A Goguen, José Meseguer
Venue:In Proceedings of the 1982 IEEE Symposium on Security and Privacy (SP ’82