Описание книги
Изложены теоретические и практические основы создания надежного и безопасного программного обеспечения информационных систем. Приведены правила, этапы и технологии построения на-дежного программного обеспечения. Рассмотрены требования к функциональной надежности и архитектуре программного обеспечения критически важных систем, методы защиты программного обеспечения от вредонос-ных программ, методы обеспечения безопасности программ, реализуемые на этапах испытания программных комплексов, методы и средства тестирования и защиты программ от исследования недобросовестными конку-рентами и злоумышленниками. Представлены нормативные документы, регулирующие деятельность в данной сфере, а также процедуры подтверждения соответствия надежности и безопасности программного обеспечения современных информационных систем требованиям российских регуляторов.