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