BANロジックによるネットワーク・アドレス情報の完全性の検証
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,コンピューター・ネットワークにおけるアドレス情報について,不正確な情報からの脅威を解説し,情報流の完全性の必要を説き,信用できるアドレス情報のための登録プロトコルを紹介する.さらに,そのプロトコルをBANロジックを用いてフォーマルな形での検証を試み,このような検証において,情報流の経路の必要性を示す.
- 一般社団法人情報処理学会の論文
- 1995-03-02
著者
関連論文
- 匿名データベースを用いた交通事故情報の企業間共有(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- ソフトウェア操作における待ち時間が操作者の心理生理学的状態に及ぼす影響
- 視覚系疲労の少ないヒューマンインタフェース開発に向けた評価法の提案(ユーザビリティ)(「インタラクション:理論,技術,応用,評価」)
- 6ZC-1 インフォーマルコミュニケーションのきっかけに関する質問紙調査(コミュニケーション,学生セッション,インターフェース)
- トラストの感情としての安心およびその要因について(サービスと信頼性)
- 6ZL-3 プリペイド型簡易商店システムの実装と評価(情報システムの事例,学生セッション,コンピュータと人間社会)
- 6ZC-9 アクセス制御機能を備えた戸下通信システムの開発と評価(コミュニケーション,学生セッション,インターフェース)
- P2Pネットワークを利用したモバイル環境向け印刷支援システムの開発(学生セッション)
- 1Z-3 PrinterSurf:オーバーレイネットワークを用いた実用的なプリンタシステムの実装(P2P,学生セッション,ネットワーク)
- 4D-3 センサ内臓型操作デバイスを用いた直感的な遠隔カメラ操作に関する検討(マルチメディア通信システム,一般セッション,ネットワーク)