プロトコルエンティティの知識状態の計算による通信プロトコル記述法 (II)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,2-partyプロトコルを実行するプロトコルエンティテイの知識状態を表す様相論理式を代数的に計算する方法を提案する.例として文献[1]に記されているプロトコルの実行例を計算する.また,本提案をMathematicaで実装し,確認した.
- 社団法人電子情報通信学会の論文
- 1999-11-18
著者
関連論文
- 不確定な情報"covert channel"の直観主義論理による解釈と分析
- キュー制御を用いた通信品質保証の最大遅延時間抑制評価(QoS,モバイルネットワーク,高速パケット伝送信号処理・伝送技術,無線通信一般)
- 2000-CSEC-10-20 DNA情報を組込んだ公開鍵暗号方式
- ISEC2000-42 DNA情報を組込んだ公開鍵暗号方式
- 複数秘密分散方式のアクセス構造の横断マトロイドによる考察
- 秘密分散共有法の組合せデザインによる考察
- 直観主義論理に基づく統合セキュリティモデルのアクセス規則について : 競合属性と階層属性を組み合わせた場合(Web2.0とネットワーク法,一般)
- 多元社会の意味ネットにおける存在論と認識論の役割 : 社会システムのためのアクセス制御agentの視点から
- 超楕円曲線上のHarley加算アルゴリズムにおけるresusltant計算について
- Superelliptic curveとC_ curveを用いた暗号系のGHS Weil Descent攻撃に対する安全性
- 有限体上の超楕円曲線のJacobi多様体の自己準同型環の決定法
- 標数2の有限体上の超楕円曲線に対するHarley加算アルゴリズムの拡張
- 井草不変量を用いた超楕円曲線暗号の構成について
- 種数2の超楕円曲線を用いた高速暗号系
- 2. 科学技術の研究開発と歴史の役割 (電子情報通信分野の歴史に残すべき技術 : 産業界を中心として)
- CMテストとリフティングによる安全な楕円暗号系の構成法 (代数曲線とその応用論文小特集)
- 楕円暗号へのガイダンス (代数曲線とその応用論文小特集)
- RMファミリを用いた安全な超楕円曲線の効率的な構成法
- CMテストとリフティングによる安全な楕円暗号系の構成法に関する考察
- 素体上における大種数超楕円曲線の構成方法の考察
- 超楕円曲線上の離散対数問題に基づく暗号系の安全性に関する考察
- CMアーベル多様体に基づく暗号系に関する考察
- CMを有するアーベル多様体を用いた暗号系に関する考察
- Abel 多様体上の離散対数問題に基づく暗号系の安全性に関する一考察
- プラハクリプト'96国際会議出席報告
- 超楕円曲線上における安全な離散対数問題の効率的な構成法に関する考察
- 拡大体上の暗号学的に安全な楕円曲線の効率的な構成法に関する考察
- 有色性駆動源に対応可能なカルマンフィルタを用いた劣化画像復元手法
- 有色性駆動源を持つカルマンフィルタを用いた高速な雑音抑圧法
- 有色性駆動雑音を考慮したカルマンフィルタを用いた雑音抑圧法(音響信号及び音声処理、エンハンスメント/一般)
- RMファミリを用いた安全な超楕円曲線の効率的な構成法
- CMテストとリフティングによる安全な楕円暗号系の構成法に関する考察
- CMテストによる楕円暗号系の構成法に関する考察
- CMアーベル多様体に基づく暗号系におけるCMテストアルゴリズム
- CMを有するアーベル多様体を用いた暗号系に関する考察
- CMを有するアーベル多様体を用いた暗号系に関する考察
- 電子署名法と暗号技術
- Superelliptic curveとC_ curveを用いた暗号系のGHS Weil Descent攻撃に対する安全性
- Superelliptic curveとC_ curveを用いた暗号系のGHS Weil Descent攻撃に対する安全性
- 共通鍵暗号RC5の読解アルゴリズムの実装について(1)
- 共通鍵ブロック暗号SERPENT(AES候補)のラウンド関数の高階差分について
- プロトコルエンティティの知識状態の計算による通信プロトコル記述法の多点間通信への拡張の検討
- Jacobi多様体のCM Typeの計算
- 素体上における大種数超楕円曲線の構成方法の考察
- 素体上における大種数超楕円曲線の構成方法の考察
- 素体上における大種数超楕円曲線の構成方法の考察
- 超楕円曲線上における安全な離散対数問題の効率的な構成法に関する考察
- DNAインキの信頼性・機密性・完全性の高度化
- DNAインキの信頼性・機密性・完全性の高度化
- SNPを利用したDNA個人IDによる本人認証方式の提案
- DNA個人IDによる本人認証システムのFRR及びFARについて
- SNPを利用したDNA個人IDによる本人認証方式の提案
- DNA個人IDによる本人認証システムのFRR及びFARについて
- DNAバイオメトリックス本人認証方式における本人拒否率の考察
- DNAバイオメトリックス本人認証方式における本人拒否率の考察
- チャネルの次数推定を用いた共役勾配法におけるブラインド同定
- チャネルの次数推定を用いた共役勾配法におけるブラインド同定
- チャネルの次数推定を用いた共役勾配法におけるブラインド同定
- X.501ディレクトリモデルのアクセス制御に関する考察
- Personal Security RouterによるCovert Channelの迂回制御
- A-187 時刻指定ペトリネットを用いた情報セキュリティ・モデル(A-8. 情報セキュリティ,一般講演)
- 安定性を保証した確率的最速な学習同定法の簡略化
- 確率的最速な保証値付きBCGM-ORアルゴリズム
- 雑音の影響を考慮した共役こう配法によるブロック適応アルゴリズムにおける安定性の改善
- 安定性を保証した確率的最速な学習同定法の簡略化について
- 安定性を保証した確率的最速な学習同定法の簡略化について
- 安定性を保証した確率的最速な学習同定法の簡略化について
- 雑音の影響を考慮した共役こう配法によるブロック適応アルゴリズムの不安定性改善について
- 安定性を保証した確率的最速な学習同定法
- 学習同定法の安定な一運用法
- ぼけと雑音を含む劣化画像の復元アルゴリズム(画像符号化,通信・ストリーム技術,一般)
- ぼけと雑音を含む劣化画像の復元アルゴリズム(画像符号化,通信・ストリーム技術,及び一般)
- ぼけと雑音を含む劣化画像の復元アルゴリズム(画像符号化,通信・ストリーム技術,及び一般)
- ぼけと雑音を含む劣化画像の復元アルゴリズム(画像符号化,通信・ストリーム技術,及び一般)
- カルマンフィルタに基づいた高速な雑音抑圧法
- バイオメトリックス暗号鍵を用いた本人認証方式の提案
- DNAバイオメトリックス本人認証方式の提案(電子社会に向けたコンピュータセキュリティ技術)
- DNAバイオメトリックス本人認証システム
- DNAバイオメトリックス本人認証システム
- DNA-IDを用いたDNA個人情報管理システムの提案(21世紀のコンピュータセキュリティ技術)
- 多元社会の意味ネットにおける存在論と認識論の役割 : 社会システムのためのアクセス制御agentの視点から
- 多元社会の意味ネットにおける存在論と認識論の役割 : 社会システムのためのアクセス制御agentの視点から
- 不確定な情報"covert channel"の直観主義論理による解釈と分析
- DNA-IDの統計的検証 : 実証実験によるSTRローカスの相関性の検証
- DNA-IDの統計的検証 : 実証実験によるSTRローカスの相関性の検証
- 個人識別用DNA情報に関する実証実験報告 (その2) : DNA-IDの生成と統計的検証
- 暗号と知的所有権(ソフトウェア/アルゴリズムの権利保護をめぐって)
- 広帯域ISDNとATM技術 (社)電子情報通信学会(編),青木利晴,青山友紀,濃沼健夫(監修)
- 新しい機械警備システムの設計
- 所望シンボル推定を用いたアフィン射影型ブラインドマルチユーザ検出器(無線通信技術)
- 情報セキュリティ総合科学序論 : 矛盾の超克という視点から(ソーシャル・ネットワーク)
- RI-008 カルマンフィルタを用いた劣化画像の復元手法(グラフィクス・画像,査読付き論文)
- 所望シンボル推定を用いたアフィン射影型ブラインドマルチユーザ検出器(MIMO,CDMA,移動衛星通信,無線通信一般)
- 修正3層構造鍵共有方式
- 3層構造を有する鍵共有方式の提案
- 一般化ID-NIKS-第4の鍵共有方式-の提案
- CMテストとリフティングによる安全な楕円暗号系の構成法の実現と解析
- 電子社会を築く暗号技術(情報理論50年の歩みと21世紀への展望 : シャノンから50年)
- 第四世代鍵共有方式の基本原型に関する二, 三の考察
- 国境を越える電子マネーと暗号技術