Kenneth G. Olthoff. The high assurance brake job - a cautionary tale in five scenes. In Darrell M. Kienzle, Mary Ellen Zurbo, Steven J. Greenwald, Cristina Serbau, editors, Proceedings of the 1999 Workshop on New Security Paradigms, Caledon Hills, ON, Canada, September 22-24, 1999. pages 118-140, ACM, 1999. [doi]
@inproceedings{Olthoff99b,
title = {The high assurance brake job - a cautionary tale in five scenes},
author = {Kenneth G. Olthoff},
year = {1999},
doi = {10.1145/335169.335206},
url = {http://doi.acm.org/10.1145/335169.335206},
researchr = {https://researchr.org/publication/Olthoff99b},
cites = {0},
citedby = {0},
pages = {118-140},
booktitle = {Proceedings of the 1999 Workshop on New Security Paradigms, Caledon Hills, ON, Canada, September 22-24, 1999},
editor = {Darrell M. Kienzle and Mary Ellen Zurbo and Steven J. Greenwald and Cristina Serbau},
publisher = {ACM},
isbn = {1-58113-149-6},
}