Abstract
Improving the security of computing systems embedded into commercial airplanes has become a major concern for the avionics industry. This paper deals with one of the techniques that can be applied to improve the security of such systems: vulnerability assessment. More precisely, this paper presents experiments carried out on an experimental embedded operating system in order to assess vulnerabilities in its low-level implementation layers. The main characteristics of this embedded system, the platform used to carry out our experiments, as well as the first results of these experiments are described.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lacombe, E., Nicomette, V., Deswarte, Y.: Enforcing Kernel constraints by hardware-assisted virtualization. Journal of Computer Virology 7(1), 1–21 (2011)
Duflot, L., Levillain, O.: ACPI et routine de traitement de la SMI: des limites l’informatique de confiance. In: Symposium sur la Sécurité des Technologies de l’Information et des Communications (SSTIC) (June 2009)
Lone Sang, F., Lacombe, E., Nicomette, V., Deswarte, Y.: Exploiting an I/OMMU vulnerability. In: International Conference on Malicious and Unwanted Software (MALWARE 2010), Nancy, France, October 19-20, pp. 9–16 (2010)
Abrial, J.-R.: Extending B Without Changing it (for Developing Distributed Systems). In: 1st Conference on the B method, Putting into Practice Methods and Tools for Information System Design, pp. 169–190. Institut de Recherche en Informatique de Nantes, France (1996)
Jaeger, E., Hardin, T.: A few remarks about formal development of secure systems. In: 11th IEEE High Assurance Systems Engineering Symposium (HASE), pp. 165–174 (2008)
Sibert, O., Porras, P.A., Lindell, R.: The Intel 80x86 Processor Architecture: Pitfalls for Secure Systems. In: IEEE Symposium on Security and Privacy (1995)
Avizienis, A., et al.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dessiatnikoff, A., Alata, E., Deswarte, Y., Nicomette, V. (2013). Low-Level Attacks on Avionics Embedded Systems. In: Bitsch, F., Guiochet, J., Kaâniche, M. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2013. Lecture Notes in Computer Science, vol 8153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40793-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-40793-2_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40792-5
Online ISBN: 978-3-642-40793-2
eBook Packages: Computer ScienceComputer Science (R0)