В учебном пособии изложены теоретические и практические основы создания надежного и безопасного программного обеспечения информационных систем. Приведены правила, этапы и технологии построения на-дежного программного обеспечения. Рассмотрены......

В книге рассмотрены теоретические и прикладные аспекты проблемы зашиты программного обеспечения от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания доказуемо защищенных программ для применения в компьютерных системах с высоким оценочным уровнем доверия....