Compile-Time Flow Analysis of Transactions and Methods in Object-Oriented Databases. - Masha Gendler-Fishman; Ehud Gudes (DBSec, 1997)

A compile-time model for safe information flow in object-oriented databases. - Masha Gendler-Fishman; Ehud Gudes (SEC, 1997)