Issue No. 01 - January/February (2011 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MSP.2010.169
Paul Karger , IBM
Suzanne McIntosh , IBM
Elaine Palmer , IBM
David Toll , IBM
Samuel Weber , National Science Foundation
This article features lessons learned in designing, developing, and testing features for a high-assurance smart card operating system. In particular, this paper describes software design, development, and testing process, and the advantages reaped from following established process guidelines. The authors describe the project impact experienced from external influences and count among them market pressure from a rapidly changing commercial landscape which demands agility in order to assure continued funding and product success.
security kernels, specification, tools, privacy, test design, organizational management and coordination
P. Karger, S. McIntosh, D. Toll, S. Weber and E. Palmer, "Lessons Learned Building the Caernarvon High-Assurance Operating System," in IEEE Security & Privacy, vol. 9, no. , pp. 22-30, 2010.