350 руб
Журнал «Системы высокой доступности» №2 за 2011 г.
Статья в номере:
Модели процесса построения безопасных встроенных систем
Ключевые слова: встроенные системы безопасность процесс разработки
Авторы:
В.А. Десницкий - мл. науч. сотрудник, лаборатория проблем компьютерной безопасности, СПИИРАН. E-mail: desnitsky@comsec.spb.ru. А.А. Чечулин - аспирант, лаборатория проблем компьютерной безопасности, СПИИРАН. E-mail: chechulin@comsec.spb.ru
Аннотация:
Рассмотрена абстрактная модель встроенных систем, которая представляет собой обобщенное представление встроенных систем и отражает основные аспекты безопасности, а также задает способ их спецификации. На основе абстрактной модели сформирована модель нарушителя, которая используется для построения автоматизированной системы тестирования встроенных систем
Страницы: 97-101
Список источников
  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.