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
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
Paul Karger, Suzanne McIntosh, Elaine Palmer, David Toll, Samuel Weber, "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
82 ms
(Ver 3.3 (11022016))