tamarin-prover

The Tamarin prover リポジトリ この README では、セキュリティプロトコル検証のための Tamarin prover のリポジトリの構成について説明します。対象読者は、Tamarin prover に関心のあるユーザーと将来の開発者です。Tamarin prover のインストールと使用方法については、マニュアルの第2章を参照してください: https://tamarin-prover.github.io/manual/master/book/002installation.html 開発とコントリビューション Tamarin prover...