Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases.

Thomas D. Garvey Teresa F. Lunt Xiaolei Qian Mark E. Stickel Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases. 149-168 1992 conf/dbsec/1992 DBSec db/conf/dbsec/dbsec92.html#GarveyLQS92