| 大会名称 |
|---|
| 2009年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2009 |
| 発行日 |
| 2009/8/20 |
| セッション番号 |
| 2S |
| セッション名 |
| 無線ネットワーク |
| 講演日 |
| 2009/09/02 |
| 講演場所(会議室等) |
| S会場（5号館4F 541教室） |
| 講演番号 |
| M-065 |
| タイトル |
| P2P仮想ネットワークにおける移動体接続の永続化プロトコルとモデル検査 |
| 著者名 |
| 呉 ヒョク, 和崎 克己, |
| キーワード |
| 移動体通信, 接続永続化, P2Pネットワーク, モデル検査, SPIN, 形式検証 |
| 抄録 |
|
TCP/IPレイヤ上でのオーバレイネットワークを実現するために、P2Pの仕組みを 利用して仮想接続を行う事例が増えてきている。実際の接続ノードでモバイル機 器によるネットワーク利用を想定した場合、機器の移動によるIPアドレスの変更 や、通信の一時的な途絶に伴い、仮想接続を再開するためのコストが増大する。 このため、再接続のコストを低くするための上位プロトコルについて検討した。 再接続の際、接続フェーズの最初から開始せず、それまで接続を行っていた種々 の情報からノンス情報を生成し、それをノード間で交換・確認し合うことで、再 接続時のコストを抑える工夫を行った。設計した再接続プロトコルは、PROMELA 言語によって記述し、SPINモデル検査系によって要求仕様の検証を行った。 |
| 本文pdf |
| PDF download (706.9KB) |