abstract: Рассмотрена и оценена возможность применения раскрашенных сетей Петри для анализа криптографических протоколов распределения ключей на примере симметричного протокола Нидхема Шрёдера.
keywords: формальный анализ, распределение ключей, раскрашенные сети петри