Vijayalakshmi Atluri Elisa Bertino Sushil Jajodia Achieving Stricter Correctness Requirements in Multilevel Secure Databases: The Dynamic Case. 135-158 1993 conf/dbsec/1993 DBSec db/conf/dbsec/dbsec93.html#AtluriBJ93