Elisa Bertino Chenyun Dai Hyo-Sang Lim Dan Lin High-Assurance Integrity Techniques for Databases. 244-256 2008 BNCOD http://dx.doi.org/10.1007/978-3-540-70504-8_26 conf/bncod/2008 db/conf/bncod/bncod2008.html#BertinoDLL07