функциональные возможности средств вычислительной техники и программного обеспечения, не описанные или не соответствующие описанным в документации, которые могут привести к снижению или нарушению свойств безопасности информации.
В статье рассмотрены существующие подходы к обнаружению недекларированных возможностей. В качестве решения проблемы их гарантированного обнаружения предлагается использовать комплексные кубические покрытия.
Рассматриваются вопросы верификации вычислительных процессов по графоаналитическим моделям, управляемых частично-определенными булевыми функциями. Исследуются задачи поиска по булеву графу управления и кубическим покрытиям недекларированных возможностей и мертвого кода как следствия don’t care. Приведены примеры построения покрытий для булева графа и верификация don’t care в виде покрытия конъюнкции отношений-неравенств, тождественно равных нулю.
отечественный наземный комплекс исполнительной радиотехнической разведки, обеспечивающий станции и комплексы помех информацией об излучениях в диапазоне радиоволн. Осуществляет круговой обзор пространства (по азимуту) с темпом 5–10 с.
свойство соответствия безопасности некоторым критериям.
деятельность по предотвращению воздействия на защищаемую информацию ошибок пользователя информацией, сбоя технических и программных средств информационных систем, а также природных явлений или иных нецеленаправленных на изменение информации воздействий, связанных с функционированием технических средств, систем или с деятельностью людей, приводящих к искажению, уничтожению, копированию, блокированию доступа к информации, а также к утрате, уничтожению или сбою функционирования носителя информации.
