Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
Software Development and Proofs of Multi-Level Security
ICSE, 1976.
@inproceedings{ICSE-1976-NeumannFLR,
acmid = "807715",
author = "Peter G. Neumann and Richard J. Feiertag and Karl N. Levitt and Lawrence Robinson",
booktitle = "{Proceedings of the Second International Conference on Software Engineering}",
editor = "Raymond T. Yeh and C. V. Ramamoorthy",
pages = "421--428",
publisher = "{IEEE Computer Society}",
title = "{Software Development and Proofs of Multi-Level Security}",
year = 1976,
}