Structured assurance cases: Three common standards

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2005, Pages 99-108

  Scott Ankrum, T ^a   Kromholz, Alfred H ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY CRITICAL SYSTEMS; SOFTWARE NOTATION;

CODES (STANDARDS); PRODUCT DESIGN; REGULATORY COMPLIANCE; SOFTWARE ENGINEERING;

SYSTEMS ENGINEERING;

EID: 33846988559     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2005.20     Document Type: Conference Paper

References (12)

1. Adelard, 2003. SHIP - Assessment of the Safety of Hazardous Industrial Processes in the Presence of Design Faults. White Paper available at: http://adelard.com/research/ship.htm.
2. Adelard, 2003. The Adelard Safety Case Editor - ASCE. Product description available at: http://adelard.co.uk/software/asce/.
3. Bishop, P.G., 1995. "The SHIP Safety Case Approach." International Conference on Computer Safety, Reliability and Security, Belgirate, Italy.
4. International Organization for Standardization, 2000. ISO 14971 Medical devices - Application of risk management to medical devices.
5. International Organization for Standardization, 2000. ISO 14971 Medical devices - Application Of Risk Management To Medical Devices - Amendment 1: Rationale For Requirements.
6. Kelly, T.P., 1998. Arguing Safety - A Systematic Approach to Managing Safety Cases. University of York, Department of Computer Science.
7. Moore, A.P., J.E. Klinker, and D.M. Mihelcic, 1999. "How to Construct Formal Arguments that Persuade Certifiers." Industrial Strength Formal Methods in Practice, pp. 285-314. Springer Verlag (London), Ltd., eds. M.G. Hinchey and J.P. Bowen. Available at: http://chacs.nrl.navy.mil/ publications/CHACS/1999/1999mooreeca.pdf
8. National Institute of Standards and Technology (MIST), 1999. ISO/IEC-15408 Common Criteria for Information Technology Security Evaluation v2.1. Available at: http://csrc.nist.gov/cc/.
9. National Security Agency, 2003. TIS Security Target. Available at: www.nsa.gov.
10. National Security Agency, 2003. Token ID Station (TIS) Kernel Protection Profile. Available at: www.nsa.gov.
11. RTCA, 1992. RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc.
12. Toulmin, S.E., 1999. The Uses of Argument. Cambridge, UK: Cambridge University Press.