16. Информационная безопасность, компьютерные вирусы и антивирусы

Компьютерные вирусы – специальные программы, способные к воспроизведению своего кода и к переходу от программы к программе (инфицирование).

Перехватывая управление вирус подключается к работе программы или к другим программам и затем даёт компу команду для записи заражённой версии программы, а затем возвращает управление программе.

Вирус может заработать сразу или по истечении какого-то времени. Для борьбы с вирусами придуманы антивирусы, которые анализируя файлы, могут распознать скрытый код вируса, либо вылечить файл, либо удалить зараженный файл.

Виды вирусов:

Загрузочные – заражают загрузочный сектор дисков, где находится информационная структура диска.

Аппаратные – приводящие к нарушению работы или разрушению аппаратуры.

Программные – заражают .exe

Полиморфные – претерпевают изменения от зараженного файла

Стелс-вирусы – маскирующиеся

Макро-вирусы – заражают документы и шаблоны в текстовых редакторах

Многоцелевые

Вирусы могут проникнуть в комп через сеть, с внешних носителей, через электронную почту, через загруженные файлы из интернета.

При выборе антивируса следует руководствовать следующими принципами: если использовать различные платформы, то антивирус должен поддерживать все эти платформы, должен быть простым и понятным, иметь дружеский интерфейс, позволять выбирать опции, иметь систему подсказок.

Антивирус должен обнаруживать новые и неизвестные вирусы, а также регулярно пополнять базу вирусов.

17. Алгебра, высказывания, предикаты, булевая функция, аксиомы алгебры предикатов

Информатика изучает информацию, сообщения или знаковые системы, последовательности. Информационные процессы лучше структурируются и формализуются с помощью алгебраических структур. Утверждение (высказывательная форма) – основная единица, неделимая с точки зрения информации, семантического смысла знаний.

Высказывание – повествовательное утверждение, про которое можно однозначно сказать, что оно истинно или оно ложно. (Логические переменные)

Предикат – выражение с логическими переменными, имеющие смысл при любых допустимых значениях этих пременных.

Выражения: х > 5, x > y – предикаты.

7>5 – высказывание.

Логической (булевой) функцией f(х) называется некоторая функциональная зависимость, в которой аргумент х – логическая переменная с заданным множеством изменений аргумента, а значения функции f(x) берутся из двухэлементного множества R(f) = {1,0}.

Множество логических переменных с определенными над ним операциями: – отрицания или инверсии, – логического сложения или дизъюнкции , – логического умножения или конъюнкции называется алгеброй предикатов (и высказываний) , если эти операции удовлетворяют следующим аксиомам:

Основные аксиомы предикатов:

1. Аксиома двойного отрицания:

2. Аксиомы переместительности операндов (относительно операций дизъюнкции и конъюнкции):

3. Аксиомы переместительности операций дизъюнкции и конъюнкции (относительно операндов):

4. Аксиомы одинаковых операндов:

5. Аксиомы поглощения (множителем — множителя-суммы или слагаемым — слагаемого-произведения):

6. Аксиомы распределения операции (дизъюнкции относительно конъюнкции и наоборот):

7. Аксиомы де Моргана (перенесения бинарной операции на операнды):

8. Аксиомы нейтральности (взаимноинверсных множителей или слагаемых):

9. Аксиома существования единицы (истина, true, 1) и нуля (ложь, false, 0), причем,