%0 Journal Article %1 journals/ieeesp/KargerMPTW11 %A Karger, Paul A. %A McIntosh, Suzanne %A Palmer, Elaine R. %A Toll, David C. %A Weber, Samuel %D 2011 %J IEEE Security & Privacy %K dblp %N 1 %P 22-30 %T Lessons Learned: Building the Caernarvon High-Assurance Operating System. %U http://dblp.uni-trier.de/db/journals/ieeesp/ieeesp9.html#KargerMPTW11 %V 9

@article{journals/ieeesp/KargerMPTW11, added-at = {2016-03-09T00:00:00.000+0100}, author = {Karger, Paul A. and McIntosh, Suzanne and Palmer, Elaine R. and Toll, David C. and Weber, Samuel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/282fa3c9aa58b8e921bfb8b3611096925/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MSP.2010.169}, interhash = {2a6acd74edb1163d2597664a68641e17}, intrahash = {82fa3c9aa58b8e921bfb8b3611096925}, journal = {IEEE Security & Privacy}, keywords = {dblp}, number = 1, pages = {22-30}, timestamp = {2016-03-10T10:33:11.000+0100}, title = {Lessons Learned: Building the Caernarvon High-Assurance Operating System.}, url = {http://dblp.uni-trier.de/db/journals/ieeesp/ieeesp9.html#KargerMPTW11}, volume = 9, year = 2011 }