Geoffrey Smith, Dennis M. Volpano
Secure Information Flow in a Multi-Threaded Imperative Language
POPL, 1998.
@inproceedings{POPL-1998-SmithV,
author = "Geoffrey Smith and Dennis M. Volpano",
booktitle = "{Proceedings of the 25th Symposium on Principles of Programming Languages}",
doi = "10.1145/268946.268975",
editor = "David B. MacQueen and Luca Cardelli",
isbn = "0-89791-979-3",
pages = "355--364",
publisher = "{ACM}",
title = "{Secure Information Flow in a Multi-Threaded Imperative Language}",
year = 1998,
}