О книге
Приведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ. Даны пояснения к использованию инструментария для автоматизации данного вида анализа программного обеспечения.
Для студентов, обучающихся по направлениям подготовки 10.05.01 Компьютерная безопасность, 10.05.03 Информационная безопасность автоматизированных систем, 10.05.07 Противодействие техническим разведкам и изучающих дисциплину «Сертификационные испытания программного обеспечения» в МГТУ им. Н. Э. Баумана.
Список литературы
- Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классифика-ция по уровню контроля отсутствия недекларированных возможностей. Руководящий документ, утвержденный решением председателя ГТК при Президенте Российской Федерации от 04.06.1999 г. № 144.
- Second Edition. A practical handbook of Software construction. Redmond, Washington: Microsoft Press, 2004. URL: http://aroma.vn/web/wp-content/uploads/2016/11/ code-complete-2nd-edition-v413hav.pdf
- Meyers S. Effective C++: 50 Specific Ways to Improve Your Programs and Designs / [Эффективное использование С++. 50 рекомендаций по улучшению ваших программ и проектов]. URL: http://trekerof.com/dlya-programmistov-meyers-s-meyers-s-effective-c-second-edition-50-specific-ways-to-improve-tour-programs-and-design-effektivnoe-ispolzovanie-c-50-rekomendaciy-po-uluchsheniu-vashih-programm-i-proektov-t173580.html
- PVS-Studio: Статический анализатор кода [Электронный ресурс]/ Тула: СиПроВер, 2017. URL: https://www.viva64.com/ru/m
- User Guide and Reference Manual. Scientific Toolworks, Inc., 53 N Main, St. George, ИТ 84770. URL: https://scitools.com/documents/manuals/pdf/understand
