代数的に記述されたプロトコルの検証に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
代数的に記述されたプロトコルにおいては、プロトコルが満たすべき様々な性質は定理として、同じ代数の枠組みの中で証明が行われる。本稿では、プロトコル・プロジェクションの概念を基に、与えられたプロトコルの代数的仕様から、証明すべき命題に関して等価なより簡単な代数を定義して、証明の手続きを簡単にする方法について述べる。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 広域分散型ネットワークイベント管理手法の提案 : 迷惑メール情報の組織間共有(セキュリティとトラヒック管理,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- パネル討論会 : 新しい情報処理デバイスの展望 : 新しい計算機システム構築のために : 昭和59年後期第29回全国大会報告
- 多元画像を用いたクラスターの自動判別
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- 発想法における直感的な分類作業に対して参加者の知識量のばらつきが及ぼす影響の評価・分析法
- LOTOSによる仕様記述の事例ベース推論に基づいた教育支援システムについて
- MobileIPv6 MIB およびNEMO MIBを用いたネットワーク構成情報の可視化手法
- 移動ネットワークにおける効率的な管理情報の収集制御方式
- 2050年マルチメディア通信と調和・共生コンピューティング
- 衛星ネットワークと地上広域UNIXネットワークの接続方式
- LOTOSグラフィックエディタの構成
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 事例ベース推論を適用した通信ソフトウェア開発支援環境
- パネル討論会 : 創立30周年記念 : 日本における情報処理教育のあり方
- PC Communication in an OSI environment : TM&T : Mail and Talk on TAINS
- 次世代高次コミュニケーション
- LOTOS仕様の再利用性に基づくプロトコル仕様の系統的生成法
- 表明を持つ項書き換え系(A-TRS)を用いたストリーム・プログラミング
- 実装言語に依存しない協調プロトコル実装のためのプラットフォーム
- 実装言語に依存しない協調プロトコル実装のためのプラットフォーム
- 実装言語に依存しない協調プロトコル実装のためのプラットフォーム
- 自然言語に基づいた通信システムの仕様記述支援環境
- 通信システムの仕様記述教育支援システムの構成
- LOTOS仕様の実装法に関する一考察
- オブジェクト指向に基づいた分散処理OSの設計と実現
- コミュニケーションプロトコルの適応性を考慮したやわらかい合成支援環境の構築
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 通信プロトコルのやわらかい合成法
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様の開発における機能要求への反映
- 双方向リアルタイムマルチメディア通信のための分散型ALMツリー反復構成手法(オーバーレイネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- TAINSの全体構成
- 東北大学総合情報ネットワークTAINSの構想
- プロトコル検証システムの設計と実現方式
- PrologプログラムのAND-OR並列実行モデル
- ASN.1データ定義支援環境の構成
- LOTOS仕様からのTTCN表現によるテストシーケンスの自動生成
- NOAA画像データと地理的情報の重ね合わせ
- NOAA画像データと等圧線の重ね合わせ
- LOTOS言語の特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- 代数的に記述されたプロトコルの検証に関する一考察
- AN APPROXIMATION METHOD FOR K-TERMINAL RELIABILITY EVALUATIONIN INFORMATION NETWORKAn
- ユーザインタフェースの設計に関する一考察
- 移動エージェントを利用したQoS保証機能の設計
- 利用者環境の違いとQoS保証を考慮したマルチメディア会議システム
- LOTOSの状態遷移的解釈