diff --git a/doc/html/CHANGES.html b/doc/html/CHANGES.html
index 14771c6..2024632 100644
--- a/doc/html/CHANGES.html
+++ b/doc/html/CHANGES.html
@@ -22,7 +22,7 @@ <h1>
 </h1>
 
 <p class="status">
-Last modified: June 26, 2000<br />
+Last modified: July 1, 2000<br />
 Created: May 2, 2000
 </p>
 </div>
@@ -32,6 +32,18 @@ <h1>
 <div class="main">
 
 <dl>
+<dt>Release 7.2</dt>
+<dd>Released.</dd>
+
+<dt>revision 5.82 - date: 2000/07/01 13:15:37;  author: nakahiro;  state: Exp;  lines: +60 -36</dt>
+<dd><ul>
+<li>$PC checking process is gathered to &lock*.</li>
+<li>UserConfigExec did not work if $SYS_POSTERMAIL is 1.  Fixed.</li>
+<li>Added 'HELP' in top menu.</li>
+<li>Keyboard shortcut was not printed.  Fixed.</li>
+<li>Superseding a message overrided an archived message of the message.  Fixed.</li>
+</ul></dd>
+
 <dt>Release 7.1.1</dt>
 <dd>Released.</dd>
 
@@ -41,10 +53,6 @@ <h1>
 <li>Lines at the head of quoted message are concatenated.  Fixed.</li>
 </ul></dd>
 
-<dt>revision 5.80 - date: 2000/06/23 10:53:08;  author: nakahiro;  state: Exp;  lines: +2 -2</dt>
-<dd><ul>
-<li>Changed Release id.</li>
-</ul></dd>
 
 <dt>Release 7.1</dt>
 <dd>Released.</dd>
diff --git a/doc/html/COLUMN.html b/doc/html/COLUMN.html
index e8588df..db5fdf4 100644
--- a/doc/html/COLUMN.html
+++ b/doc/html/COLUMN.html
@@ -22,7 +22,7 @@ <h1>
 </h1>
 
 <p class="status">
-Last modified: June 23, 2000<br />
+Last modified: July 1, 2000<br />
 Created: May 10, 2000
 </p>
 </div>
@@ -45,7 +45,7 @@ <h2>0. このドキュメントの目的</h2>
 
 <p>
 本文書が対象としているKINOBOARDSのバージョンは，
-KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.1）
+KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.2）
 です．
 </p>
 
@@ -55,15 +55,120 @@ <h2>0. このドキュメントの目的</h2>
 
 <ol>
 <li><a href="#authentication">R7における認証方式</a></li>
+<li><a href="#authentication.r7.1">R7.0〜R7.1.1における認証方式</a></li>
 <li><a href="#heavy">R7は重いか?</a></li>
 </ol>
 
 <h2 id="authentication">1. R7における認証方式</h2>
 
+<p>
+出典: [kb-dev:10543] in 2000/6/27
+</p>
+
+<p>
+[kb-dev:10503]〜[kb-dev:10543]において，「CGI security consideration」というSubjectで，きのぼずの認証方式の安全性についての議論がありました．
+その議論を踏まえ，R7.2において認証方式の変更を行ないました．
+</p>
+
+<p>
+議論の結果として方式を変更した今でも，
+<a href="#authentication.r7.1">R7.0〜R7.1.1の認証方式</a>
+は，CGIでの利用に限れば充分に安全だと考えています．
+ユーザ権限とセッション権限を分離し，パスワードを極力どこにも残さないようにすることにより，盗まれる権限をセッション権限に留め，復旧が容易です．
+しかしこの方法は，ひとたびサーバ側がcrackされると（例え盗まれるのがセッション権限のみであろうと）<strong>全ユーザ</strong>のセッション権限が盗まれてしまう，という欠点を持っているのも事実でした．
+今回の変更は，従来からの上記セキュリティ設計の方針を崩さず，この欠点の解消を狙ったものです．
+</p>
+
+<p>
+具体的には，サーバ側で管理する各ユーザ毎の認証情報を2重化することで，
+サーバ側がcrackされても，いきなりセッション権限を盗まれないようになっています(*)．
+この変更により，ログイン済みユーザがアクセスする度にダイジェストの計算をしなければならない（従来は完全一致の比較のみだった）ため，若干速度が低下しています．
+</p>
+
+<p>
+(*) brute forthアタック（ありそうなパスワードを推測し，しらみつぶしに攻撃する方法）で突破され，セッション権限やユーザ権限が盗まれる可能性は残っています．
+この攻撃に対する安全性は，OSが提供しているダイジェスト関数の安全性に依存しています．
+</p>
+
+
+<p>
+この方式ももちろん，完全ではありません．
+クライアント側でHTTP-Cookiesを盗めば，セッション権限（ユーザ権限ではない）を盗めますし，相変わらず，ネットワークを見張られたらユーザ権限も盗まれます．
+CGIのみで実現できるセキュリティレベルには限界があります．
+必要な場合は，適宜IPレベルでの暗号化，署名，第三者機関による認証などを組み合わせてください．
+</p>
+
+<p>
+．．．とはいえ，パスワードとセッションキーの2本立てなんて面倒なことをしている以上，もう少し安全にできそうな気がしてます．．．
+</p>
+
+<p>
+以下，新認証方式の説明です．
+</p>
+
+<p>
+ユーザがユーザIDとパスワードを入力してログインする時に，
+セッションキーを割り当てます．以下，説明を簡単にするため，
+ユーザIDについては考えないものとします．
+</p>
+
+<pre>
+  パスワード: p
+  セッションキー: k
+  一方向関数: f
+  一方向関数用キー: s
+  パスワードのダイジェスト: pd = f( s, p )
+  セッションキーのダイジェスト: kd = f( s, k )
+</pre>
+
+<p>
+において，ユーザの頭の中にp，ユーザのマシン（クライアント）にk，
+サーバにsおよびpd, kdを保存します．
+</p>
+
+<p>
+ある時ユーザから，情報Xが入力されます．
+ここでXは，pかもしれませんし，kかもしれません．
+ログイン判定は，
+</p>
+
+<pre>
+  f( s, X ) = pd ... (1)
+  f( s, X ) = kd ... (2)
+</pre>
+
+<p>
+のいずれかで成功するものとします．
+</p>
+
+<p>
+(1)で成功した場合，新たにsおよびkを生成し，それを元にpdとkdを再計算し，
+サーバに保存します．クライアントにはkを送ります
+（以後，HTTP-CookiesもしくはURL文字列として送信されるように）．
+</p>
+
+<p>
+(2)で成功した場合は，特になにもしません．
+</p>
+
+<p>
+Xで，pとkのどちらでもアリ，ということにしているのが若干不安かな．
+ここを付いた穴がありそうな気がするんですが，
+なひには今のところ思いついてません．．．
+</p>
+
+<h2 id="authentication.r7.1">2. R7.0〜R7.1.1における認証方式</h2>
+
 <p>
 出典: [kb-dev:10456] in 2000/5/10
 </p>
 
+<p>
+本コラムで議論している認証方式は，R7.0〜R7.1.1で使われていた方式です．
+R7.2以降で用いられている認証方式については，
+<a href="#authentication">R7における認証方式</a>をごらんください．
+</p>
+
 <p>
 まず先に，前提となるメッセージダイジェストについての知識を．
 </p>
@@ -145,7 +250,7 @@ <h2 id="authentication">1. R7における認証方式</h2>
 が，これをOSやウェブサーバ，ネットワークのサポートなしに，CGIのみで実現するのは非常にコストが高くかつ無駄であり，きのぼずで要求されるセキュリティレベルを考慮すれば，これで充分だと考えています．
 </p>
 
-<h2 id="heavy">2. R7は重いか?</h2>
+<h2 id="heavy">3. R7は重いか?</h2>
 
 <p>
 出典: [kb-dev:10460] in 2000/5/10
@@ -184,7 +289,7 @@ <h2 id="heavy">2. R7は重いか?</h2>
 <p>
 第三の原因は，本体のプログラム（index.cgi）が長くなったこと．
 R6.10と比べて91KB→182KBに増えてます．
-その分，起動時にPerlのコンパイラがきのぼずを解析するのにかかる時間も増えます．
+その分，起動時にPerlのコンパイラがきのぼずを解析するのにかかる時間も増えます．
 </p>
 
 <p>
diff --git a/doc/html/ENVIRONMENT.html b/doc/html/ENVIRONMENT.html
index 46731f6..3794d05 100644
--- a/doc/html/ENVIRONMENT.html
+++ b/doc/html/ENVIRONMENT.html
@@ -22,7 +22,7 @@ <h1>
 </h1>
 
 <p class="status">
-Last modified: June 23, 2000<br />
+Last modified: July 1, 2000<br />
 Created: May 2, 2000
 </p>
 </div>
@@ -38,7 +38,7 @@ <h2>0. このドキュメントの目的</h2>
 
 <p>
 本文書が対象としているKINOBOARDSのバージョンは，
-KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.1）
+KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.2）
 です．
 </p>
 
diff --git a/doc/html/INSTALL.html b/doc/html/INSTALL.html
index 666ba20..5bdd12f 100644
--- a/doc/html/INSTALL.html
+++ b/doc/html/INSTALL.html
@@ -22,7 +22,7 @@ <h1>
 </h1>
 
 <p class="status">
-Last modified: June 23, 2000<br />
+Last modified: July 1, 2000<br />
 Created: May 2, 2000
 </p>
 </div>
@@ -39,7 +39,7 @@ <h2>0. このドキュメントの目的</h2>
 
 <p>
 本文書が対象としているKINOBOARDSのバージョンは，
-KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.1）
+KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.2）
 です．
 </p>
 
diff --git a/doc/html/RELEASE.html b/doc/html/RELEASE.html
index 075144f..ac20749 100644
--- a/doc/html/RELEASE.html
+++ b/doc/html/RELEASE.html
@@ -22,7 +22,7 @@ <h1>
 </h1>
 
 <p class="status">
-Last modified: June 23, 2000<br />
+Last modified: July 1, 2000<br />
 Created: May 7, 2000
 </p>
 </div>
@@ -39,34 +39,36 @@ <h2>0. このドキュメントの目的</h2>
 
 <p>
 本文書が対象としているKINOBOARDSのバージョンは，
-KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.1）
+KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.2）
 です．
 </p>
 
 <h2>1. 変更点</h2>
 
 <p>
-R7.1での変更点は以下の通りです．
+R7.2での変更点は以下の通りです．
 </p>
 
 <ul>
-<li>セキュリティ保護のため，パスワード変更時に，旧パスワードを入力しなければならないようにした．
-R7.0では旧パスワードなしに変更できましたが，これは大きなセキュリティホールです
-（詳しくは<a href="COLUMN.html#authentication">コラム: R7における認証方式</a>を御覧ください．</li>
-<li>Sageさんの指摘で，新規掲示板作成画面，掲示板設定変更画面において，kb.confを利用するか否かが指定できないというバグを修正した．
-従来は「kb.confは使わない」ようにしか指定できませんでした．</li>
-<li>日付検索において，FROMを指定するとTOが無視される（指定されていてもされていなくても）というバグを修正した．</li>
-<li>Sageさんの指摘で，ユーザ情報変更時に，メイルアドレス重複をチェックしていないというバグを修正した．</li>
-<li>キーボードショートカットを表示しないようにするカスタマイズオプションを用意した．</li>
-<li>ひろゆきさんの指摘で，スレッドの並べ替え方式を1つ追加した．
-従来はオリジナルメッセージの投稿時間で並べ替えていたが，最後にリプライのついた時間で並べ替えることもできるようになった．
-カスタマイズオプションで指定する．</li>
-<li>車に轢かれた猫の指摘で，投稿時間検索用のコマンドとして「tpi」を追加した．
-「..../index.cgi?b=掲示板&amp;c=s&amp;tpi=yyyy/mm/dd」で，yyyy/mm/ddに投稿されたメッセージのみを検索・表示する．</li>
+<li>認証方式を強化．
+詳細は<a href="COLUMN.html#authentication">コラム: 認証方式</a>をごらんください．</li>
+<li>$SYS_POSTERMAILが1（メイルアドレスを入力しないと書き込みできない）になっている時に，ユーザ設定変更画面で登録メイルアドレスが変更できない，というバグを修正．</li>
+<li>トップメニューに'HELP'を追加．</li>
+<li>キーボードショートカットが表示されない，というバグを修正．</li>
+<li>訂正済みのメッセージを再度訂正した場合，大元のメッセージが（ディスク上からも）消えてしまう，というバグを修正．
+訂正されても消さないつもりでコーディングしてたんですが，このバグのせいで，最大2世代分（現在有効なメッセージとその1世代前のメッセージ）しか保存されていませんでした．</li>
+<li>メッセージを引用してリプライを書き込む際，先頭行が連結してしまう，というバグを修正．</li>
 </ul>
 
 <p>
-R7.0からの変更点の詳細については，
+認証方式の変更がありましたが，ユーザ管理用のkb.userファイルについては上位互換性が保たれています．
+R7.0〜R7.1.1で使われていたkb.userをR7.2で利用する場合，各ユーザが次回ログインした際に，そのユーザの認証方式が自動的に新方式に移行されます．
+それまでは旧方式での認証が行なわれます．
+つまり，R7.0〜R7.1.1でHTTP-Cookiesを利用して認証を行なっていたユーザについては，次回ログインするまで旧方式で認証が行なわれることになります．
+</p>
+
+<p>
+R7.1からの変更点の詳細については，
 <a href="CHANGES.html">Changes: 変更履歴</a>
 を参照してください．
 </p>
diff --git a/doc/html/UNINSTALL.html b/doc/html/UNINSTALL.html
index 71cc61c..adde749 100644
--- a/doc/html/UNINSTALL.html
+++ b/doc/html/UNINSTALL.html
@@ -22,7 +22,7 @@ <h1>
 </h1>
 
 <p class="status">
-Last modified: June 23, 2000<br />
+Last modified: July 1, 2000<br />
 Created: May 7, 2000
 </p>
 </div>
@@ -38,7 +38,7 @@ <h2>0. このドキュメントの目的</h2>
 
 <p>
 本文書が対象としているKINOBOARDSのバージョンは，
-KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.1）
+KINOBOARDS version 1.0 release 7（KINOBOARDS/1.0R7.2）
 です．
 </p>