version 1.33, 1999/12/21 11:01:44 |
version 1.34, 1999/12/21 12:02:21 |
|
|
|
|
\title{タイトル未定} |
\title{タイトル未定} |
\author{ |
\author{ |
前川 将秀, |
前川 将秀\thanks{神戸大学理学部数学科}, |
野呂 正行, |
野呂 正行\thanks{富士通研究所}, |
小原 功任, \\ |
小原 功任\thanks{金沢大学}, \\ |
奥谷 幸夫, |
奥谷 幸夫\thanks{神戸大学大学院自然科学研究科博士課程前期課程数学専攻}, |
高山 信毅, |
高山 信毅\thanks{神戸大学理学部数学教室}, |
田村 恭士 |
田村 恭士\thanks{神戸大学大学院自然科学研究科博士課程後期課程情報メディア科学専攻計算システム講座} |
} |
} |
\date{1999年11月25日} |
\date{1999年11月25日} |
%\pagestyle{empty} |
%\pagestyle{empty} |
Line 46 OpenXM 規約独自のデータ形式である CMO 形式(Common Math |
|
Line 46 OpenXM 規約独自のデータ形式である CMO 形式(Common Math |
|
|
|
{\Huge この節では計算モデルの話をしなければいけませんよ、田村君} |
{\Huge この節では計算モデルの話をしなければいけませんよ、田村君} |
|
|
OpenXM 規約でのメッセージの交換はサーバとクライアントの間で行なわれる。 |
OpenXM 規約での計算とはメッセージを交換することである。 |
|
そして、そのメッセージの交換はサーバとクライアントの間で行なわれる。 |
クライアントからサーバへメッセージを送り、 |
クライアントからサーバへメッセージを送り、 |
メッセージに対する返答を |
メッセージに対する返答を受け取ることによって |
|
計算の結果が得られる。 |
|
|
サーバはスタックマシンであると仮定されており、 |
サーバはスタックマシンであると仮定されており、 |
サーバがクライアントから受け取ったメッセージはすべてスタックに積まれる。 |
サーバがクライアントから受け取ったメッセージはすべてスタックに積まれる。 |
Line 381 OpenXM 規格に対応したサーバを呼び出すことができる。 |
|
Line 383 OpenXM 規格に対応したサーバを呼び出すことができる。 |
|
データを変換するソフトウェアが JAVA によって実装されており、 |
データを変換するソフトウェアが JAVA によって実装されており、 |
OMproxy という名前で提供されている。 |
OMproxy という名前で提供されている。 |
|
|
この MathCap データのリスト構造は大きく分けて 3 つの部分に分かれる。 |
|
最初の {\tt [199901160,"ox\_asir"]} の部分にはサーバの情報が入っている。 |
|
%この最初の要素がまたリスト構造となっており、 |
|
最初の要素はバージョンナンバーを、次の要素はサーバの名前を表している。 |
|
|
|
次の {\tt [276,275,$\cdots$,271]} の部分は |
|
サーバに対する動作に対応した理解可能なデータの種類を表している。 |
|
サーバの動作に対するデータはすべて 32 bit の整数で表しており、 |
|
このリストは理解可能なデータに対応する 32 bit 整数のリストとなっている。 |
|
|
|
最後の {\tt [ [514,[1,2,3,$\cdots$,60]],[2144202544,[0,1]] ]} の部分は |
|
理解可能なデータの形式を表している。 |
|
この部分はさらに {\tt [514,[1,2,3,$\cdots$,60]]} と |
|
{\tt [2144202544,[0,1]]} にの部分に分けることができ、 |
|
それぞれが一つのデータ形式についての情報となっている。 |
|
どのデータ形式についての情報かは最初の要素にある整数値をみれば |
|
分かるようになっている。 |
|
この整数値は CMO 形式では 514 となっている。 |
|
最初のデータ形式を区別する整数値以後の要素は |
|
各データ形式によってどのように使われるか定まっている。 |
|
CMO 形式では理解可能なデータのタグがリストの中に収まっている。 |
|
前節で CMO 形式では多倍長整数を表すタグが 20 であることを述べたが、 |
|
このリストに 20 が含まれているので、 |
|
ox\_asir は CMO 形式の多倍長整数を受け取れることがわかる。 |
|
|
|
なお、データが受け取れることと、 |
|
データの論理構造が理解できることとはまったく別物であるので |
|
注意する必要がある。 |
|
|
|
|
|
\section{セキュリティ対策} |
|
|
|
OpenXM では幾らかのセキュリティ対策を考えている。 |
|
OpenXM に対応したソフトウェアをクラックしても |
|
大した利点はないと思えるが、それは設計上の話であって、 |
|
予期せぬ手段で攻撃を受けた場合にどのような事態を |
|
招くかは想像し難い。 |
|
|
|
そこで、 OpenXM では侵入者に攻撃の機会を |
|
できるだけ与えないようにしている。 |
|
具体的には、接続が必要になった時のみ接続を待つようにし、 |
|
常に接続に関与するといったことは避けている。 |
|
|
|
しかし、これだけでは侵入者が接続を行なう一瞬のすきを |
|
狙ってくる可能性もある。 |
|
そこで接続を行なう時に、 |
|
接続を待つ port 番号をランダムに決めている。 |
|
こうすることで、特定の port 番号を狙って接続を行なう |
|
瞬間を待つ手口を幾らか防ぐことができる。 |
|
|
|
さらにもう一段安全性を高めるために、 |
|
接続時に 1 回だけ使用可能なパスワードを作成し、 |
|
そのパスワードを使って認証を行なう。 |
|
このパスワードは一旦使用されれば無効にするので、 |
|
もし仮になんらかの手段でパスワードが洩れたとしても安全である。 |
|
|
|
なお、上記の port 番号とパスワードは安全な手段で送られて |
|
いると仮定している。 |
|
また、同一のコンピュータ上に悪意のあるユーザはいないと仮定している |
|
ことに注意しなければならない。 |
|
なぜなら、現在の実装ではサーバ、およびクライアントの動作している |
|
コンピュータ上ではこの port 番号とパスワードがわかってしまうためである。 |
|
|
|
なお、接続が確立した後のメッセージの送受信に関しては、 |
|
特に暗号化などの処置が行なわれているわけではない。 |
|
もし必要があれば、通信路の暗号化を行なう機能がある |
|
ソフトウェアを使うことを考えている。 |
|
|
|
|
|
\section{他のプロジェクト} |
|
|
|
他のプロジェクトについて幾つか紹介する。 |
|
|
|
OpenMath プロジェクトは数学的なオブジェクトを |
|
コンピュータ上で表現する方法を決定している。 |
|
各ソフトウェア間でオブジェクトを交換する際の |
|
オブジェクトの変換手順についても述べられている。 |
|
表現方法は一つだけでなく、 XML 表現や binary 表現などが |
|
用意されている。 |
|
|
|
%以下、調べる必要あり。 |
|
%NetSolve |
|
|
|
%MP |
|
|
|
%MCP |
|
|
|
\section{現在提供されているソフトウェア} |
|
|
|
現在 OpenXM 規格に対応しているクライアントソフトウェアには |
|
asir, sm1, Mathematica がある。 |
|
これらのクライアントソフトウェアから |
|
OpenXM 規格に対応したサーバを呼び出すことができる。 |
|
現在 OpenXM 規約に対応しているサーバソフトウェアには、 |
|
asir, sm1, gnuplot, Mathematica などがあり、 |
|
それぞれ ox\_asir, ox\_sm1, ox\_math という名前で提供されている。 |
|
また、 OpenMath 規格の XML 表現で表現されたデータと CMO 形式の |
|
データを変換するソフトウェアが JAVA によって実装されており、 |
|
OMproxy という名前で提供されている。 |
|
|
|
\end{document} |
\end{document} |