マルチプルレゾリューション / Multiple Resolution

■ DOI : 10.24561/00010400

	登録機関名 / Registration Institution Name	最終更新日 / Last Update
1	機関リポジトリ／Institutional Repository	2024/05/29
2	国立国会図書館／National Diet Library	2023/12/13

■ タイトル情報 / Title Information

タイトル / Title : A Formal Analysis Method with Reasoning for Cryptographic Protocols and Its Supporting Tools

言語 / Language : 日本語 /Japanese

■ 筆頭著者名情報 / First Author Information

著者名(姓) / Surname : 我妻

著者名(名) / Given Name : 和憲

言語 / Language : 日本語 /Japanese