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 条

[41] Building and Operating a Real-Time Massive MIMO Testbed - Lessons Learned
Malkowsky, Steffen
Liu, Liang
Owall, Viktor
Edfors, Ove
2017 FIFTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS, AND COMPUTERS, 2017, : 603 - 607
[42] Implementing a High-Assurance Smart-Card OS
Karger, Paul A.
Toll, David C.
Palmer, Elaine R.
McIntosh, Suzanne K.
Weber, Samuel
Edwards, Jonathan W.
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, 2010, 6052 : 51 - +
[43] Estimating software rejuvenation schedules in high-assurance systems
Dohi, T
Gogeva-Popstojanova, K
Trivedi, K
COMPUTER JOURNAL, 2001, 44 (06): : 473 - 485
[44] Copilot: a Do-It-Yourself High-Assurance Compiler
Pike, Lee
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (102): : 1 - 1
[45] New Paradigms and Tools for High-Assurance Systems Modelling
Flammini, Francesco
Mazzocca, Nicola
Vittorini, Valeria
ERCIM NEWS, 2008, (75): : 28 - 30
[46] Design and verification of microprocessor systems for high-assurance applications
Rockwell Collins, Inc., 400 Collins Road NE., Cedar Rapids, IA 52498, United States
Des. and Verification of Microprocessor Syst. for High-Assur. Applic., (1-436):
[47] CROWN-C: a high-assurance service-oriented grid middleware system
Townend, Paul
Looker, Nik
Zhang, Dacheng
Xu, Jie
Li, Jianxin
Zhog, Liang
Huai, Jinpeng
HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 35 - +
[48] Access and integrity control in a public-access, high-assurance configuration management system
Shapiro, JS
Vanderburgh, J
USENIX ASSOCIATION PROCEEDINGS OF THE 11TH USENIX SECURITY SYMPOSIUM, 2002, : 109 - 120
[49] Proving refinement transformations for deriving high-assurance software
Winter, VL
Boyle, JM
IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 68 - 77
[50] Cryptography for a High-Assurance Web-Based Enterprise
Chandersekaran, Coimbatore
Simpson, William R.
WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2013, VOL I, 2013, I : 23 - 28

← 1 2 3 4 5 →