Система імітаційного моделювання криптографічних протоколів

Abstract

У статті розглянута клієнт-серверна система для імітаційного моделювання роботи криптографічних протоколів і можливих атак на них. Запропоновано структуру системи моделювання, принцип формування компонент криптографічного протоколу і порядок рольової взаємодії його учасників. Представлена програмна реалізація редактора протоколів, який дозволяє сформувати символьну, вербальну і обчислювальну специфікації. Запропоновано рекомендації щодо застосування системи.

Keywords

• клієнт-серверна система, імітаційне моделювання, криптографічний протокол, криптографічний алгоритм, програмна реалізація, редактор протоколу.