ИСТИНА

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