Conference paper Open Access
Developing Assurance Cases for D-MILS Systems
Hawkins, Richard; Kelly, Tim; Habli, Ibrahim
When using a D-MILS approach for high-assurance systems it is often necessary to develop an assurance case, containing an argument supported by evidence, that demonstrates that the system has the required assurance properties (such as security or safety). In this paper, we describe our approach for developing a
D-MILS assurance case, which is based upon a set of modular assurance case patterns that are automatically instantiated using a model-based instantiation process. We illustrate the application of our approach using a small cryptographic controller example and explain the benefits brought by our approach in support of DMILS.
| Name | Size | |
|---|---|---|
|
11-mils15_submission_2.pdf
md5:b37870c134dc45ac69a54c16df76b391 |
1.4 MB | Download |
| All versions | This version | |
|---|---|---|
| Views | 145 | 145 |
| Downloads | 35 | 35 |
| Data volume | 47.3 MB | 47.3 MB |
| Unique views | 126 | 126 |
| Unique downloads | 29 | 29 |
- Publication date:
- January 20, 2015
- DOI:
-
- Keyword(s):
- D-MILS
- Meeting:
- International Workshop on MILS: Architecture and Assurance for Secure Systems, Amsterdam, 20 January 2015
- Communities:
- License (for files):
- Creative Commons Attribution 4.0 International