馬山 貴峰 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
吉田 真紀
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学基礎工学部情報工学科
-
馬山 貴峰
大阪大学大学院情報科学研究科
-
吉田 真紀
大阪大学大学院基礎工学研究科情報数理系
-
藤原 融
大阪大学大学院基礎工学研究科情報数理系
著作論文
- 暗号を用いたプロトコルに対するコスト最小攻撃の形式的導出法
- 暗号を用いたプロトコルに対するコスト最小攻撃の形式的導出法
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)