Abstrakt
The paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
Autorzy (4)
Cytuj jako
Pełna treść
pobierz publikację
pobrano 40 razy
- Wersja publikacji
- Accepted albo Published Version
- Licencja
- Copyright (2008 The authors and IOS Press)
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Tytuł wydania:
- The 8th International Workshop on Computational Models of Natural Argument (CMNA 8), Monday July 21, 2008, Patras, Greece : 18th European Conference on Artificial Intelligence strony 26 - 30
- Rok wydania:
- 2008
- Opis bibliograficzny:
- Górski J., Cyra Ł., Jarzębowicz A., Miler J.: Representing and appraising Toulmin model arguments in trust cases// The 8th International Workshop on Computational Models of Natural Argument (CMNA 8), Monday July 21, 2008, Patras, Greece : 18th European Conference on Artificial Intelligence/ ed. Floriana Grasso [et al.]. [Patras, Greece: University of Patras], 2008, s.26-30
- Bibliografia: test
-
- Ministry of Defence Directorate of Standardisation. Defence Standard 00-55 Issue 2: The procurement of safety critical software in defense systems. otwiera się w nowej karcie
- Railways (Safety Case) Regulations 2000 Health and Safety Executive. otwiera się w nowej karcie
- R. Maguire, Safety cases and safety reports, Ashgate Publishing Ltd., UK, 2006. otwiera się w nowej karcie
- P. Bishop, R. Bloomfield, A Methodology for Safety Case Development, Safety-Critical Systems Symp, Birmingham, 1998. otwiera się w nowej karcie
- T. Kelly, Arguing Safety -A Systematic Approach to Managing Safety Cases, PhD Thesis, University of York, 1998. otwiera się w nowej karcie
- J. Górski, A. Jarzębowicz, R. Leszczyna, J. Miler, M. Olszewski, 'Trust Case: justifying trust in an IT solution', Reliability Engineering and System Safety, Vol. 89 (2005), pp. 33-47. otwiera się w nowej karcie
- J. Górski, Trust-IT -a framework for trust cases, Workshop on Assurance Cases for Security -The Metrics Challenge, DSN 2007 The 37th Annual IEEE/IFIP Intern. Conf. on Dependable Systems and Networks, June 25 -28, Edinburgh, UK, 2007.
- L. Strigini, Formalism and Judgement in Assurance Cases, DSN 2004 Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, Florence, Italy 2004.
- S. Toulmin, The Uses of Argument, Cambridge University Press, 1958, Updated Edition, 2003.
- J. Katzav, C. Reed, 'On Argumentation Schemes and the Natural Classification of Arguments', Argumentation 18 (2), 2004, pp. 239-259. otwiera się w nowej karcie
- H. Prakken, AI & Law, Logic and Argument Schemes, International Congress of Comparative Cultures and Legal Systems, Mexico City, 2004. otwiera się w nowej karcie
- D. Walton, 'Justification of Argument Schemes', Australasian Journal of Logic, 3, 2005, pp. 1-13. otwiera się w nowej karcie
- D. Walton, Fundamentals of Critical Argumentation, Cambridge University Press, 2005
- PIPS project website -http://www.pips.eu.org otwiera się w nowej karcie
- Ł. Cyra, J. Górski, Supporting expert assessment of argument structures in trust cases, 9 th International Probabilistic Safety Assessment and Management Conference, Hong Kong, 2008. otwiera się w nowej karcie
- Ł. Cyra, J. Górski, Expert assessment of arguments: a method and its experimental evaluation, Safecomp 2008, Newcastle, 2008 (accepted). otwiera się w nowej karcie
- A. Josang, T. Grandison, Conditional Inference in Subjective Logic, proc. 6 th International Conference on Information Fusion, Cairns, Australia 2003. otwiera się w nowej karcie
- Ł. Cyra, J. Górski, Supporting compliance with safety standards by trust case templates, p;roc. ESREL 2007, Stavanger, Norway, 2007. otwiera się w nowej karcie
- Information Assurance Group homepage -http://iag.pg.gda.pl/iag/ otwiera się w nowej karcie
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 108 razy