束縛関係に基づく認証プロトコルの検証(<特集>セキュアコンピューティング)
スポンサーリンク
概要
- 論文の詳細を見る
認証プロトコルの正しさは,プロトコルの実行にともなって,ノンスを中心にプロトコルのデータ間の関係が確立することに基づいている.本論文では,ノンスの秘密性とノンスとデータの間の束縛関係を導く推論体系を与える.推論規則を用いて直接的に束縛関係を導くことにより簡便に認証プロトコルの正しさを示すことができる.また,状況に応じて推論規則を付け加えることにより,推論体系を拡張することも可能である.
- 日本ソフトウェア科学会の論文
- 2003-05-23
著者
-
萩谷 昌己
東京大学大学院情報理工学系研究科
-
高橋 孝一
産業技術総合研究所
-
萩谷 昌己
東京大学
-
萩谷 昌己
京都大学数理解析研究所
-
齋藤 孝道
明治大学
-
齋藤 孝道
東京工科大学
-
竹村 亮
東京大学大学院情報理工学系研究科
関連論文
- 記念大会を終えて : 情報処理学会創立50周年記念(第72回)全国大会速報(トピックス,50周年記念特集号)
- 数理的技法による情報セキュリティの検証(数理的技法による情報セキュリティ)
- 1V-2 SSLセッションマイグレーションの実装と評価(プロトコルと性能測定,学生セッション,ネットワーク)
- 3ZB-4 Webアプリケーションにおけるユーザ間でのアクセス権限委譲に関する考察(セキュリティ(3),学生セッション,セキュリティ)
- 3ZB-3 Kerberosを用いたシングルサインオンの実装(セキュリティ(3),学生セッション,セキュリティ)
- 「数理的技法による情報セキュリティ」研究部会(FAIS)(研究部会だより)
- 記念大会を終えて : 情報処理学会創立50周年記念 (第72回) 全国大会速報
- モデル検査によるシステム検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 並列ごみ集めの抽象モデル検査の形式的証明
- BDDを用いた同期アルゴリズムの探索
- モデル検査系を用いたプログラム発見(「定理証明, 推論関係の新技術」)
- 正則表現を用いた並列ごみ集めの抽象モデル検査
- 図形を用いた推論の基礎づけ (「図による推論」)
- GMWウィンドウ・システム上のアプリケーション構築について
- IXP425における暗号処理の効率的なオフロード方式の実装と評価
- 分子計算とその物理的基礎
- 情報処理学会の終焉? : IPSJのあり方
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- セッションマイグレーションを用いた負荷分散SSLクラスタの提案と評価(ネットワークセキュリティ,情報システムを支えるコンピュータセキュリティ技術の再考)
- 1L-4 GPGPUでの暗号アルゴリズムの実装と評価(メニーコア・並列ソフトウェア,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 3Z-2 SSLフェイルオーバの提案(ネットワークセキュリティ,学生セッション,ネットワーク)
- 3Z-1 OpenSSLにおけるSSL_SESSIONオブジェクトのマイグレーションについての考察(ネットワークセキュリティ,学生セッション,ネットワーク)
- 4ZE-6 GPGPUでのパスワードクラックツールの実装と評価(システムセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- タクティクからのプログラム抽出とその応用
- JAVA2のPermission機構のモデル化と実験
- 5ZB-4 CBEを用いたAES-CTRモードの実装(セキュリティ(5),学生セッション,セキュリティ)
- 1ZB-4 IXP425における暗号処理のオフローディングについて(セキュリティ(1),学生セッション,セキュリティ)
- ユーザによる設定を可能とするProxy型ネットワークアクセス制御方式の提案(セッション2)
- 3ZE-4 Cell/B.E.における暗号処理の効率的なオフロード方式の提案と実装(暗号実装・解析,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 6L-8 UltraSPARC T2における暗号モジュールの利用と評価(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- SSHパスワードユーザ認証の脆弱性とその考察(ネットワークセキュリティ,再考 分散システム/インターネットの運用・管理)
- SSHパスワードユーザ認証の脆弱性とその考察
- SPAMメール対策システムの提案と実装(情報セキュリティ応用)
- ユーザ認証付きDHCP(UA-DHCP)の提案と実装(電子社会に向けたコンピュータセキュリティ技術)
- 束縛のタイミングを考慮した認証プロトコルについて
- SSHに対する2つのRollback攻撃と対策について(ネットワークセキュリティ,再考 分散システム/インターネットの運用・管理)
- 関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,平成19年研究部会連合発表会)
- ユーザ認証付きDHCPの提案と実装
- 7. フォーマルメソッドによる暗号安全性(Part III:新領域の開拓,フォーマルメソッドの新潮流)
- 生命的コンピューティング(知能コンピューティングとその周辺〔第8回〕)
- 特集「数理的技法による情報セキュリティ」にあたって
- DNA鎖に基づくナノシステム
- 研究会を支えるみなさまへ(研究会千夜一夜)
- 分子コンピューティングの発展 : 分子マシンから分子コミュニケーションへ
- 二次構造の解離に基づく汎用分子システム(「DNAコンピューティングの応用とシミュレーション」)
- BDDを用いた2方向CTL論理式充足可能性決定手続きの実装(サイバー増大ページ論文概要,サイバー増大号)
- 分子プログラミング
- 整数線形計画法を用いたDNAコンピュータ制御コードの生成
- グラフ書換えと時空間様相論理
- 研究会たより 第24回(最終回) 最初の講演と最近の講演
- 束縛関係に基づく認証プロトコルの検証(セキュアコンピューティング)
- 研究会たより : 第23回理事会と研究会
- 標数2のある体上の代数方程式の求解
- セキュリティ教育のシラバスおよびコンテンツ
- ワールドカップと官僚主義(研究会たより : 第13回)
- ワークステーション上のウィンドウ・システムについて
- 4ZC-3 Virtual Computing LabにおけるActive Directoryとの連携方式の提案(社会システムとWeb(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1N-3 WAFのパフォーマンス計測について(システム評価,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- LIR : COINSプロジェクトの低水準中間言語
- 研究会たより:第22回ロボットの国
- 研究会たより : 第21回困った
- 第20回骨無し魚(研究会たより)
- 分子コンピューティング : コンピュータ科学からの挑戦(私の意見)
- 第18回(続)日本語のこと(研究会たより)
- 第17回 甦るチューリング(研究たより)
- パワーポイント学者(研究会たより)
- 時間付き多重集合書換えの有界性と到達可能性の解析
- 学問の粒度(研究所だより)
- 日本語のこと(研究会たより : 第14回)
- 理事会のこと(研究会たより : 第12回)
- 教科書と大御所(研究会たより)
- 研究会たより : 第10回 電子化された研究報告
- 第9回 情報処理学会の終焉? : 研究会たより
- 第8回研究会へのたより(研究会たより)
- 「計算=編集」パラダイムに基づく例からのプログラミング ( インタラクティブソフトウェア)
- 編集=計算パラダイムと例によるプログラミング
- グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)
- Javaのクラスローダ制約の定式化
- 公開鍵を用いた認証プロトコルについて(21世紀のコンピュータセキュリティ技術)
- 束縛のタイミングを考慮した認証プロトコルについて
- 束縛のタイミングを考慮した認証プロトコルについて
- システム検証における数理的手法の紹介 : 組込みシステムへの適用事例(組込みシステム特集号)
- 特集「システム検証の科学技術」の編集にあたって(システム検証の科学技術)
- 作譜科学の現状と将来--心配のないソフトウェア開発に向けて
- DNAコンピューティングと分子ロボティクス
- ソフトウェア・セキュリティにおける理論研究の役割 (特集 コンピュータセキュリティ)
- 最近の分子コンピューティング (特集 DNA計算・光情報処理・ナノテクノロジー--新しいコンピュータの可能性)
- DNA計算とは何か
- 分子計算から見た並行計算 : Making Chemical Abstract Machines More Chemical
- 分子計算から見た並行計算 : Making Chemical Abstract Machines More Chemical
- RubyのJIS規格化・ISO規格化を祝って
- 制御システムセキュリティのためのセキュリティバリアデバイスの提案
- 制御システムセキュリティのためのセキュリティバリアデバイスの提案
- 第7回 全国大会のこと(研究会たより)
- 研究会論文誌について(研究会たより)
- 第5回学会連合?(研究会たより)
- 第4回いろいろな学会(研究会たより)
- 第3回領域制について(研究会たより)
- 第2回研究会の風景(研究会たより)
- 調査研究運営委員長は現場監督のようなものです (研究会たより)