An Environment for Security Model Development.

J. Heaney G. Dolsen J. Page An Environment for Security Model Development. 320-329 1990 conf/icsi/1990 ICSI db/conf/icsi/icsi1990.html#HeaneyDP90