Решить следующие задачи:
1. Используя формальный способ моделирования и обнаружения атак, построить дерево атак на беспроводные сети для стандарта 802.11. Укажите время жизни TTL и степень уверенности PC для каждого этапа атаки. На базе разработанного дерева создайте прототип СОА, которая успешно обнаружи- вает сценарии атак с небольшим числом ложных срабатываний.
2. Постройте дерево атак с помощью дизъюнктивных сетей Петри на Web-сервер торговой компании, занимающейся продажей компьютерной техники через собственный Internet-магазин. В качестве сервера Web исполь- зуется ПО Microsoft IIS и СУБД Microsoft SQL Server. Цель – нарушение целостности хранимых в СУБД данных. Укажите в качестве параметра оценки узлов вероятность проведения данного этапа атаки. Выберите наиболее вероятную модель атаки и предложите контрмеры.