Abstrakt
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.
Cytowania
-
9
CrossRef
-
0
Web of Science
-
1 0
Scopus
Autorzy (5)
Cytuj jako
Pełna treść
- Wersja publikacji
- Accepted albo Published Version
- Licencja
- Copyright (Springer-Verlag Berlin Heidelberg 2003)
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- materiały konferencyjne indeksowane w Web of Science
- Tytuł wydania:
- Computer Safety, Reliability, and Security strony 193 - 206
- Rok wydania:
- 2003
- Opis bibliograficzny:
- 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:
- Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1007/978-3-540-39878-3_16
- Bibliografia: 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 otwiera się w nowej karcie
- Common Criteria for Information Technology Security Evaluation version 2.1, 1999 (Parts 1,2,3) otwiera się w nowej karcie
- ISO/IEC Information Security Management, 2000 otwiera się w nowej karcie
- 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 otwiera się w nowej karcie
- 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 otwiera się w nowej karcie
- DRIVE D11.4 -UML-HAZOP, D11.4, version 1.1, January 2003 otwiera się w nowej karcie
- Wilson, S. P., Kelly T. P., McDermid J. A.: Safety Case Development: Current Practice, Future Prospects otwiera się w nowej karcie
- Adelard Safety Case Development Manual, Adelard, 1998 otwiera się w nowej karcie
- 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 otwiera się w nowej karcie
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 83 razy
Publikacje, które mogą cię zainteresować
Supporting Assurance by Evidence-based Argument Services
- J. Górski,
- A. Jarzębowicz,
- J. Miler
- + 3 autorów