@inproceedings{VLDB-1977-DownsP,
	author        = "Deborah Downs and Gerald J. Popek",
	booktitle     = "{Proceedings of the Third International Conference on Very Large Data Bases}",
	cdrom         = "VLDB77/P507.PDF",
	pages         = "507--514",
	publisher     = "{IEEE Computer Society}",
	title         = "{A Kernel Design for a Secure Data Base Management System}",
	year          = 1977,
}