Анализ протоколов

Анализ протокола выполняется следующим образом:

1. Получение идеализированного протокола, производного от подлинника.

2. Написание предположений о начальном состоянии.

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

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