dc.contributor.author |
Feather, M. S. |
en_US |
dc.date.accessioned |
2004-09-17T07:27:17Z |
|
dc.date.available |
2004-09-17T07:27:17Z |
|
dc.date.issued |
2002-09-09 |
en_US |
dc.identifier.citation |
Requirements for High Assurance Systems Workshop |
en_US |
dc.identifier.citation |
Essen, Germany |
en_US |
dc.identifier.clearanceno |
02-1960 |
en_US |
dc.identifier.uri |
http://hdl.handle.net/2014/9804 |
|
dc.description.abstract |
This position paper suggests the use of a quantitative risk-based model to help support reeasoning and decision making that spans many of the critical properties such as security, safety, survivability, fault tolerance, and real-time. |
en_US |
dc.format.extent |
3133997 bytes |
|
dc.format.mimetype |
application/pdf |
|
dc.language.iso |
en_US |
|
dc.subject.other |
requirements risk decision-making tradeoffs prioritization quantitative models |
en_US |
dc.title |
A quantitative risk-based model for reasoning over critical system properties |
en_US |