時間的要因を考慮したプロトコル検証法
スポンサーリンク
概要
- 論文の詳細を見る
多数のノードから構成される現実のネットワークでは、輻輳や長時間保留などの時間的な要因で、設計時に予想できなかった障害が発生している。本研究では、これらの障害を設計段階で検出することを目的とし、入力としてメッセージシーケンスを用いて時間的な要因を考慮したプロトコル仕様の検証法を提案する。
- 一般社団法人情報処理学会の論文
- 1993-03-01
著者
-
平川 豊
NTTソフトウェア研究所
-
畑 恵介
Ntt情報流通プラットフォーム研究所
-
畑 恵介
日本電信電話(株) ソフトウェア研究所
-
金井 敦
Nttソフトウェア研究所
-
金井 敦
Ntt ソフトウェア研
-
畑 恵介
NTTソフトウェア研究所
-
平川 豊
日本電信電話株式会社サービスインテグレーション基盤研究所
関連論文
- ブログにおける個人情報漏えいの状況調査(セッション1)
- ブログにおける個人情報漏えいレベルの定量化(セッション1)
- 分散アイデンティティエスクローを想定した電子掲示板におけるユーザ行動に関する研究
- サイバー犯罪におけるソーシャルエンジニアリングに対する被害過程モデルの適用
- ソーシャルエンジニアリングの実例分析による被害過程モデルの提案
- 迷惑メールにおける誘導手法に関する一考察
- 迷惑メールの外見的特長についての一考察
- DBMSにおける業務処理統制機能の要件と課題に関する考察(テーマ2 情報化社会における新技術の開発)
- 情報販売システムの構成に関する研究
- WWW上のサービスプログラム構造に関する検討
- 利用履歴に基づくコンテンツ分類手法の検討
- IDベース証明書を用いた"ゆるい認証"方式の提案(セッション3:地域と安全)
- 迷惑メールにおける誘導手法に関する一考察
- 特徴キーワードの変遷に見るSPAMメールの定性的特徴について
- 特徴キーワードの変遷に見るSPAMメールの定性的特徴について
- キャンパスPKIにおけるコスト構造に関する研究(マルチメディア通信,マルチメディアシステム,ライフログ活用技術、IP放送/映像伝送,一般)
- キャンパスPKIにおけるコスト構造に関する研究(マルチメディア通信,マルチメディアシステム,ライフログ活用技術、IP放送/映像伝送,一般)
- キャンパスPKIにおけるコスト構造に関する研究
- 2パーティ秘匿回路計算を利用したプライバシー保護データ分析実験報告(2)- 大学生の成績と生活実態との相関分析-
- 2パーティ秘匿回路計算を利用したプライバシー保護データ分析実験報告(2)- 大学生の成績と生活実態との相関分析-
- 次世代プライバシ保護サービスのコンセプト提案
- 分散アイデンティティエスクローを想定した電子掲示板におけるユーザ行動に関する研究
- 分散アイデンティティエスクローを想定した電子掲示板におけるユーザ行動に関する研究
- 三次元陳列空間制御システムVisualShowcaseにおけるマルチブラウザ対応方式の検討(セッション7)
- 三次元陳列空間制御システムVisualShowcaseにおけるマルチブラウザ対応方式の検討(セッション7)
- FACE技術と認証サービスの提案(オフィスインフォメーションシステム,グループウェア及び一般)
- FACE技術と認証サービスの提案(オフィスインフォメーションシステム,グループウェア及び一般)
- 仕様合成オペレータを持つ並行処理記述言語のアクションリファインメント
- 仕様合成オペレータを持つ並行処理記述言語のアクションリファインメント
- サービス仕様の関係に基づいたインクリメンタル開発プロセス導出法
- システム進化支援環境 リセプティブプラットホーム
- 終了状態情報に基づいたサービス評価方式
- インターネット上でのデータベースマーケティング
- ERPを利用した基幹情報システム構築における要求分析手法の検討
- イントラネット開発方法論と開発環境--分散型情報システム開発を加速する
- ブログにおける個人情報漏えいモデル(セッション4:コミュニティ(1))
- ブログにおける個人情報漏えいモデル(セッション4:コミュニティ(1))
- ブログにおける個人情報漏えいモデル(セッション4:コミュニティ(1))
- セキュアなソフトウェア開発を実現するセキュアソフト工学の提案
- 迷惑メールの外見的特長についての一考察
- フィッシング詐欺によるブランドへの影響に関する考察(知的財産関係,一般)
- フィッシング詐欺によるブランドへの影響に関する考察(知的財産関係,一般)
- 携帯電話に対するフィッシング詐欺の可能性と対策について(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- 携帯電話に対するフィッシング詐欺の可能性と対策について(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- 5R-6 事例学習による複合サービスマッチメーキング技術
- ERP適用分析技法Business Process Navigator ([特集論文]企業向けユ-ザ中心型システム設計技法)
- World Wide Webによる情報販売方式
- マルチメディア情報流通システム(infoKet)
- CD-ROM情報流通システムにおける情報オーサリングに関する一考察
- A-15-11 三次元空間を利用したビジュアル指向オークションサービスの提案
- 予約管理型イントラネット構築のための設計パターン技術REMIND
- 予約管理型イントラネット構築のための設計パターン技術
- イントラネット型分散情報システム開発方法論ParaDISE
- 最近のWWW系技術の動向
- 最近のWWW系技術の動向
- MSCとルールを併用した通信サービスの効率的開発法
- 通信ソフトウェアの畳込開発法
- 時間的要因を考慮したプロトコル検証法
- 並行開発型分散情報システム開発力法論 : ParaDISE
- 並行開発型分散情報システム開発技術ParaDISE (特集 カスタマ指向ソフトウェア開発方法論--分散型情報システム開発を加速する)
- ユーザ経験の追加によるワークフロー機能拡張システム
- 逐次追加型ワークフローにおける記述方式 : TORECの提案
- 逐次追加によるAP構築手法
- 分散システムにおける動的改版技術
- KBSE2000-26 ECサービスシナリオ編集機能の一考察
- ebXMLイニシアチブの概要と活動状況
- 5Y-4 異種サービス連携基盤InfoSTAGEの提案(情報システムの構築(2),一般講演,コンピュータと人間社会)
- 縮退到達可能性解析における網羅性について
- 分散システムにおける動的改版のためのグループ通信(その2)
- プロセス構成の変更を伴うサービスに対する MSC 仕様の適用法
- ネットワークの一部に対する通信ソフトウェア機能追加手法
- 通信ソフトウェアの機能改良手法
- D-9-36 キャンパスPKIのコスト構造定量化に関する検討(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- InfoSTAGEイベントドリブン型言語仕様(CSML)の検討
- イントラネットを利用した情報システム構築におけるコンポーネント再利用支援技術
- 情報システム構築におけるコンポ-ネント再利用支援技術 ([特集論文]企業向けユ-ザ中心型システム設計技法)
- 3層C/Sシステム開発方法論の評価実験
- 3層クライアント/サーバアーキテクチャに適応したシステム設計手法の提案
- 3層クライアント/サーバ設計法の適用事例
- 知識蓄積に適応可能なスケジュールデータ構成方法の評価
- 時間軸を中心にした知識継承用共有フォルダインタフェース
- 組織知識継承を実現する死蔵されない共有フォルダ構成法
- 侵入者の距離によりダイナミックにセキュリティレベルを制御するシステムの検討
- 動的ハイブリッドキャッシュコヒーレンシプロトコル方式
- 動的ハイブリッドキャッシュコヒーレンシプロトコル方式
- 侵入者の距離によりダイナミックにセキュリティレベルを制御するシステムの検討
- 住所を特定できるブログ掲載写真の現状調査