Author of the publication

Detection and elimination of inference channels in multilevel relational database systems.

, , , , and . S&P, page 196-205. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a MAC Policy Framework., and . DBSec, volume 51 of IFIP Conference Proceedings, page 165-180. Chapman & Hall, (1995)Integrity Constraint Reformulation for Efficient Validation., and . VLDB, page 417-425. Morgan Kaufmann, (1987)Integrity Maintenance in Object-Oriented Databases., and . VLDB, page 469-480. Morgan Kaufmann, (1992)The Deductive Synthesis of Database Transactions.. ACM Trans. Database Syst., 18 (4): 626-677 (1993)Correct Schema Transformations.. EDBT, volume 1057 of Lecture Notes in Computer Science, page 114-128. Springer, (1996)Consistency Control of Replicated Data in Federated Databases., and . Workshop on the Management of Replicated Data, page 130-132. IEEE Computer Society Press, (1990)An Effective Method for Integrity Constraint Simplification.. ICDE, page 338-345. IEEE Computer Society, (1988)Synthesizing Database Transactions.. VLDB, page 552-565. Morgan Kaufmann, (1990)Data Definition Facilities of Critias., and . ER, page 46-55. IEEE Computer Society and North-Holland, (1985)A Transaction Logic for Database Specification., and . SIGMOD Conference, page 243-250. ACM Press, (1988)SIGMOD Record 17(3), September 1988.