@inproceedings{ieee00,
    AUTHOR = {Peter {G.} Neumann},
    TITLE = {Robust Nonproprietary Software},
    BOOKTITLE = {{IEEE} Symposium on Security and Privacy},
    YEAR = {2000},
    ADDRESS = {Oakland, {CA}},
    MONTH = {May},
    URL = {http://www.csl.sri.com/papers/ieee00/}
}