Fred B. Schneider
Language-Based Security: What’s Needed and Why
SAS, 2001.
@inproceedings{SAS-2001-Schneider, author = "Fred B. Schneider", booktitle = "{Proceedings of the Eighth International Static Analysis Symposium}", doi = "10.1007/3-540-47764-0_21", isbn = "3-540-42314-1", pages = "374", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Language-Based Security: What’s Needed and Why}", volume = 2126, year = 2001, }