Judith N. Froscher Catherine Meadows Achieving a Trusted Database Management System Using Parallelism. 151-160 1988 DBSec db/conf/dbsec/dbsec88.html#FroscherM88