Mike Martin John E. Dobson Enterprise Modeling and Security Policies. 117-150 1990 DBSec db/conf/dbsec/dbsec90.html#MartinD90