Модели процесса построения безопасных встроенных систем
- 1 мл. науч. сотрудник, лаборатория проблем компьютерной безопасности, СПИИРАН
- 2 аспирант, лаборатория проблем компьютерной безопасности, СПИИРАН
Аннотация
Рассмотрена абстрактная модель встроенных систем, которая представляет собой обобщенное представление встроенных систем и отражает основные аспекты безопасности, а также задает способ их спецификации. На основе абстрактной модели сформирована модель нарушителя, которая используется для построения автоматизированной системы тестирования встроенных систем
Для цитирования
Десницкий В.А., Чечулин А.А. Модели процесса построения безопасных встроенных систем // Системы высокой доступности. 2011. № 2. С. 97–101.
Список источников
- Abrams M.D. FAA System Security Testing and Evaluation // MITRE Technical Report 02W0000059, The MITRE Corporation, McLean, VA, May 2003.
- Grand J. Practical Secure Hardware Design for Embedded Systems // Proceedings of the 2004 Embedded Systems Conference, San Francisco, California, April 1, 2004.
- 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.
- Koopman P. Embedded System Security // IEEE Computer, July 2004.
- 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.
- 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.
- SecFutur. - Design of Secure and energy-efficient embedded systems for Future internet applications?. FP7 Project Web site, http://www.secfutur.eu.