\documentstyle[11pt,twocolumn,epsf,page4prop,a4j,misc]{jarticle}

\topmargin = -1mm \oddsidemargin = 1mm \evensidemargin = 1mm
\headheight = 1mm \headsep = 1mm
\textwidth = 165mm \textheight = 232mm \topskip = 1mm
\footskip = 10mm \footheight = 0mm
\columnsep = 10mm \columnseprule = 0mm

%%\topmargin = -11mm \oddsidemargin = -6mm
%%\headheight = 1mm \headsep = 1mm
%%\textwidth = 175mm \textheight = 262mm \topskip = 1mm
%%%\footskip = 15mm \footheight = 0mm
%%\columnsep = 4mm \columnseprule = 0mm
%%%\partopsep = 3mm
%%%\intextsep = 3mm

\begin{document}

\twocolumn[

%% Title
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{center}
{\LARGE\bf 研究計画書\\[3mm]
匿名性と相手の特定を両立する仮想ネットワークの構築}\par\vspace{4mm}
慶應義塾大学環境情報学部\\
自署：＿＿＿＿＿＿＿＿＿\\
学籍番号 79956832\\
{\today}\vspace{2mm}
\end{center}

%% Abstract
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\baselineskip=4.2mm
\centerline{\bf 概要}\vspace{2mm}
{

本研究では、仮想ネットワーク上で
匿名性を保ったまま特定の相手との間に暗号通信路を提供する
アーキテクチャを設計・実装する。
特にリアルタイムなコミュニケーションを対象とし、
データではなくノードの匿名性を提供する。

人間の実世界での属性を隠して行動したいという要求から
匿名性を提供するサービスが広く使われているが、
サービスの内容や匿名性はそのサービスの提供者に
全面的に依存している。
さらに、高速なネットワークインフラが多くの家庭で利用されるようになり、
Peer-to-Peerモデルを利用したネットワークアプリケーションが
広く使われるようになったため、
特定のサーバに依存しない仮想ネットワーク上で
匿名を保ったままコミュニケーションを成立させる
システムに対する要求が高まっている。

本研究の応用例として、
匿名による共同創作活動を支援するグループウェアや
後から回答者と匿名のまま連絡の取れるアンケートなどが考えられる。


}
\vspace{5mm}

]

\baselineskip=5.0mm

%% 1
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{背景}

インターネット上でさまざまなコミュニケーションが行われるようになったが、
自分の名前や性別、職業といった属性による差別等を嫌がり
それらを隠して意見交換や情報公開をしたいという人は多く、
大規模な匿名掲示板や個人間商取引に使われるエスクローサービスなどの
匿名性を提供するサービスが広く使われるようになっている。

しかしそれらはそのサービスの提供者に全てを依存しているため、
特定のサーバの存在に依存せずに
匿名を保ったままコミュニケーションを成立させる
システムに対する要求が高まっている。

幸いにしてADSLや光ファイバなどの高速なネットワークインフラが
多くの家庭で利用されるようになり、
Peer-to-Peerモデルによる仮想ネットワークを利用した
ネットワークアプリケーションが広く使われるようになった。

そこで本研究では、こうした要求に応える
仮想ネットワークのアーキテクチャを構築する。



%% 2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{既存の技術}

\subsection{Peer-to-Peerモデルの特徴}

Peer-to-Peerモデルは、
ネットワーク層のIPによるネットワーク上に
仮想的なアプリケーションを構築し
その上で通信を行う通信モデルである。

Server-Clientモデルによっても
サーバが匿名と相手の特定を提供することができるが、
匿名性をサーバに対する信頼に依存している、
サービスとしてサーバが提供している以外の利用方法ができない
という2点から、
本研究ではServer-Clientモデルを採用しない。

Peer-to-Peerモデルには大きく2つの方式が存在する。
1つはノードやデータの発見を索引サーバに依存するIndex集中型であり、
もう1つは仮想ネットワーク上の複数のノードに検索要求を送出することで
検索を行う完全分散型である。

Napster\cite{napsterspec}\cite{napster}
をはじめとしたIndex集中型では
各ノードがあらかじめ索引サーバに所有しているデータの一覧を登録し
索引サーバ上で検索を行うが、
索引サーバの存在から既に述べたServer-Client型の欠点を同様に持っている。
よって本研究ではIndex集中型は採用しない。

\subsection{既存のアプリケーション}
完全分散型のPeer-to-Peerモデルを利用した
特徴的なアプリケーションとして以下の2つが挙げられる。

\begin{description}

\item[Gnutella\cite{gnutella}\cite{jnutella}]
仮想ネットワーク上で求めるデータを見つけるまで
検索要求を転送するという完全分散型としてごく基本的な構成をしている。
データの転送は直接行うため匿名性は提供されない。
また、特定の個人に対する通信という概念もない。

\item[freenet\cite{clarke00freenet}\cite{freenetproject}]
匿名の情報保存・検索ネットワークとして設計されたネットワーク基盤で、
アップロードされたデータをネットワーク全体のノードに分散して保存して
データの提供者や取得者が分からないように設計されている。

このFreenetではデータの匿名性を保証しているが、
本研究ではノードの匿名性が対象であり、
データの提供者や取得者を一切特定できない点で
コミュニケーション目的には利用し難い。

\end{description}


%% 3
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{研究の概要と設計}

\subsection{概要}
本研究では、以下に示す2つの要件を満たす新しい
仮想ネットワークのアーキテクチャを設計・実装する。

\begin{enumerate}
\item 匿名性

ノードの匿名性を確保するため、
互いの通信相手も含めて
実際に通信を行っているノードを特定できてはいけない。

\item 相手の特定

通信を行う際にノードを特定する匿名識別子を利用して
安全な通信路を確保することができ、
そのノード以外が通信を傍受したりなりすましたりできてはいけない。

\end{enumerate}

既存のアプリケーションとの違いを表\ref{table-diff}に示した。

\begin{table}[tbp]
\caption{既存の技術}
\label{table-diff}
\begin{small}
\begin{tabular}{c|c|c|c} \hline
				& サーバ依存	& 匿名性	& 相手の特定	\\ \hline
Server-Client	& ×			& ○		& ○			\\ \hline
Index集中型 	& ×			& ×		& ○			\\ \hline
gnutella		& ○			& ×		& ×			\\
Freenet			& ○			& ◎		& ×			\\ \hline
本研究			& ○			& ○		& ○			\\ \hline
\end{tabular}
\end{small}
\end{table}


\subsection{設計}

本研究で提供する仮想ネットワークは、
既存の完全分散型の仮想ネットワークモデルに
対する拡張として設計する。

仮想ネットワーク上で匿名性と相手の特定を提供する
機構のおおまかな動作を図\ref{timechart1}に示した。

\begin{figure}[htb]
  \partopsep -0.5cm
  \begin{center}
  \epsfile{file=timechart1.eps,scale=0.3}
  \caption{処理の概要}
  \label{timechart1}
  \end{center}
\end{figure}

検索要求及び検索結果の送信者を途中のノードが書き換え、
データを転送する際にそれらのノードを中継することにより
匿名性を確保しつつ、
各ノードはそれぞれ公開鍵対を保持し
その公開鍵をノードを示す匿名識別子として用いることでノードを特定する。

また、検索要求や検索結果メッセージごとに書換を禁止することで、
自己を証明することもできる。

動作の詳細は以下のとおりである。

\begin{enumerate}

\item Aが検索要求メッセージを投げる。

メッセージには検索要求のほか、
Aの識別子すなわち公開鍵$K_{A}$が含まれる。

\item Cが検索要求を受け取る。
Cは検索条件に適合しないため、
検索要求をそのまま他のノードへと転送する。

Dも同様に検索要求を受け取り転送するが、
中継する毎に確率的にメッセージの送信者のIPアドレスを
自ノードのアドレスへと書き換えて転送する。

さらに、書換を行ったノードは書換前の匿名識別子$K_{A}$と
その送信元であるAのIPアドレスの対を記憶する。

\item Bが検索要求を受け取り、条件に適合した。
Bは$K_{A}$とDのアドレスを保存する。

次に暗号通信路のセッション鍵$K_{S}$を生成し、
$K_{A}$で暗号化する。この$K_{A}[K_{S}]$と$K_{B}$を検索結果として、
$K_{B}$に対応するノードDに返す。

\item Dが検索結果を受け取る。
Dは$K_{A}$に対応するノードAに検索結果を転送する。
この場合も3と同様に確率的にメッセージの送信者を書き換え、
$K_{B}$及びBのアドレスの対を記憶する。

\item Aが検索結果を受け取り、
$K_{A}$と対となる自分の個人鍵を使って$K_{S}$を復号する。
$K_{B}$及びDのアドレスの対を記憶する。

Aは$K_{B}$と通信を始めるため、
$K_{B}$に対応するノードDに接続する。
ただし、通信内容は$K_{S}$によって暗号化する。

\item Dはさらに$K_{B}$に対応するBに接続し、
Aから送られた通信内容をBに中継する。

\item Bは$K_{S}$によって通信内容を複合する。

同様に、BからAに対しても$K_{S}$で暗号化することで
安全かつお互いに匿名性を保ったまま通信を行うことができる。

また通信路が失われた後も、仮想ネットワーク上で相手の
匿名識別子$K_{B}$を検索することで通信路を再生することができる。

\end{enumerate}



\subsection{想定される問題点と解決策}

\subsubsection{オーバヘッド}

匿名性を維持するために中経者を利用するため、
トラフィック的に大きなオーバヘッドが存在する。

本システムではメッセージの書き換えをノードごとに確率的に行っているが、
実際の動作状況をもとに確率パラメータを変動させることで
十分な匿名性を確保しつつオーバヘッドを最小限に抑える手法が
考えられる。

\subsubsection{トラフィック解析}

複数地点で収集したトラフィックを解析することで
通信路を推測する攻撃が存在する。

この攻撃に対しては、
ダミートラフィックの生成や意図的な遅延の挿入などが考えられる。



%% 4
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{評価方針}

本研究で提案するアーキテクチャが要件を満たしていることを確認するため、
実際に運用を行い以下の点から評価を行う。

\subsection{匿名性}

\begin{itemize}
\item 通信主体が互いの通信相手のノードを特定できない。
\item 第三者がトラフィック解析などにより通信主体のノードを特定できない。
\item 十分な匿名性を保証するために必要なオーバヘッド
\end{itemize}

\subsection{相手の特定}

\begin{itemize}
\item 匿名識別子から通信相手と暗号通信路を確保できる。
\item 第三者がトラフィック解析などにより通信主体のノードを特定できない。
\end{itemize}


%% 5
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{期待される成果}

\subsection{アプリケーション例}
以下に、本研究で構築する仮想ネットワーク上で
実現できるアプリケーションの例を挙げる。

\subsubsection{グループウェア}

インターネット上での匿名の創作行為を支援するため、
このシステムを利用してグループウェアのような
情報共有ツールを実現することができる。
具体的な機能としては掲示板、ファイル転送などがある。

\subsubsection{アンケート}

様々な主体が社会調査をはじめとしたアンケートを実施しているが、
無記名のアンケートをこのシステム上で行うことで
アンケートの実施主体を信用せずとも匿名を保ったまま回答することができる。

また、アンケートの実施主体が特定の回答者に
後からインタビューを行うこともできる。


\subsection{将来への展望}

これまでインターネット上で匿名で行動するには
何らかのサービスの力を借りる必要があり、
それが匿名での行動には限界となっていた。
本研究によって実現されるシステムを利用することで、
自分の情報を自分で制御することができるようになる。

利用者が増えさまざまなアプリケーションが開発されることで、
単なる匿名性の確保という機能をこえて
より大規模かつ一般的な通信基盤となる可能性もある。


%% 6
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{これまでの活動}

\begin{description}
\item[徳田・村井・楠本・中村・南合同研究会]
環境情報学部入学当初より
徳田・村井・楠本・中村・南合同研究会に所属し、
高度なネットワークインフラの構築及び運用に携わっている。

\item[pie\cite{pie},sprng\cite{sprng}]
学部1年春学期よりインターネットの普及に関する研究グループに所属し、
インターネットインフラが普及する上での問題点や、
普及が社会に与える影響について研究を行っている。

\item[neco\cite{neco}]
学部3年春学期よりネットワーク上のコミュニケーションに関する研究グループに所属し
ネットワーク上で行われるコミュニケーションの新しい形態の研究に携わっている。
\item[P2Pモデルの研究\cite{DPS2002}\cite{ipsj-zenkoku2001}]
P2Pモデルを利用したネットワーク測定に関する研究に携わっている。
\end{description}


%% 7
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{志望理由}

本研究では、新しい情報流通ネットワークモデルを提案し、構築する。
これを実現するためには、ネットワーク技術のみならず、
アプリケーションとしてより多くの人に使ってもらうための
ユーザインターフェースに関する議論が必要不可欠である。
このように多角的な面から研究を進めるにあたり、
これらの分野の研究が盛んに行われている政策・メディア研究科を志望したい。


%% 8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{共同研究者・関連団体}
本研究では、慶應義塾大学大学院政策・メディア研究科
``モービル広域ネットワーク(MAUI)''プロジェクトにおいて、
村井純教授、楠本博之助教授、中村修助教授の指導のもとに行う。

また、以下の団体と協力しながら研究を進める。

\begin{itemize}
\item 慶應義塾大学村井研究会内ワーキンググループ neco
\item WIDE Project
\end{itemize}


%% 参考文献
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibliographystyle{unsrt}
\bibliography{proposal}


\lastpagenumber
\end{document}

