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: 2461
Venue: SIGMOD
Year: 1988
Pagerank: 5.4119882e-05
Overall Rank: 8,564 | 41.25%
DOI: 10.1145/50202.50231

Incoming Non-self Citations Over Time

Authors

1. Subhasish Mazumdar
2. David Stemple (University of Massachusetts Amherst)
3. Tim Sheard

BibTeX Citation

@inproceedings{mazumdar_sigmod88,
        title = {{Resolving the Tension between Integrity and Security Using a Theorem Prover}},
        author = {Mazumdar, Subhasish and Stemple, David and Sheard, Tim},
        series = {{SIGMOD} '88},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/50202.50231},
        url = {https://dl.acm.org/doi/10.1145/50202.50231},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
12,980	Static Detection of Security Flaws in Object-Oriented Databases	1996	SIGMOD	5.093636e-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
3,468	Security and Inference in Multilevel Database and Knowledge-Base Systems	1987	SIGMOD	7.3895239e-05
4,923	On the Modes and Meaning of Feedback to Transaction Designers	1987	SIGMOD	6.4441344e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,088	A Formal Analysis of Information Disclosure in Data Exchange	2004	SIGMOD
2	4,962	Transactions And Integrity Constraints	1985	PODS
3	12,980	Static Detection of Security Flaws in Object-Oriented Databases	1996	SIGMOD
4	4,923	On the Modes and Meaning of Feedback to Transaction Designers	1987	SIGMOD
5	13,226	Coping with Complexity in Automated Reasoning about Database Systems	1985	VLDB
6	2,591	Knowledge-based Integrity Constraint Validation	1986	VLDB
7	13,073	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
8	13,232	Specification and Verification of Abstract Database Types	1984	PODS
9	3,468	Security and Inference in Multilevel Database and Knowledge-Base Systems	1987	SIGMOD
10	6,365	Explainable Security for Relational Databases	2014	SIGMOD