Tamarinハンズオンのページ
FWS企画の「Tamarinハンズオン」についてのページです．
ぜひ事前にTamarin Proverの実行環境をご用意の上ご参加ください！
資料
スライド
Tamarinデモ用Dockerファイル
※資料はハンズオン開始まで随時更新される可能性があります．
※Tamarinデモ用Dockerファイルを使用する場合は，zipファイル内のREADMEファイルをご一読ください．
Tamarin Proverの環境構築方法
Docker Desktopを用いる場合（推奨）
1. tamarin-demo.zipをダウンロード・解凍
2. Docker Desktopを起動
3. ターミナルで該当のディレクトリに移動し，「docker compose up --build」を実行
4. ブラウザで「http://localhost:8000/」を開く
その他，Tamarinデモ用DockerファイルはWindows 11のWSLコンテナ，Appleコンテナを用いても実行可能です．
詳しくはzipファイル内のREADMEファイルをご覧ください．
Dockerファイルを用いずにTamarin Proverをインストールする場合はTamarin Prover公式ページをご覧ください．
コード
※保存の場合は 右クリック→「リンク先を別名で保存」
参考回答
各種リンク
Tamarin Prover公式ページ
Tamarin Prover公式マニュアル
Tamarin Prover Examples
Tamarin Toy Protocol