A Logical Formalization of Integrity Policies for Database Management Systems

Frédéric Cuppens, Claire Saurel. A Logical Formalization of Integrity Policies for Database Management Systems. In Sushil Jajodia, William List, Graeme W. McGregor, Leon Strous, editors, Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, Second Working Conference on Integrity and Internal Control in Information Systems: Bridging Business Requirements and Research Results, Warrenton, Virginia, USA, Novembe. Volume 136 of IFIP Conference Proceedings, pages 231-254, Kluwer, 1998.

Authors

Frédéric Cuppens

This author has not been identified. Look up 'Frédéric Cuppens' in Google

Claire Saurel

This author has not been identified. Look up 'Claire Saurel' in Google