Elisa Bertino Sabrina De Capitani di Vimercati Elena Ferrari Pierangela Samarati Exception-Based Information Flow Control in Object-Oriented Systems. 26-65 1998 1 ACM Trans. Inf. Syst. Secur. 1 http://doi.acm.org/10.1145/290163.290167 db/journals/tissec/tissec1.html#BertinoVFS98