Richard A. Kemmerer. Formal Specification and Verification Techniques for Secure Database Systems. In DBSec. pages 229-240, 1987.
@inproceedings{Kemmerer87:0, title = {Formal Specification and Verification Techniques for Secure Database Systems}, author = {Richard A. Kemmerer}, year = {1987}, tags = {database}, researchr = {https://researchr.org/publication/Kemmerer87%3A0}, cites = {0}, citedby = {0}, pages = {229-240}, booktitle = {DBSec}, }