KEY APPLICATIONS FOR HIGH-ASSURANCE SYSTEMS

Authors
YEN IL PAUL R WINTER VL COVAN JM DALTON LJ ALKALAI L TAI AT HARPER R FLAHIVE B TSAI WT MOJDEHBAKHSH R RAYADURGAM S MORI K LOWRY MR
Citation
Il. Yen et al., KEY APPLICATIONS FOR HIGH-ASSURANCE SYSTEMS, Computer, 31(4), 1998, pp. 35
Citations number
NO
Categorie Soggetti
Computer Science Software Graphycs Programming","Computer Science Hardware & Architecture","Computer Science Hardware & Architecture","Computer Science Software Graphycs Programming
Journal title
Computer → ACNP
ISSN journal
00189162
Volume
31
Issue
4
Year of publication
1998
Database
ISI
SICI code
0018-9162(1998)31:4<35:KAFHS>2.0.ZU;2-E
Abstract
Although they address diverse domains, these six reports reveal a set of common criteria for high assurance. Generally speaking, the critica l criteria are reliability, availability, saferty timeliness, security , and evolvability. These reports also identify areas for study.