論 文
USAGI プロジェクトによる IPv6 基本ソフトウェアの開発
吉藤 英明y神田充yy

浩y

村井純yyyyy

江崎

高宮 紀明yyy

関谷 勇司yyyy

Development of IPv6 Software System by the USAGI ProjectyHideaki YOSHIFUJI , Mitsuru KANDAyyyyyy, Noriaki TAKAMIYA, Yuji SEKIYA

yyyy,yyyyyHiroshi ESAKI , and Jun MURAI

あらまし 近年，インターネットにおけるアドレ スの不足が深刻化しており，この抜本的解決策として IPv6が注目されている．本論文では Linux における IPv6 基本ソフトウェアのアーキテクチャ設計提案とその実装評
価を行っている．具体的には，新しいタイマ管理と排他制御ポリシの導入，プロトコル処理におけるモジュールやインタフェースの再定義，IPv4 からのより安全かつ円滑な移行性を可能にするための新しいソケット インタフェースの導入を行った．さらに，モジュール性の高い IP セキュリティ機能を実現し ，仮想デバイスによる移動透過性の高いモバイル IP の実現に向けたソフトウェアアーキテクチャの設計も行なった．最後に本研究により Linux における IPv6 プロトコルスタックの品質が大幅に改善されたことを定量的に示した．
キーワード
ジュール化

1.

IPv6，Linux，USAGI プロジェクト，オペレーティングシステム，タイマ管理，排他制御，モス空間を提供する．

まえが き

IPv6(Internet Protocol version 6) [1] は現行のインターネットプロトコルである IPv4(Internet Protocolversion 4) が抱える種々の問題，特に通信に必要なアドレス空間の枯渇問題を根本的に解決することを目的

1990 年代前半から IETF において進められてきた
IPv6 の仕様はこれまでにほぼ確定した．IPv6 技術は，試用期を経て，種々のネットワーク機器や，オペレーティングシステム（ OS ）を含むソフトウェアのベンダが対応を推進しており，さらに，ISP(Internet Serviceに，IETF(Internet Engineering Task Force) で標準Provider) による商用サービ スも始まるなど ，いよい化が進められてきた次世代インターネットプロトコル

よプロダクトクォリティな実用段階に入ってきている．

で，128 ビットの事実上無限ともいえる広大なアドレ
y 東京大学大学院情報理工学系研究科，東京都

Graduate School of Information Science and Technology,
The University of Tokyo, 7-3-1, Hongo, Bunkyo, Tokyo,113-8656 Japanyyyy 慶応大学大学院政策・メデ ィア研究科，神奈川県

Graduate School of Media and Governance, Keio University, 5322, Endo, Fujisawa, Kanagawa, 252-8520 JAPANyy 株式会社東芝 研究開発センター，神奈川県

Corporate Research & Development Center Toshiba Corporation, 1, Komukai Toshiba-cho, Saiwai, Kawasaki,Kanagawa, 212-8582 JAPANyyy NTT ソフトウェア株式会社, 神奈川県
NTT Software Corporation, 223-1, Yamashita-cho, Naka,Yokohama, Kanagawa 231-8851 Japanyyyyy 慶応大学環境情報学部，神奈川県

Faculty of Environmental Information, Keio University,5322, Endo, Fujisawa, Kanagawa, 252-5222 JAPAN
電子情報通信学会論文誌

X

1998 年には日本における Linux IPv6 ユーザが 集
まって Linux IPv6 Users Group JP が発足し，LinuxIPv6 プ ロトコルスタックの実運用に即した種々の検証が行なわれたが，未実装機能の多さ，準拠仕様の古さと，仕様準拠度の低さなどの多くの不都合があることが指摘された．
特に，以下の２つの課題が重要な問題として認識された．
（ 1 ） ソケットアドレス構造体（ sockaddr in6fg ）に スコープ 識別子を 格納する メン バが な いなど の ，
基本ソ ケット API に おけ る スコープ の 概 念の 欠如（ sin6 scope id 問題）（ 2 ） アド レ スの 自 動 設 定 を 含 む 近 隣 探 索 機 能（ IPv4 でのアドレス解決プロトコル（ ARP ）に相当す

Vol. Jxx{XNo. xx

pp. 1{6xxxx

年 xx 月1電子情報通信学会論文誌 'xx/xx Vol. Jxx{X No. xx

る機能を包含する）の不具合（ 注 1 ）Linux カーネルのネット ワーク関連の 開発を 担っている netdev [3] に 対し て様々な提案の行なわれ る
中，Linux Conference '99 会場に集まった Linux IPv6
Users Group JP の主要メンバである筆者らは，これらの問題を集中的に解決するために，USAGI(UniversalPlayground for IPv6) プロジェクト [4] を発足させることになった．

USAGI プロジェクトでは，WIDE プロジェクトの支援の下，カーネルから種々のユーザ空間上のライブ

Neighbor Cache Table

Neighbor Cache Table

Neighbor Cache Entry

Timer

Neighbor Cache Entry

Neighbor Cache Entry

Timer

Neighbor Cache Entry

Neighbor Cache Entry

Timer

Neighbor Cache Entry
Dependent

IndependentTimer

図 1 近隣キャッシュにおけるタイマおよび 排他制御の局所性（ 左:Linux, 右:USAGI ）Fig. 1 Locality of timer and mutual exclusion of the
Neighbor Cache Entries (Left: Linux, Right:USAGI)

ラリ，アプ リケーションにわたる総合的な基本ソフト
ウェアの研究開発を行なっており，IPv4 からのより安全かつ円滑な移行性の実現と，IETF 規格への高い整従来の実装においては，近隣キャッシュエント リの状態遷移やアドレスの有効期間の管理が，それぞれ 30合性を実現し ，さらに，最新規格に基づいた新たな機秒や 120 秒という時間スケールを基準としたタイマに能も実装する．

よるポーリングで実現されていた．このため，数秒以

本論文では，筆者ら（すなわち USAGI プロジェク

下の精度でのタスク処理が要求される近隣キャッシュト ）が Linux における実装上の問題点を解決するためエントリの状態遷移やアドレスの有効期間の管理がきに行なった基本アーキテクチャの提案とその評価を行わめて不正確なものとなっていた．

なっている．具体的には，新しいタイマ管理と排他制

この問題の解決方法としては，状態遷移処理を十分

御ポリシの導入，プロトコル処理におけるモジュールな精度で行なうよう，定期タイマ間隔を短くする方法

や インタフェースの再定義，IPv4 からのより安全かが知られており，タイマ処理の負荷を最小にできる可つ円滑な移行性を可能にするための新しいソケット イ能性がある．しかしながら，この状態遷移のための処ンタフェースの導入，さらに，柔軟性の高い IP セキュ

理は常に十分な頻度で繰り返さなければならず，さらリティアーキテクチャや，仮想デバイスを用いたよりに，個々のエントリを網羅するために，それらを保持移動透過性の高いモバイル IP の実現に向けたソフトするテーブル全体を，全体の処理が終わるまで排他的ウェアアーキテクチャを議論している．に扱い，かつ同時に行なえる処理も制限しなければな2.

タイマ管理と排他制御ポリシ

近隣探索（ Neighbor Discovery ）は，IPv6 の最もらない．すなわち，排他処理が細分化され，カーネル内で複数の処理が並行して行なわれる状況では，テーブル全体の排他制御は効率の低下を招いてしまう．

特徴的な機構の一つで，ルータ探索とアドレス自動設

そこで，USAGI 実装においては，近隣キャッシュエ定，リンク層アドレス解決と不到達性検出および ，リントリの状態遷移を整理し ，エントリ毎にタイマを用ダ イレクトに分類されることはよく知られるところで意して，タイマによるエントリの状態遷移処理を 1 つある．ネットワーク上に起こる種々のイベントとタイに集約し ，状態に応じたタイマを実行させることとしマによる，多様な状態の正確な管理が必要とされる．

た．これにより，個々のエントリ相互，およびその他例えば，データリンク層のアドレス解決と不到達検の各種資源との資源独立性が高まり，大域的な排他制知では，近隣ノード の状態を保持する近隣キャッシュ御を削減した（ 図 1 ）．

エントリが管理されるが，特に正確な不到達性の検知一方，アドレス管理に関しては，全アドレスで最もには，エントリの状態に依存する精緻なタイマ管理が直近に評価すべき時刻を推定して次のタイマを決定す必要である．また，ノード に割り当てられたアドレスることにより，アドレスの非優先化および 無効化を確の管理も，その有効期間について正確な時間管理が要

実に実現している．処理タスクの実行頻度は最頻でも求される．

0.5 秒毎とすることにより，アドレ ス管理においてしばしば発生する，ほぼ同時に処理すべきアドレスが複

1 IPv6（注 ）：仕様準拠度を評価する試験によって明確になった ．

2[2]

TAHI プロジェクトによる適合性数あった場合の負荷を軽減することができるようなシステムとした．

論文／USAGI プロジェクトによる IPv6 基本ソフトウェアの開発

3.

プロト コル処理におけるモジュールおよびインタフェースの再定義

表 1 種々の環境における IPv4 射影アドレス対応戦略
Table 1 IPv4 mapped address strategy on variousplatforms
環境

近隣のノード の探索とその到達性の管理，という処理自体は，IPv6 固有のものではない．実際に通信される内容の詳細は異なるが，IPv4 における ARP も同様の役割をもつ．このため，それらの中核的な処理を統合することが考えられる．事実，Linux においては，

IPv6 の近隣キャッシュエント リと，IPv4 の ARP エントリ，DECnet の近隣エントリが，核となる単一のFreeBSD 4.x
NetBSD 1.5OpenBSD
Solaris 8Windows XP
LinuxUSAGI Linux

射影
ポート
アドレス 共存
◎○△
◎×◎
◎
○×◎
◎×◎
●

仕様 潜在適合 安全性●
△△○×◎
●
△×
◎
○×◎
△

◎:非常に優れている／○:優れている:／●:やや優れている／△:やや問題がある／× :問題がある処理部によって扱われていた．
し かし ながら ，Linux においては ，それらの違いは ，状態遷移の時間設定程度であったため，近隣通表 1 に示すように，IPv4 射影アド レスのサポート，知メッセージ（ Neighbor Advertisement ）のように，TCP や UDP それぞれにおける IPv6 と IPv4 のポーメッセージに含まれるフラグや近隣の状態に依存したト共有の可否などに関して，実装ごとに異なる方法を複雑な処理ができなかった．

選択している．Linux においては，IPv6 射影アドレ

USAGI 実装においては，近隣キャッシュエントリ更スをサポートし ，TCP や UDP のポート 空間を共有

新処理を，その原理と前章のタイマ管理・排他制御ポしていた．このため，射影アドレスをサポートしないリシにしたがった枠組として再設計した上で，処理関OpenBSD など を考慮して IPv4 と IPv6 のそれぞれ数の引数の意味を拡張して IPv6 近隣通知メッセージにソケットを作成するようなアプ リケーションや全くなどの特殊処理を派生させ，適切な近隣探索の状態遷別のプロセスでサービ スするようなアプ リケーション移を実現した．
また，近隣探索メッセージ 処理については，従来，を必ずしもうまく動作させることができなかった．これは double-bind 問題と呼ばれている．

処理方法が統一的でなく，悪意のある通信からできるUSAGI プロジェクトではセキュリティ上および 利だけ保護し ，安定運用に不可欠である正当性試験の多便性，従来の挙動との互換性の観点から，この挙動をくが不十分であった．USAGI 実装においては，近隣整理した．具体的には，IPv4 射影アドレスを無効にす

探索プロトコルで共通に必要となる処理，特に近隣探るための IPV6 V6ONLY ソケットオプション [6] を導索のオプション解析部を共通部品化するとともに，受入し，IPv6 ソケットに対してこれが設定されている場信処理部の構造を統一化して可読性を向上させ，正確合に限り IPv4 ソケットとの共存を許すものとするよで堅牢な正当性試験を実現している．
4.

IPv6 への円滑な移行性の実現

うに拡張した．これにより，当該ソケットオプションを設定しない従来の Linux アプリケーションのなどとの互換性を維持するとともに，特にアクセス制御など

IPv6 では，IPv4 からの移行技術の一つとして，IPv4を重視するアプ リケーションもこのソケットオプショ

射影アドレスと呼ばれる機構を用意している．これは，ンを利用することで実現可能となった．セキュリティ

IPv4 空間を広大な IPv6 空間の一部に射影するもの
で，アプリケーションは，IPv4 の通信相手は IPv6 のそれと同様に扱うことができる [5]．これにより，アプリケーションは IPv6 に対応するだけで IPv4 も簡単を重視するアプ リケーションは今後このオプションを利用すると考えられるため，この方式は有効に機能すると期待される．にサービ スできる利点がある．しかしながら，特にア

USAGI 実装では，これに加え，未指定アドレ スと指定アドレスが SO REUSEADDR ソケットオプショ

クセス制御の観点では，通信相手のアドレスの形式がンを利用し て同一ポート 上に 共存し た場合にパケッ

従来の IPv4 と異なるために，従来の制御ファイルをトは指定アド レ スでのサービ スに優先し て配送されそのまま流用できなかったり，アプ リケーションの処ることを利用し て，未指定アド レ ス上のサービ スへ理が繁雑になってセキュリティ上の弱点が生じやすいのパケット配送を妨げ る攻撃の脅威を低減している．という欠点がある．

SO REUSEADDR ソケットオプションの効力を同一
3

電子情報通信学会論文誌 'xx/xx Vol. Jxx{X No. xx

ユーザに限り，さらに，IPV6 V6ONLY オプションについても，同様な対策を適用している．

Application
IKEd

Policy Set

こ れ ら の 機 能 の 実 現 の た め ，TCP,UDP お よび

IPv4,IPv6 の組合せで 4 つある検査関数を従来の実装で，不可解であった SO REUSEADDR オプションなuserland
kernelPF_KEY sockets

どの挙動も含めて原理に立ち戻って整理し ，論理的かつ簡明にすべての組合せをつくす方法に改めて，複雑SADな挙動の実装に際して誤りを起きにくくしている．
5.

SPDTCP/UDP/ICMP

IP/IPsec Proccessing(Policy Engine)

IP セキュリティの実現

図 2 USAGI IPsec 実装の構造Fig. 2 Structure of USAGI IPsec

IP セキュリティ（ IPsec ）[7] の機能は ，IPv6 仕様
上必須とされているにもかかわらず，現在のところ，カーネル配布物の中に IPsec の実装は含まれていなかった ．一方，IPv4 に ついては FreeS/WAN プ ロ
ジェクト [8] がその実装を独自に提供し，IPv6 についても，この FreeS/WAN プ ロジェクトのソースコーに導入することで，IP バージョンに依存することのないデータベース構造を実現している．
5. 2

暗号/認証アルゴリズム

えられるが，以下の理由により本章で提案しているソ

IPsec で使用する暗号化や認証のためアルゴ リズムは IPsec 固有のものでなく一般的なものである．そのため，USAGI プロジェクトでは上記アルゴ リズムをcryptoapi と呼ばれる実装 [9] を利用している．この実装では暗号化/復号化関数等の インタフェースを抽象フトウェア構造での実装を行なった．

化しており，様々なアルゴ リズムを容易に追加削除すド を一部利用していたものが存在していただけであった．FreeS/WAN プ ロジェクトの成果物である IPv4の IPsec 実装を流用して実装をすすめていく方法が考FreeS/WAN プロジェクトの実装では IPsec のアーることができる．これにより新しいアルゴ リズムに対

キ テ クチャーの 中で IPv4 や IPv6 に 関わ ら ず 共応することも容易であるし ，また，種々の暗号輸出規通化で きる部分である SAD(Secutirty Association制などが存在する国においても，アルゴ リズムだけをDatabase) や SPD(Security Policy Database) など ，強く IPv4 アドレス体系に依存している．さらに，パケット処理部もトンネリングの手法を用いた BITS(Bump
In The Stack) と呼ばれる IP 層（ネットワーク層）とデータリンク層の間に実装されているおり，パケット転送効率の低下が発生してしまう．
図 2 に，USAGI プロジェクトによる IPsec 実装の構成を示す．
5. 1

IP バージョン非依存なデータベースの実現

IPsec 機能の中で SAD と SPD は IPv4 や IPv6といった IP バージョンには 依存し ない．すなわち，USAGI 実装においては ，IPv4 と IPv6 で共用が 可能な SAD と SPD を実現している．これらのデータベースには，その利用するプ ロトコルに応じた IPv4アドレ スまたは IPv6 アドレスとポート 番号などが格納される．汎用性や IPv6 のスコープの概念への対応の観点から，これらはそれぞれ sockaddr infg 構造体と sockaddr in6fg 構造体を使用すると都合が良い．このため両者のポータビ リティのために定義された sockaddr storagefg 構造体を新たにカーネル内4除外して配布ことが容易に実現できる．現在 USAGI
プロジェクトの IPsec で利用できる暗号化アルゴ リズ
ムは des-cbc と 3des-cbc であり，認証アルゴ リズム
は hmac-md5 と hmac-sha1 である．
5. 3

PF KEY ソケット 仕様

PF KEY はユーザ空間アプ リケーションがカーネ
ルにセキュリティポリシ（ Security Policy ）を設定するためにインタフェースである．PF KEY(Version 2)の仕様は RFC2367 [10] に定義されているが．この文書に定義されている仕様は基本的なものだけで十分といえず，各種のセキュリティポリシなどを設定するためには，実装ごとに独自の拡張がなされている．USAGI
プロジェクトとしてはこの拡張部分は FreeS/WAN プロジェクトの定義を利用することによってユーザ空間のアプ リケーションとの互換性を保つようにしている．
6.

モビリティ機能の実現

モバイル IPv6 は，IPv6 で注目されている機能の 1つである．モバイル IPv6 では IPv6 の機能を活かし ，IPv4 のモバ イル IP では必要とされている外部エー

論文／USAGI プロジェクトによる IPv6 基本ソフトウェアの開発
Incoming datawith encapsulation
Incoming datawith routing header
Outgoing data
MIPv6 Virtual Device
Home Address Option
Binding Update
etc...

Physical Device

Other Physical Device(when device changed)

表 2 TAHI 仕様適合性試験結果（ \成功" 率，抜粋）
Table 2 TAHI Conformance Test Result (\PASS"Ratio)
試験
Linux
USAGI
分野 2.2.15 2.4.14 2.4 系 2001/11 末ND
34% 39%86%
SAA 4%77%98%

図 3 仮想デバイスを用いたモバイル IP の実装
Fig. 3 Mobile IP implementation using virtual deviceの機能との共存ができるようなモバイル IPv6 の機能
ジェント（ Foreign Agent ）を省略した通信が可能である．

USAGI 実装では，ヘルシンキ工科大学（ HUT ）によるモバ イル IPv6 の実装を取り入れ ，USAGI 実装
が基礎をおく最新カーネルでの動作が可能となっている．一方で，HUT の実装を取り入れた結果，以下の問題点が顕在化した．
（ 1 ） 移動ノード におけるホームアドレ ス（ HomeAddress ）の設定
（ 2 ） ダ イ ナ ミック ホ ー ム エ ー ジェン ト 探 索（ Dynamic Home Agent Discovery ）（ 3 ） Net lter および IP セキュリティ機能との相の実装を今後行なう．
7.

USAGI プロト コルスタックの評価

上述した USAGI プロトコルスタックにおける基本ソフトウェアの評価を TAHI 仕様適合性評価システムを用いて行なった（表 2 ）．本論文の論点である近隣探索（ Neighbor Discovery ），およびルータ探索・アドレス自動設定（ Stateless Address Autocon guration ）に関して，顕著な改善が実現されたことがわかる．な
お，USAGI プロジェクトの成果は Linux 配布物にも反映されている．
8.

むす び

互運用性
（ 4 ） モバイル IPv6 起動時の初期化

本論文では，USAGI プロジェクトによる IPv6 基本

ホームアドレスの設定は，現在ネットワークに接続ソフトウェアについて，その特徴的なアーキテクチャしている物理デバイスに直接設定するため，デバイスをいくつか取り上げて議論，評価を行なった．USAGIをまたがった移動透過性に欠けている．USAGI では

ソフトウェアは，基本的には従来の Linux カーネルのこの問題点を仮想デバイス（ Virtual Device ）を用いプロトコルスタックを踏襲しているが，近隣探索プロて解決している．仮想デバイスを導入することによりトコル，IP セキュリティ，モビ リティといった実現にホームアドレスの管理を物理的なデバイスから分離し，おいて，IPv6 の機能をより自然，広範かつ安定に動デバイス間で透過的な移動が可能となる（ 図 3 ）．

作するための新しいソフトウェアアーキテクチャを提ダ イナミックホームエージェント 探索については，現在の Linux がエニキャストがサポートされていない案し実装している．
最後に，今後の課題を挙げる．

ことから，HUT 実装では通常のユニキャストアドレ（ 1 ） 全体構造としては，同様な処理が複数箇所にスのようにエニキャストアドレスを割り当ててダ イナ存在するなど ，全体が必ずしも自然かつ効率的なソフミックホームエージェント探索を実現している．そこトウェア構造とはなっていない部分が未だ数多く存在

で，USAGI ではエニキャストを実装し ，この枠組のする．

中でダ イナミックホームエージェント探索を実現する．

（ 2 ） スコープの扱いの一層の改善．

また，USAGI プロジェクトは Net lter や IP セキュ（ 3 ） end-to-end 通信の実現によりますます重要リティ機能など IPv6 上での重要な機能を実装していとなる鍵交換をはじめとしたセキュリティアーキテクるが，現在のモバ イル IPv6 の機能ではこれらの機能チャの検討．との共存を前提としていない．Net lter の機能は，モ以上のような基礎・応用両面にわたる検討をもとに，バイル IPv6 の機能が必要としているが通常のパケッより洗練され 完成度の高い実装を広く提供して IPv6トフィルタリング等との機能と併用したときの動作がの普及を図り，また標準化活動にも貢献する予定で保証されていない．USAGI プロジェクトではこれらある．
5電子情報通信学会論文誌 'xx/xx Vol. Jxx{X No. xx

文献[1] S. Deering and R. Hinden, \Internet Protoco, Version
6 (IPv6) Speci cation," RFC2460, 1998.
[2] 福原一朗, 国武功一, 吉藤英明, 岡村耕二, 楠根雄志, 関谷勇司, \Linux でつなぐ IPv6 の世界," Linux Conference'99, 1999.
[3] Netdev mailing list, <netdev@oss.sgi.com>[4] USAGI Project, <http://www.linux-ipv6.org>[5] R. Gilligan, S. Thomson, J. Bound and W.
Stevens, \Basic Socket Interface Extensions for
IPv6," RFC2553, 1999.
[6] R. Gilligan, S. Thomson, J. Bound and W. Stevens,\Basic Socket Interface Extensions for IPv6," draftietf-ipngwg-rfc2553bis-04.txt, 2001.
[7] S. Kent, R. Atkinson, \Security Architecture for theInternet Protocol," RFC2401[8] FreeS/WAN Project, <http://www.freeswan.org>[9] International Kernel Crypto API for GNU/Linux,<http://sourceforge.net/projects/cryptoapi/>[10] D. McDonald, C. Metz, B. Phan, \PF KEY key Management API, Version 2," RFC2367[11] D. Harkings, D. Carrel, \The Internet Key Exchange(IKE)," RFC2409（ 平成 x 年 xx 月 xx 日受付）

関谷

1997 年 京都大学総合人間学部基礎科学科数理情報論卒業，1999 年 慶応義塾大学
政策・メディア研究科修士課程修了，1999

年 10 月 よ り 半 年 間 ，ISI(InformationSiences Institute) にて訪問研究員を勤める．Lisp 言語に関する研究，次世代ネットワークの開発・構築に関する研究ならびに DNS に関する研究に従事．

江崎1999 年東北大学工学部情報工学科卒．
2001 年同大大学院情報科学研究科修士課
程了，東京大学大学院情報理工学研究科博士課程入学．コンピュータネットワークにおける情報伝達，次世代ネットワークの構築・管理に関する研究開発に従事．

浩 （ 正員）1987 年 九州大学 工学部電子工学科 修士課程 了，（ 株 ）東芝 入社．1990 年より2 年間 米国ニュージャージ州 ベルコア社，1994 年より 2 年間 米国ニューヨーク市 コ
ロンビア大学 CTR (Centre for Telecommunications Research) にて客員研究員．
1998 年 10 月より東京大学大型計算機センター助教授，2001 年4 月より現職（ 東京大学 情報理工学系研究科 助教授）．ATM
ネットワーク制御技術，高速インターネットアーキテクチャ，セルスイッチルータの研究・開発・マーケティングに従事．WIDE
プロジェクトボード メンバー．MPLS-JAPAN 代表，IPv6 普及・高度化推進協議会専務理事，通信放送機構ジャパンギガビッ
トネットワーク運営委員．工学博士（ 東京大学）．

村井
吉藤 英明 （ 学生員）

勇司

純 （ 正員）1984 年 慶應義塾大学工学部数理工学博士課程 了．1987 年 博士号取得．1984 年
東京工業大学総合情報処理センター助手．

1987 年 東京大学大型計算機センター助手．
1990 年 慶應義塾大学環境情報学部助教授．
1997 年 慶應義塾大学環境情報学部 教授，
1999 年 慶應義塾大学 SFC 研究所所長．WIDE プロジェクト
代表，社団法人日本ネットワークインフォメーションセンター理事長，ICANN ボード．

神田充

1997 年 東北大学工学部機械電子工学科卒，1999 年 東北大学大学院情報科学研
究科修士課程了．同年株式会社東芝入社．
ユービキタスコンピューティング及び次世代ネットワークの研究開発に従事．

高宮 紀明

1994 年東京工業大学理学部情報科学科卒．同年ＮＴＴソ フト ウェア株 式会社入社．現在インターネット技術センター配属．
IPv6 ネットワークの構築およびプログラ
ム開発，SE 業務に従事．

6