Resolving the Tension between Integrity and Security Using a Theorem Prover

Summary: Addresses secrecy-integrity tension in DBs: transactions may leak high-level secrets under constraints. Proposes a formal secret spec revealing structure and equivalence, enabling a theorem prover to detect security lapses at transaction compilation. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2399
Venue: SIGMOD
Year: 1988
Pagerank: 4.5435639e-05
Overall Rank: 8,333 | 42.03%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
12,786	Static Detection of Security Flaws in Object-Oriented Databases	1996	SIGMOD	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
2,621	Security and Inference in Multilevel Database and Knowledge-Base Systems	1987	SIGMOD	8.4419199e-05
4,532	On the Modes and Meaning of Feedback to Transaction Designers	1987	SIGMOD	6.1072875e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
4,640	Transactions And Integrity Constraints	1985	PODS	6.0271345e-05
12,786	Static Detection of Security Flaws in Object-Oriented Databases	1996	SIGMOD	4.1945683e-05
1,083	A Formal Analysis of Information Disclosure in Data Exchange	2004	SIGMOD	0.00014210752
4,532	On the Modes and Meaning of Feedback to Transaction Designers	1987	SIGMOD	6.1072875e-05
13,027	Coping with Complexity in Automated Reasoning about Database Systems	1985	VLDB	4.1945683e-05
2,283	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.105984e-05
12,879	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB	4.1945683e-05
13,033	Specification and Verification of Abstract Database Types	1984	PODS	4.1945683e-05
2,621	Security and Inference in Multilevel Database and Knowledge-Base Systems	1987	SIGMOD	8.4419199e-05
6,606	Explainable Security for Relational Databases	2014	SIGMOD	4.996456e-05