Steve Barker Deductive Database Security. 103-114 2002 conf/dbsec/2002 DBSec db/conf/dbsec/dbsec2002.html#Barker02