В книге рассмотрены теоретические и прикладные аспекты проблемы зашиты программного обеспечения от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания доказуемо защищенных программ для применения в компьютерных системах с высоким оценочным уровнем доверия. Совокупность исследуемых моделей и методов защиты рассматривается в рамках общей методологии, основанной на единой аксиоматике и понятийной базе и учитывающей жизненный цикл создания и применения современного программного обеспечения, универсальные модели угроз безопасности и разрушающих программных средств. Монография может быть полезной для ученых и практиков в области защиты программного обеспечения, предназначенного для применения в различных областях человеческой деятельности. Кроме того, книга может служить пособием для студентов, обучающихся по специальностям "Компьютерная безопасность", "Комплексное обеспечение информационной безопасности автоматизированных систем",...
V knige rassmotreny teoreticheskie i prikladnye aspekty problemy zashity programmnogo obespechenija ot razlichnogo roda zloumyshlennykh dejstvij. Osoboe vnimanie udeleno modeljam i metodam sozdanija dokazuemo zaschischennykh programm dlja primenenija v kompjuternykh sistemakh s vysokim otsenochnym urovnem doverija. Sovokupnost issleduemykh modelej i metodov zaschity rassmatrivaetsja v ramkakh obschej metodologii, osnovannoj na edinoj aksiomatike i ponjatijnoj baze i uchityvajuschej zhiznennyj tsikl sozdanija i primenenija sovremennogo programmnogo obespechenija, universalnye modeli ugroz bezopasnosti i razrushajuschikh programmnykh sredstv. Monografija mozhet byt poleznoj dlja uchenykh i praktikov v oblasti zaschity programmnogo obespechenija, prednaznachennogo dlja primenenija v razlichnykh oblastjakh chelovecheskoj dejatelnosti. Krome togo, kniga mozhet sluzhit posobiem dlja studentov, obuchajuschikhsja po spetsialnostjam "Kompjuternaja bezopasnost", "Kompleksnoe obespechenie informatsionnoj bezopasnosti avtomatizirovannykh sistem",...
