公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性(理論)
スポンサーリンク
概要
- 論文の詳細を見る
汎用的結合可能な安全性の検証法として,DolevとYaoの記号的モデルを基とした検証法が提案されている.本論文では,我々のグループで提案した記号的モデルで汎用的結合可能な安全性が検証可能であることを従来の検証対象について確かめる.具体的には,公開鍵暗号とディジタル署名を利用した相互認証と鍵交換プロトコルに対し,汎用的結合可能な安全性に対応する記号的安全性を我々の記号的モデルに基づき定義し,健全性を示す.
- 2010-03-25
著者
-
鈴木 斎輝
大阪大学大学院情報科学研究科
-
吉田 真紀
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学 大学院情報科学研究科
-
藤原 融
大阪大学基礎工学部情報工学科
-
吉田 真紀
大阪大学大学院基礎工学研究科情報数理系
-
藤原 融
大阪大学大学院基礎工学研究科情報数理系
-
藤原 融
大阪大学大学院基礎工学研究科
関連論文
- 公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性(理論)
- MBRを用いたユーティリティ産業向け日間需要量予測方式の検討
- 静止画の輝度値または周波数領域へ透かし情報を埋め込む形式の電子透かしに対するJPEG圧縮攻撃に関する性能評価と考察(フレッシュマンセッション,フレッシュマンセッション,一般)
- 誤り訂正符号の性能評価(情報通信基礎サブソサイエティ合同研究会)
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- 画素空間へのパッチワーク法と相関型電子透かし法の検出誤り確率の比較(情報セキュリティ応用)
- 評価者間類似度を用いた不正評価排除によるレピュテーションシステムの性能向上(セッション4:コミュニティ(1))
- ネットワーク符号化におけるリード・ソロモン型符号の距離分布について(一般セッション,フレッシュマンセッション,一般)
- BS-5-6 カルテ情報自己管理のための墨塗り署名(BS-5. ネットワークサービスのセキュリティ技術の展開,シンポジウムセッション)
- 最小距離の半分の重みをもつ訂正不可能誤りの数の下界(情報通信基礎サブソサイエティ合同研究会)
- コンテンツ事前配信のための匿名フィンガープリンティング
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(夏のデータベースワークショップ2007(データ工学,一般))
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質(基礎理論,フォーマルアプローチ論文)
- 大学院情報系学生に対する技術者倫理教育(技術者倫理・情報倫理教育の現状と課題,及び一般)
- 2重符号化を用いた電子透かし抽出誤り訂正・検出法
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML,夏のデータベースワークショップDBWS 2006)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML)
- 大阪大学情報科学研究科におけるソフトウェアデザイン工学高度人材育成への取り組み
- Seguin 下界の局所重み分布を用いた改善
- AP-1-4 線形符号のトレリス構造ならびに重み分布に関する未解決問題(AP-1.情報理論と情報通信における未解決問題 : 簡単そうなのになぜ解けない?,基礎・境界)
- 相関型電子透かしの誤検出確率保証法における見逃し確率の改善
- 検索語の秘匿と検索結果の一貫性検証を可能とするデータ検索プロトコルにおける通信量の削減
- 電子情報通信レクチャーシリーズ C-1 情報・符号・暗号の理論, 今井秀樹(著), "電子情報通信レクチャーシリーズ C-1 情報・符号・暗号の理論", 電子情報通信学会(編), コロナ社(2004-10), B5判, 定価(本体3,500円+税)
- 4-2 情報セキュリティ : 暗号基盤技術の安全性(4. 社会・情報システムの安全, 安全に暮らしたい)
- 情報セキュリティ : 暗号基盤技術の安全性
- Some Results on the Local Weight Distribution of Binary Linear Codes (Algebraic Aspects of Coding Theory and Cryptography)
- タイムカプセル暗号
- 2値多重音響特徴ベクトルを用いた類似音楽探索法の頑健性評価
- 楕円曲線上のペアリングを用いた不正者追跡法の拡張
- 楕円曲線上のペアリングを用いた分離不能多重化通信方式
- 公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性
- XMLデータベースにおける表現能力を保存したスキーマ更新操作
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- XMLデータのスキーマ統合のための枠組の提案
- 異なる構造を持つXMLデータを統合するための構造間の関係について(実空間とサイバースペースの融合 : 感性, データベース, ロボティクスおよび一般)
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- 評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上
- The validity problem of positive XPath queries in the presence of DTDs (ソフトウェアサイエンス)
- リード・マラー符号の最小重み部分符号語集合の構造を用いた軟値入出力復号法のシミュレーション結果(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- リード・マラー符号の最小重み部分符号語集合の構造を用いた軟値入出力復号法のシミュレーション結果(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- リード・マラー符号の最小重み部分符号語集合の構造を用いた軟値入出力復号法のシミュレーション結果(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- オーディオ信号用のある電子透かしに対する検出誤り確率推定法における精度向上に関する考察
- オーディオ信号用のある電子透かしに対する検出誤り確率推定法における精度向上に関する考察
- オーディオ信号用のある電子透かしに対する検出誤り確率推定法における精度向上に関する考察
- オーディオ信号用のある電子透かしに対する検出誤り確率推定法における精度向上に関する考察
- オーディオ信号への電子透かしにおける検出誤り確率推定について
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 検索語の秘匿と検索結果の一貫性検証を可能とするデータ検索プロトコルにおける通信量の削減
- マーケティング情報が保護された委託配信システムにおける通信頻度の削減
- マーケティング情報が保護された委託配信システムにおける通信頻度の削減
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- Static Adversaryに対してEUC安全な認証の記号的基準について (ワイドバンドシステム・情報通信基礎サブソサイエティ合同研究会)
- Static Adversaryに対してEUC安全な認証の記号的基準について (情報セキュリティ・情報通信基礎サブソサイエティ合同研究会)
- Static Adversaryに対してEUC安全な認証の記号的基準について (情報理論・情報通信基礎サブソサイエティ合同研究会)
- 返信偽造可能性判定問題が決定可能となるための十分条件と判定法
- 楕円曲線上のペアリングを用いた不正者追跡法の拡張
- 署名を用いたプロトコルに対する偽造不可能性判定問題
- タイムカプセル暗号
- 相関型電子透かしの誤検出確率保証法における見逃し確率の改善
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- Kumar-Rajagopalan-Sahaiコンテンツ配信方式の改良および改良方式における平均通信量の評価
- コンテンツ事前配信のための匿名フィンガープリンティング
- 乗法的不完全秘密分散の実現不可能性
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (マルチメディア情報ハイディング・エンリッチメント)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (情報通信システムセキュリティ)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (技術と社会・倫理)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (情報セキュリティ)
- 暗号を用いたプロトコルに対するコスト最小攻撃の形式的導出法
- 暗号を用いたプロトコルに対するコスト最小攻撃の形式的導出法
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 電子透かしにおける最適な検出について (符号と暗号の代数的数理)
- EUC安全なメッセージ認証のための multi-message プロトコルに対する記号的基準
- デジタルコンテンツ流通におけるマジックインク署名を利用した著作権保護システム
- デジタルコンテンツ流通におけるマジックインク署名を利用した著作権保護システム
- デジタルコンテンツ流通におけるマジックインク署名を利用した著作権保護システム
- 不正加入者の追跡および加入者の一時利用停止が可能なデータ配信
- 調査機関に対する匿名性を強化したアクセス回数評価手法
- 調査機関に対する匿名性を強化したアクセス回数評価手法
- 調査機関に対する匿名性を強化したアクセス回数評価手法
- メッセージに対する受領証の偽造不可能性判定問題が決定可能となるための十分条件 : メッセージが不特定の場合
- EUC安全なメッセージ認証のための multi-message プロトコルに対する記号的基準
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)
- 大切な情報をどうやって守りますか?
- 加法と乗法のハイブリッド電子透かしの性能に対する理論的評価