----------------------------------------------------------------------
　　　　Interface2025年8月号
　　　　特集　Pythonで体験！はじめての暗号
　　　　第2部3章　形式検証ツールを使って暗号の安全性を証明してみる
　　　　ダウンロード・データ
        IF2508T/2b3s
　　　　Interface編集部
　　　　CQ出版(株)
　　　　公開：2025年6月25日
----------------------------------------------------------------------

====================================
ダウンロード・サービスご利用者各位
====================================
　毎度，小誌ご愛読を賜り，誠にありがとうございます．
　このたびはダウンロード・サービスをご利用いただき，誠にありがとうございます．
　筆者のご厚意により，本記事の関連データをこのアーカイブに収録しました．

================
概要
================
　このアーカイブには，表題の記事の中で作成したプログラム・ファイルやデータ・ファイルが収録されています．詳しくは該当記事を参照してください．
　アーカイブは，ZIP形式によって圧縮されています．

================
動作確認
================
　プログラムは筆者の元で動作を確認済みです．

=================
アーカイブの内容
=================
2b3s_EAP-SIM.py（説明用）
2b3s_EAP-SIM.pv（ProVerif文法）
readme.txt

============
免責
============
(1)プログラムやデータの使用により，使用者に損失が生じたとしても，著作権者とＣＱ出版(株)は，その責任を負いません．
(2)プログラムやデータにバグや欠陥があったとしても，著作権者とＣＱ出版(株)は，修正や改良の義務を負いません．

===========
著作権
===========
　収録したプログラム，データおよびドキュメントなどの著作権は，各著作権者（すなわち筆者）にあります．
　Copyright (C) 2025　Kazuki Yoneyama