Abstract
In the paper we present an approach to the architectural trust case development for DRIVE, the IT infrastructure supporting the processes of drugs distribution and application. The objectives of DRIVE included safer and cheaper drugs distribution and application. A trust case represents an argument supporting the trustworthiness of the system. It is decomposed into claims that postulate some trust related properties. Claims differ concerning their abstraction level and scope. To express a claim we need a language and a conceptual model. We used UML to represent claim models and related context models of the trust case. To specify claims we introduced Claim Definition Language – CDL. The paper gives a deeper description of the above concepts and illustrates how they were applied in practice.
Citations
-
9
CrossRef
-
0
Web of Science
-
1 0
Scopus
Authors (5)
Cite as
Full text
- Publication version
- Accepted or Published Version
- License
- Copyright (Springer-Verlag Berlin Heidelberg 2003)
Keywords
Details
- Category:
- Conference activity
- Type:
- materiały konferencyjne indeksowane w Web of Science
- Title of issue:
- Computer Safety, Reliability, and Security strony 193 - 206
- Publication year:
- 2003
- Bibliographic description:
- Górski J., Jarzębowicz A., Leszczyna R., Miler J., Olszewski, M..: An Approach to Trust Case Development, W: Computer Safety, Reliability, and Security, 2003, Springer, Berlin, Heidelberg,.
- DOI:
- Digital Object Identifier (open in new tab) 10.1007/978-3-540-39878-3_16
- Bibliography: test
-
- EU EUREKA SHIP (Safety of Hazardous Industrial Processes) Project http://www.csr.city.ac.uk/csr_city/projects/ship/ship.html
- Common Methodology for Information Technology Security Evaluation, version 1.0, 1999 open in new tab
- Common Criteria for Information Technology Security Evaluation version 2.1, 1999 (Parts 1,2,3) open in new tab
- ISO/IEC Information Security Management, 2000 open in new tab
- Eriksson, H.-E., Penker, M.: Business Modeling with UML, J. Wiley, 2000
- DRIVE D11.1-3 -Trust Case for DRIVE, D11.1-3, version 1.1, January 2003 open in new tab
- Microsoft Visio 2002 Professional, 2002
- 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 open in new tab
- DRIVE D11.4 -UML-HAZOP, D11.4, version 1.1, January 2003 open in new tab
- Wilson, S. P., Kelly T. P., McDermid J. A.: Safety Case Development: Current Practice, Future Prospects open in new tab
- Adelard Safety Case Development Manual, Adelard, 1998 open in new tab
- 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 open in new tab
- Verified by:
- Gdańsk University of Technology
seen 87 times
Recommended for you
Supporting Assurance by Evidence-based Argument Services
- J. Górski,
- A. Jarzębowicz,
- J. Miler
- + 3 authors