From d7b53424ce75d00091676417fb2fbe0ae30f4ad9 Mon Sep 17 00:00:00 2001
From: tama3 <tama3@acee48c3-7b26-0410-bdac-b3d0e5314bbc>
Date: Wed, 13 Jun 2007 08:45:58 +0000
Subject: [PATCH] update document

git-svn-id: svn+ssh://svn.sourceforge.jp/svnroot/stigmata/trunk@129 acee48c3-7b26-0410-bdac-b3d0e5314bbc
---
 src/site/apt/definition.apt | 10 +++++++---
 src/site/apt/survey.apt     | 19 +++++++++++++------
 2 files changed, 20 insertions(+), 9 deletions(-)

diff --git a/src/site/apt/definition.apt b/src/site/apt/definition.apt
index bd3b157..5eb3ef6 100755
--- a/src/site/apt/definition.apt
+++ b/src/site/apt/definition.apt
@@ -29,6 +29,8 @@ extracted from <p> by a certain method <f>. Then <f(p)> is called a
 
  [[2]]If <q> is copied from <p>, then <f(p)=f(q)>
 
+ []
+
  First condition means that the birthmark is not extra information and
 is required for <p> to run.  Hence, extracting a birthmark does not
 require extra code as watermarking does.  Second condition states that
@@ -39,14 +41,16 @@ not a copy of <p>.
 
  Hopefully, a birthmark will satisfy the following properties.
 
- [[Property 1: Preservation]] For <p'> obtained from <p> by any
+ [Property 1: Preservation] For <p'> obtained from <p> by any
 program transformation, <f(p) = f(p')> holds.
 
- [[Property 2: Distinction]] For <p> and <q> such that same
+ [Property 2: Distinction] For <p> and <q> such that same
 specification, if <p> and <q> are written independently, then
 <f(p)!=f(q)>.
 
-These properties strengthen Condition 2 of birthmark definition.
+ []
+
+ These properties strengthen Condition 2 of birthmark definition.
 First property specifies <preservation property> of the birthmark
 against program transformation.  Preservation property specifies that
 the same birthmark must be obtained from <p> and converted to <p'>.
diff --git a/src/site/apt/survey.apt b/src/site/apt/survey.apt
index 3f67ab6..c17780f 100755
--- a/src/site/apt/survey.apt
+++ b/src/site/apt/survey.apt
@@ -100,23 +100,30 @@ Related Publications
    0919-9527, Graduate School of Information Science, Nara Institute
    of Science and Technology, November 2003.
 
- * ‹Ê“c tº, _è —Yˆê˜Y, ’†‘º ‹§G, –å“c ‹Ål, ¼–{ Œ’ˆê, ``Java ƒNƒ‰ƒXƒtƒ@ƒCƒ‹‚©‚çƒvƒƒOƒ‰ƒ€Žw–ä‚𒊏o‚·‚é•û–@‚Ì’ñˆÄ'', MŠw‹Z•ñ î•ñƒZƒLƒ…ƒŠƒeƒBŒ¤‹†‰ï, Vol. ISEC2003-29, pp.127--133, July 2003.
+ * 玉田 春昭, 神崎 雄一郎, 中村 匡秀, 門田 暁人, 松本 健一, ``Java クラスファイルからプログラム指紋を抽出する方法の提案'', 信学技報 情報セキュリティ研究会, Vol. ISEC2003-29, pp.127--133, July 2003.
 
 *Dynamic Birthmark
 
- * XŽR C, ŒÃ] Šx‘å, ‰“ŽR ‹B, ¼–{ •×, ``APIŠÖ”ŒÄo—š—ð‚É‚æ‚éƒ\ƒtƒgƒEƒFƒA“®“Iƒo[ƒXƒ}[ƒN‚̈ê•ûŽ®'', MŠw‹Z•ñ, vol. 106, no. 235, ISEC2006-82, pp. 77-84, September 2006.
+ * Haruaki Tamada, Keiji Okamoto, Masahide Nakamura, Akito Monden and
+   Ken-ichi Matsumoto, ``Design and Evaluation of Dynamic Software
+   Birthmarks Based on API Calls'', Information Science Technical
+   Report, NAIST-IS-TR2007011, ISSN 0919-9527, Graduate School of
+   Information Science, Nara Institute of Science and Technology, May
+   2007.
 
- * ‰ª–{ Œ\Ži, ‹Ê“c tº, ’†‘º ‹§G, –å“c ‹Ål, ¼–{ Œ’ˆê, ``APIŒÄ‚яo‚µ‚ð—p‚¢‚½“®“Iƒo[ƒXƒ}[ƒN'', “dŽqî•ñ’ʐMŠw‰ï˜_•¶Ž, Vol.J89-D, No.8, pp.1751-1763, August 2006.
+ * 森山 修, 古江 岳大, 遠山 毅, 松本 勉, ``API関数呼出履歴によるソフトウェア動的バースマークの一方式'', 信学技報, vol. 106, no. 235, ISEC2006-82, pp. 77-84, September 2006.
+
+ * 岡本 圭司, 玉田 春昭, 中村 匡秀, 門田 暁人, 松本 健一, ``API呼び出しを用いた動的バースマーク'', 電子情報通信学会論文誌, Vol.J89-D, No.8, pp.1751-1763, August 2006.
 
  * David Schuler and Valentin Dallmeier, ``Detecting Software Theft
    with API Call Sequence Sets,'' Workshops Software Reengineering
    (WSR 2006), pp.56-57, May 2006.
 
- * ŒÃ“c ‘sG, ^–ì –F‹v, ``ŽÀsŒn—ñ‚Ì’ŠÛ•\Œ»‚ð—˜—p‚µ‚½“®“Iƒo[ƒXƒ}[ƒN'', “dŽqî•ñ’ʐMŠw‰ï˜_•¶Ž Vol.J88-D1, No.10, pp.1595--1599, October 2005.
+ * 古田 壮宏, 真野 芳久, ``実行系列の抽象表現を利用した動的バースマーク'', 電子情報通信学会論文誌 Vol.J88-D1, No.10, pp.1595--1599, October 2005.
 
- * ‰ª–{ Œ\Ži, ‹Ê“c tº, ’†‘º ‹§G, –å“c ‹Ål, ¼–{ Œ’ˆê, ``ƒ\ƒtƒgƒEƒFƒAŽÀsŽž‚ÌAPIŒÄ‚яo‚µ—š—ð‚ÉŠî‚­“®“Iƒo[ƒXƒ}[ƒN‚ÌŽÀŒ±“I•]‰¿'', ‘æ46‰ñƒvƒƒOƒ‰ƒ~ƒ“ƒOEƒVƒ“ƒ|ƒWƒEƒ€•ñW, pp. 41--50, January 2005
+ * 岡本 圭司, 玉田 春昭, 中村 匡秀, 門田 暁人, 松本 健一, ``ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの実験的評価'', 第46回プログラミング・シンポジウム報告集, pp. 41--50, January 2005
 
- * ‰ª–{ Œ\Ži, ‹Ê“c tº, ’†‘º ‹§G, –å“c ‹Ål, ¼–{ Œ’ˆê, ``ƒ\ƒtƒgƒEƒFƒAŽÀsŽž‚ÌAPIŒÄ‚яo‚µ—š—ð‚ÉŠî‚­“®“Iƒo[ƒXƒ}[ƒN‚Ì’ñˆÄ'', ƒ\ƒtƒgƒEƒFƒAHŠw‚ÌŠî‘bXI, “ú–{ƒ\ƒtƒgƒEƒFƒA‰ÈŠw‰ï FOSE2004 (FOSE2004), pp.85--88, November 2004. 
+ * 岡本 圭司, 玉田 春昭, 中村 匡秀, 門田 暁人, 松本 健一, ``ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの提案'', ソフトウェア工学の基礎XI, 日本ソフトウェア科学会 FOSE2004 (FOSE2004), pp.85--88, November 2004. 
 
  * Haruaki Tamada, Keiji Okamoto, Masahide Nakamura, Akito Monden, and
    Ken-ichi Matsumoto, ``Dynamic Software Birthmarks to Detect the
-- 
2.11.0