An approach to trust case development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2788, Issue , 2003, Pages 193-206

  Gorski J ^a   Jarzebowicz A ^b   Leszczyna, R ^b   Miler, J ^b   Olszewski, M ^b  

^a GDANSK UNIVERSITY OF TECHNOLOGY   (Poland)

^b Project IST DRIVE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

ABSTRACTION LEVEL; CONCEPTUAL MODEL; CONTEXT MODELS; IT INFRASTRUCTURES; TRUST CASE;

NETWORK SECURITY;

EID: 34848838710     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39878-3_16     Document Type: Article

References (15)

1. Defence Standard 00-56, http://wheelie.tees.ac.uk/hazop/html/56.htm
2. EU EUREKA SHIP (Safety of Hazardous Industrial Processes) Project http://www.csr.city.ac.uk/csr_city/projects/ship/ship.html
3. Safety Case Assessment Criteria http://www.hse.gov.uk/railway/criteria/
4. Common Methodology for Information Technology Security Evaluation, version 1.0, 1999
5. Common Criteria for Information Technology Security Evaluation version 2.1, 1999 (Parts 1,2,3)
6. ISO/IEC Information Security Management, 2000
7. Eriksson, H.-E., Penker, M.: Business Modeling with UML, J. Wiley, 2000
8. DRIVE D11.1-3-Trust Case for DRIVE, D11.1-3, version 1.1, January 2003
9. Microsoft Visio 2002 Professional, 2002
10. Górski J., Jarzȩbowicz A.: Detecting defects in object-oriented diagrams using UML-HAZOP, Found. of Comp. and Decision Sciences, vol. 27, no. 4, 2002
11. DRIVE D11.4-UML-HAZOP, D11.4, version 1.1, January 2003
12. Wilson, S. P., Kelly T. P., McDermid J. A.: Safety Case Development: Current Practice, Future Prospects
13. Adelard Safety Case Development Manual, Adelard, 1998
14. Kelly, T.: Arguing Safety A Systematic Approach to Managing Safety Cases (1998). PhD Thesis, University of York, UK, YCST 99/05, 1998, available at http://www.cs.york.ac.uk/ftpdir/reports/YCST-99-05.ps.gz
15. ASCE (Adelard Safety Case Editor) homepage http://www.adelard.com/software/asce