From Safety Models to Security Models: Preliminary Lessons Learnt
作者： Pierre Bieber , Julien Brunel
DOI: 10.1007/978-3-319-10557-4_30
关键词:
摘要: We aim at developing common models and tools to assess both safety security of avionics platforms so we studied the adaptation devised for Safety assessment in order analyse security. In this paper, describe a modelling ana analysis approach based on AltaRica language associated tools, illustrate with an case-study. report lessons learnt about convergence divergence points between respect techniques.
springer.com
sci-hub.st 参考文章(9)
Pierre Bieber, Rémi Delmas, Christel Seguin, DALculus: theory and tool for development assurance level allocation international conference on computer safety reliability and security. pp. 43- 56 ,(2011) , 10.1007/978-3-642-24270-0_4
Ketil Stlen, Mass Soldal Lund, Bjrnar Solhaug, Model-Driven Risk Analysis: The CORAS Approach ,(2010)
M. Bozzano, Adolfo Villafiorita, Ove Åkerlund, Pierre Bieber, Christian Bougnol, Eckard Böde, Matthias Bretschneider, Antonella Cavallo, C Castel, M Cifaldi, Alessandro Cimatti, A Griffault, C Kehren, B Lawrence, A Lüdtke, S Metge, C Papadopoulos, R Passarello, T Peikenkamp, P Persson, C Seguin, L Trotta, L Valacca, Gabriele Zacco, ESACS: an integrated methodology for design and safety analysis of complex systems ,(2003)
L. Sagaspe, G. Bel, P. Bieber, F. Boniol, C. Castel, Safe allocation of avionics shared resources high-assurance systems engineering. pp. 25- 33 ,(2005) , 10.1109/HASE.2005.18
Pierre Bieber, Christel Seguin, Safety Analysis of the Embedded Systems with the AltaRica Approach Industrial Use of Formal Methods. pp. 83- 121 ,(2013) , 10.1002/9781118561829.CH3
Kevin Lano, David Clark, Kelly Androutsopoulos, Safety and Security Analysis of Object-Oriented Models international conference on computer safety reliability and security. pp. 82- 93 ,(2002) , 10.1007/3-540-45732-1_10
Alessandro Landi, Mark Nicholson, ARP4754A/ ED-79A - Guidelines for Development of Civil Aircraft and Systems - Enhancements, Novelties and Key Topics SAE International Journal of Aerospace. ,vol. 4, pp. 871- 879 ,(2011) , 10.4271/2011-01-2564
B. Kordy, S. Mauw, S. Radomirovic, P. Schweitzer, Attack-Defense Trees Journal of Logic and Computation. ,vol. 24, pp. 55- 87 ,(2014) , 10.1093/LOGCOM/EXS029
Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen, Model-Driven Risk Analysis Model-Driven Risk Analysis: The CORAS Approach. ,(2011) , 10.1007/978-3-642-12323-8