Jeffrey L. Hieb, James H. Graham. Designing Security-Hardened Microkernels For Field Devices. In Mauricio Papa, Sujeet Shenoi, editors, Critical Infrastructure Protection II - Second Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, George Mason University, Arlington, Virginia, USA, March 17-19, 2008, Revised Papers. Volume 290 of IFIP Advances in Information and Communication Technology, pages 129-140, Springer, 2008. [doi]