Реестровая запись: ЭЛ № ФС77-79395 от 02.11.2020 ISSN: 2782-1528 DOI 10.34660/c0727-6092-6372-a
Верификатор автоматический (Mechanical verifier) — схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [Домарева В.В. «Безопасность информационных технологий. Системный подход» —
Проверка автоматическая (Automatic check) — любая непрограммируемая проверка правильности сегмента данных. [Домарева В.В. «Безопасность информационных технологий. Системный подход» — К.:ООО ТИД «Диасофт», 2004.-992 с.]
Система информационная, автоматизированная (Automated information system (AIS)) — совокупность программных и аппаратных средств, предназначенных для создания, передачи, обработки, распространения, хранения и/или управления данными и информацией
Авария головки (Head chash) — случайное разрушительное соприкосновение головки считывания-записи с поверхностью жесткого диска при вращении последнего в дисководе. При аварии головки диск приходит в
Отказ аварийный (Crash) — отказ, требующий для возобновления нормального функционирования вычислительной системы по крайней мере, вмешательства оператора, а иногда и ремонтных работ. [Домарева В.В. «Безопасность информационных
Аварийный (postmortem) — определение, характеризующее анализ причин возникновения нежелательных ситуаций в работе системы, основанный на информации, записанной в момент обнаружения нежелательной ситуации. [Домарева В.В. «Безопасность информационных
Завершение аварийное (abnormal end (termination), abend) — прекращение выполнения задачи при возникновении условий, исключающих возможность ее дальнейшего выполнения. К таким условиям относятся аварийные сбои, грубые
Ситуация аварийная (disaster situation) — отказ вычислительной системы, приводящий к прекращению выполнения задач. [Домарева В.В. «Безопасность информационных технологий. Системный подход» — К.:ООО ТИД «Диасофт», 2004.-992 с.] [Словарь
Представление данных, абстрактное — принцип определения типа данных через операции, которые могут, выполняться над объектами данного типа. При этом вводятся следующие ограничения: значения объектов могут
Шифрование абонентское (end-to-end encryption) — защита информации, передаваемой средствами телекоммуникаций криптографическими методами, непосредственно между отправителем и получателем. [Домарева В.В. «Безопасность информационных технологий. Системный подход» — К.:ООО ТИД