%0 Conference Proceedings
%T An Evaluation of Argument Patterns Based on Data Flow
%+ Nagoya University
%A Yamamoto, Shuichiro
%Z Part 2: The 2014 Asian Conference on Availability, Reliability and Security, AsiaARES 2014
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia)
%C Bali, Indonesia
%Y David Hutchison
%Y Takeo Kanade
%Y Bernhard Steffen
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Gerhard Weikum
%Y Linawati
%Y Made Sudiana Mahendra
%Y Erich J. Neuhold
%Y A Min Tjoa
%Y Ilsun You
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Alfred Kobsa
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%I Springer
%3 Information and Communication Technology
%V LNCS-8407
%P 432-437
%8 2014-04-14
%D 2014
%R 10.1007/978-3-642-55032-4_43
%K assurance case
%K argument pattern
%K data flow diagram
%K experimental evaluation
%K smart card application
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X In this paper, we will introduce some of the problem areas that software engineers are susceptible during the creation of assurance cases, based on the author’s educational experience with assurance cases. To mitigate these problems, assurance case patterns are proposed based on Data flow diagrams that help engineers develop assurance cases by reusing those patterns. It is also shown an evaluation result of assurance case pattern application to develop an assurance case for a smart card application system.
%G English
%Z TC 5
%Z TC 8
%2 https://inria.hal.science/hal-01397249/document
%2 https://inria.hal.science/hal-01397249/file/978-3-642-55032-4_43_Chapter.pdf
%L hal-01397249
%U https://inria.hal.science/hal-01397249
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-TC8
%~ IFIP-ICT-EURASIA
%~ IFIP-LNCS-8407