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

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.
85 ms
(Ver 3.3 (11022016))