1989
Security model development environment.
Proceedings of the Fifth Annual Computer Security Applications Conference, 1989