Компьютерная защита может использоваться как механизм достижения аккредитационных целей для компьютерных научных и инженерных программ. Предлагаемый автором подход, построенный на образовательных принципах, позволяет оценить роль защиты для программ инженеринга. Образовательный курс по защите информации должен включать изучение теории компьютерной защиты с использованием формальных методов по инженерингу защиты. Теория охватывает три главных темы: стратегию защиты, механизмы защиты и гарантию защиты. Дополнительное введение широкой классификации концепций защиты (включающих идентификацию и санкионирование, корректность, контроль и т. д.) позволит студентам получить полные знания по построению надежно защищенных архитектур. Особое значение должно быть уделено использованию эмпирических результатов для построения экспериментов и прототипов и оценки их эффективности.