tamarin-prover

Репозиторий Tamarin prover Этот README описывает организацию репозитория Tamarin prover для верификации протоколов безопасности. Его целевая аудитория — заинтересованные пользователи и будущие разработчики Tamarin prover. Инструкции по установке и использованию Tamarin prover см. в главе 2...