Keywords

Details

Category:

Conference activity

Type:

publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)

Title of issue:

Computer Safety, Reliability and Security strony 8 - 19

Language:

English

Publication year:

2013

Bibliographic description:

Górski J., Jarzębowicz A., Miler J.: Comparative conformance cases for monitoring multiple implementations of critical requirements// Computer Safety, Reliability and Security/ : Springer, 2013, s.8-19

DOI:

Digital Object Identifier (open in new tab) 10.1007/978-3-642-40793-2_2

Bibliography: test

1. Study on Risk Governance of European Critical Infrastructures in the ICT and Energy Sec- tor, Final Report, AEA Technology, ED05761 (2009) open in new tab
2. Górski, J. : Trust Case -a case for trustworthiness of IT infrastructures. In Cyberspace Se- curity and Defense, NATO Science Series, 196, Springer-Verlag, 125-142 (2005) open in new tab
3. Górski J., Jarzębowicz A., Leszczyna R., Miler J., Olszewski M.: Trust case: justifying trust in IT solution. Reliability Engineering and System Safety 89 (1), 33-47 (2005) open in new tab
4. Ministry of Defence, Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems (2007) open in new tab
5. Yuan T., Kelly T., Argument based approach to computer safety system engineering, Int. J. Critical Computer-Based Systems, 3 (3), 151-167 (2012). open in new tab
6. Palin R., Habli I., Assurance of automotive safety -a safety case approach, Proc. SAFECOMP 2010, LNCS 6351, Springer, 82-96 (2010) open in new tab
7. ISO/IEC 15026-2:2011: Systems and software engineering -Systems and software assur- ance -Part 2: Assurance case (2011) open in new tab
8. Górski, J.: Trust-IT -a framework for trust cases, Workshop on Assurance Cases for Secu- rity -The Metrics Challenge. Proc. of DSN 2007, Edinburgh, UK, 204-209 (2007)
9. Cyra Ł., Górski J., Supporting Compliance with Safety Standards by Trust Case Tem- plates, Proc. ESREL 2007, Stavanger, Norway, pp. 1367-1374 (2007) open in new tab
10. Toulmin S.: The Uses of Argument, Cambridge University Press (1958)
11. Goal Structuring Notation community Standard version 1, 2011. open in new tab
12. Shafer G.: Mathematical Theory of Evidence, Princetown University Press (1976)
13. Cyra Ł., Górski J.: Support for argument structures review and assessment, Reliability En- gineering and System Safety 96, 26-37 (2011) open in new tab
14. Górski J., Jarzębowicz A., Miler J., Witkowicz M., Czyżnikiewicz J., Jar P., Supporting Assurance by Evidence-Based Argument Services, LNCS 7613, Springer, 417-426 (2012) open in new tab
15. Proceedings of the Workshop on Selected Problems in Environmental Risk Management and Emerging Threats, June 2009, Gdansk, Poland (http://kio.pg.gda.pl/ERM2009/) open in new tab
16. Górski J., Jarzębowicz A., Miler J.: Validation of services supporting healthcare standards conformance, Metrology and Measurements Systems XIX (2), 269-282 (2012) open in new tab
17. Regulation (EU) No 994/2010 of the European Parliament and of the Council of 20 October 2010 concerning measures to safeguard security of gas supply and repealing Council Directive 2004/67/EC (2010) open in new tab
18. European Institute of Public Administration, CAF-Common Assessment Framework, http://www.eipa.eu/en/topic/show/&tid=191 (2012) open in new tab

show (18) hide

Verified by:

Gdańsk University of Technology