Fred B. Schneider, J. Gregory Morrisett, Robert Harper. A Language-Based Approach to Security. In Reinhard Wilhelm, editor, Informatics - 10 Years Back. 10 Years Ahead. Volume 2000 of Lecture Notes in Computer Science, pages 86-101, Springer, 2001. [doi]
@inproceedings{SchneiderMH01,
title = {A Language-Based Approach to Security},
author = {Fred B. Schneider and J. Gregory Morrisett and Robert Harper},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2000/20000086.htm},
tags = {rule-based, security, systematic-approach},
researchr = {https://researchr.org/publication/SchneiderMH01},
cites = {0},
citedby = {0},
pages = {86-101},
booktitle = {Informatics - 10 Years Back. 10 Years Ahead},
editor = {Reinhard Wilhelm},
volume = {2000},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41635-8},
}