350 rub
Journal Highly available systems №2 for 2011 г.
Article in number:
Models of development of secure embedded systems
Keywords: embedded systems security engineering process
Authors:
V.A. Desnitsky, A.A. Chechulin
Abstract:
The paper encompasses embedded systems (ES) security issues investigated in the FP7 European Commission Project SecFutur. Unified process for embedded system engineering is the key object of the research. Being an important element of the process abstract model represents a generalized ES presentation, which reflects the main security aspects and yields ES specification manner. This paper focuses also on an intruder model based on the abstract model; the former is applied to construct partly automated ES testing technique to reveal potential vulnerabilities of the system
Pages: 97-101
References
  1. Abrams M.D. FAA System Security Testing and Evaluation // MITRE Technical Report 02W0000059, The MITRE Corporation, McLean, VA, May 2003.
  2. Grand J. Practical Secure Hardware Design for Embedded Systems // Proceedings of the 2004 Embedded Systems Conference, San Francisco, California, April 1, 2004.
  3. Kocher P., Lee R., Mcgraw G., Ravi S. Security as a new dimension in embedded system design // DAC - 04 - Proceedings of the 41st Design Automation Conference. 2004.
  4. Koopman P. Embedded System Security // IEEE Computer, July 2004.
  5. Ovaska E., Balogh A., Campos S., Noguero A., Pataricza A., Tiensyrjä K. Model and Quality Driven Embedded Systems Engineering // Technical Research Centre of Finland. 2009.
  6. Rae A.J., Wildman L.P. A Taxonomy of Attacks on Secure Devices // Department of Information Technology and Electrical Engineering, University of Queensland, Australia, 2003.
  7. SecFutur. - Design of Secure and energy-efficient embedded systems for Future internet applications?. FP7 Project Web site, http://www.secfutur.eu.