International working group on assurance cases (for Security)

IEEE Security and Privacy

Volumn 4, Issue 3, 2006, Pages 66-68

  Bloomfield, Robin E ^a   Guerra, Sofia ^b   Masera, Marcelo ^c   Miller, Ann ^d   Weinstock, Charles B ^e  

^a CITY UNIVERSITY   (United Kingdom)

^b Adelard ^*  (United Kingdom)

^c JOINT RESEARCH CENTRE   (Italy)

^d MISSOURI UNIVERSITY OF SCIENCE AND TECHNOLOGY   (United States)

^e Software Engineering Institute   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASSURANCE CASES; FUTURE OPPORTUNITIES; INTERNATIONAL WORKING GROUP;

COMMUNICATION; PERSONNEL; SECURITY SYSTEMS; SOCIETIES AND INSTITUTIONS; TECHNICAL PRESENTATIONS;

SECURITY OF DATA;

EID: 33746600770     PISSN: 15407993     EISSN: None     Source Type: Journal    
DOI: 10.1109/MSP.2006.73     Document Type: Review

References (5)

1. R.E. Bloomfield et al., ASCAD - Adelard Safety Case Development Manual, Adelard 1998.
2. P.G. Bishop, R. Bloomfield, and S. Guerra, "The Future of Goal-Based Assurance Cases," Proc. Workshop on Assurance Cases, 2004, pp. 390-395.
3. T. Kelly, Arguing Safety: A Systematic Approach to Managing Safety Cases, PhD thesis, Univ. of York, 1998.
4. S.E. Toulmin, The Uses of Argument, Cambridge Univ. Press, 1958.
5. D. MacKenzie, Mechanizing Proof: Computing, Risk and Trust, MIT Press, 2001.