The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (2011 vol. 9)
ISSN: 1540-7993
pp: 22-30
Samuel Weber , National Science Foundation
ABSTRACT
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.
INDEX TERMS
security kernels, specification, tools, privacy, test design, organizational management and coordination
CITATION
Paul Karger, Suzanne McIntosh, David Toll, Samuel Weber, Elaine Palmer, "Lessons Learned Building the Caernarvon High-Assurance Operating System", IEEE Security & Privacy, vol. 9, no. , pp. 22-30, January/February 2011, doi:10.1109/MSP.2010.169
98 ms
(Ver )