Это направление на сегодняшний день наиболее развивающееся. В его основе - логика, разработанная для анализа свойств «знания» и «доверия» работы криптопротокола в целом или его отдельных частей. Ярким представителем подобного метода является BAN-логика, которая и послужила началом развития этого же направления.

Использование BAN-логики позволяет найти ответы на следующие вопросы:

1. Каких результатов в конечном счете можно достичь с помощью криптопротокола?

2. Содержатся ли в данном криптопротоколе избыточные шаги, которых можно было бы избежать, сохранив безопасность работы криптопротокола на прежнем уровне?

3. Необходимо ли зашифровывать данное сообщение или его можно передать в открытом виде?

4. Нужно ли включить в данный криптопротокол дополнительные шаги?