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