Lessons Learned: Building the Caernarvon High-Assurance Operating System

被引：4

作者：

Karger, Paul A. ^{[1
]}

McIntosh, Suzanne K. ^{[1
]}

Palmer, Elaine R. ^{[1
]}

Toll, David C. ^{[1
]}

Weber, Samuel

机构：

[1] IBM TJ Watson Res Ctr, Yorktown Hts, NY 10598 USA

来源：

IEEE SECURITY & PRIVACY | 2011年 / 9卷 / 01期

关键词：

Security; Operating systems; Documentation; Smart cards; Privacy; organizational management and coordination; security kernels; specification; tools; privacy; test design;

D O I：

10.1109/MSP.2010.169

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. © 2011 IEEE.

引用

页码：22 / 30

页数：9

共 50 条

[1] Lessons Learned from Building a High-Assurance Crypto Gateway
Weissman, Clark
Levin, Timothy E.
IEEE SECURITY & PRIVACY, 2011, 9 (01) : 31 - 39
[2] High-assurance timing analysis for a high-assurance real-time operating system
Thomas Sewell
Felix Kam
Gernot Heiser
Real-Time Systems, 2017, 53 : 812 - 853
[3] High-assurance timing analysis for a high-assurance real-time operating system
Sewell, Thomas
Kam, Felix
Heiser, Gernot
REAL-TIME SYSTEMS, 2017, 53 (05) : 812 - 853
[4] Legion: Lessons learned building a grid operating system
Grimshaw, AS
Natrajan, A
PROCEEDINGS OF THE IEEE, 2005, 93 (03) : 589 - 603
[5] A high-assurance measurement repository system
Bastani, FB
Ntafos, S
Yen, IL
Harris, DE
Morrow, RR
Paul, R
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 265 - 272
[6] Initial documentation requirements for a high assurance system: Lessons learned
Clark, PC
Irvine, CE
Levin, TE
Nguyen, TD
Shifflett, DJ
Miller, D
PROCEEDINGS FROM THE SIXTH ANNUAL IEEE SYSTEMS, MAN AND CYBERNETICS INFORMATION ASSURANCE WORKSHOP, 2005, : 434 - 435
[7] Lessons from VAX/SVS for High-Assurance VM Systems
Lipner, Steve
Jaeger, Trent
Zurko, Mary Ellen
IEEE SECURITY & PRIVACY, 2012, 10 (06) : 26 - 35
[8] High-assurance systems
Bhattacharya, S
Onoma, A
Bastani, F
COMMUNICATIONS OF THE ACM, 1997, 40 (01) : 67 - 67
[9] High-Assurance Control
How, Jonathan P.
IEEE CONTROL SYSTEMS MAGAZINE, 2017, 37 (02): : 5 - 13
[10] High-assurance zeroization
Arranz Olmos S.
Barthe G.
Gonzalez R.
Grégoire B.
Laporte V.
Léchenet J.-C.
Oliveira T.
Schwabe P.
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2023, 2024 (01): : 375 - 397

← 1 2 3 4 5 →