From: j8takagi <j8takagi@nifty.com>
Date: Sat, 27 Oct 2012 03:39:27 +0000 (+0900)
Subject: マニュアルにGnuPGによる圧縮ファイル検証方法を追記
X-Git-Tag: v0.1p50
X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=commitdiff_plain;h=refs%2Ftags%2Fv0.1p50

マニュアルにGnuPGによる圧縮ファイル検証方法を追記
---

diff --git a/doc/Makefile b/doc/Makefile
index 3c9b3be..c4dc520 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -19,8 +19,10 @@ doc: info htmlnosplit html pdf
 
 info: $(DOCNAME).info
 
-htmlnosplit: $(DOCNAME).html
-	$(MV) $< index.html
+htmlnosplit: index.html
+
+index.html: $(SRC) $(CSS)
+	$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $(SRC)
 
 html: $(SRC) $(CSS)
 	if test ! -e $@; then $(MKDIR) $@; fi;
@@ -29,9 +31,6 @@ html: $(SRC) $(CSS)
 
 pdf: $(DOCNAME).pdf
 
-$(DOCNAME).html: $(SRC) $(CSS)
-	$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $(SRC)
-
 $(DOCNAME).pdf: $(DOCNAME).dvi
 	$(DVI2PDF) $^
 
diff --git a/doc/index.html b/doc/index.html
index fa71d23..fd9f048 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -171,6 +171,10 @@ Next:&nbsp;<a rel="next" accesskey="n" href="#About">About</a>
 <ul>
 <li><a href="#Download">2.1 YACASL2ファイルのダウンロード</a>
 <li><a href="#Verify">2.2 YACASL2ファイルの検証</a>
+<ul>
+<li><a href="#Verify">2.2.1 GnuPG分離署名での検証</a>
+<li><a href="#Verify">2.2.2 MD5ハッシュ値での検証</a>
+</li></ul>
 <li><a href="#Expand">2.3 YACASL2ファイルの展開</a>
 <li><a href="#Build">2.4 <kbd>casl2</kbd> <kbd>comet2</kbd> <kbd>dumpword</kbd>のビルド</a>
 <li><a href="#Simple-Test">2.5 <kbd>casl2</kbd>の実行テスト</a>
@@ -288,14 +292,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
  <p>YACASL2は、UNIX／Linuxのコマンドラインインターフェイスで動作するオープンソースのCASL II処理システムです。CASL IIは情報処理試験で用いられるアセンブラ言語で、次の資料により仕様が公開されています。
 
  <blockquote>
-<a href="http://www.jitec.ipa.go.jp/1_00topic/topic_20081027_hani_yougo.pdf">試験で使用する情報処理用語・プログラム言語など（2008年10月版）</a>［PDFファイル］
+<a href="http://www.jitec.jp/1_04hanni_sukiru/_index_hanni_skill.html">「試験で使用する情報技術に関する用語・プログラム言語など」Ver2.2（2012年5月版）</a>［PDFファイル］
 別紙 1 アセンブラ言語の仕様
 </blockquote>
 
  <p>YACASL2は、CASL IIアセンブラ言語で記述されたファイルをアセンブルし、仮想マシンCOMET II上で実行します。アセンブルと実行は、連続で行うことも別々に行うことも可能です。
 YACASL2の動作はCASL IIの仕様に準拠しているため、情報処理試験の問題をはじめ各種参考書やサイトに記載されたCASL IIのプログラムをそのままアセンブルして実行できます。また、本パッケージ中にCASL IIのサンプルプログラムが多数収録されています。
 
- <p>YACASL2は、「ふつうの処理系」として動作します。ほかの多くのCASL IIエミュレータと違い、デバッガとして動作したり、コンピュータ内部の模式図を表示したりすることはありません。そのかわり、YACASL2は、次のような動作内容をすべてテキストで出力します。
+ <p>YACASL2は、「ふつうの処理系」として動作します。ほかの多くのCASL IIエミュレータと違い、デバッガとして動作したり、コンピュータ内部の模式図を直接表示したりすることはありません。そのかわり、YACASL2は、次のような動作内容をすべてテキストで出力します。
 
      <ul>
 <li>ラベルとアドレスの対応
@@ -313,17 +317,9 @@ YACASL2の動作はCASL IIの仕様に準拠しているため、情報処理試
 
 <h3 class="unnumberedsec">要件</h3>
 
- <p>YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。現在動作を確認しているのは、次の環境です。
-
-     <ul>
-<li>Ubuntu Linux 10.04
-
-     <li>Vine Linux 5.2
-
-     <li>Mac OS X 10.6.5
-</ul>
+ <p>YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。
 
- <p>インストール時に、<kbd>tar</kbd> <kbd>gcc</kbd> <kbd>make</kbd>が必要です。Linuxでは多くの場合、標準でインストールされています。Mac OS Xの場合、<code>Xcode</code>をインストールするといっしょにインストールされます。
+ <p>インストール時に、<kbd>tar</kbd> <kbd>gcc</kbd> <kbd>make</kbd>（<kbd>gmake</kbd>）が必要です。Linuxでは多くの場合、標準でインストールされています。Mac OS Xの場合、<code>Xcode</code>のcommand line toolsをインストールすれば使えるようになります。
 
 <div class="node">
 <a name="Install"></a>
@@ -359,7 +355,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Install">Install</a>
 
 <h3 class="section">2.1 YACASL2ファイルのダウンロード</h3>
 
- <p><a href="http://www.j8takagi.net/yacasl2/">YACASL2のサイト</a>または<a href="http://github.com/j8takagi/YACASL2/downloads/">githubのダウンロードページ</a>から最新版の<samp><span class="file">tar.gz</span></samp>ファイルをダウンロードします。
+ <p><a href="http://www.j8takagi.net/yacasl2/">YACASL2のサイト</a>から、<samp><span class="file">tar.gz</span></samp>または<samp><span class="file">tar.xz</span></samp>ファイルと、対応する検証用ファイルをダウンロードします。<a href="http://github.com/j8takagi/YACASL2/downloads/">githubのダウンロードページ</a>から<samp><span class="file">tar.gz</span></samp>などのファイルをダウンロードすることもできます。
 
 <div class="node">
 <a name="Verify"></a>
@@ -372,7 +368,59 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Install">Install</a>
 
 <h3 class="section">2.2 YACASL2ファイルの検証</h3>
 
- <p>ダウンロードが完了したら、<kbd>md5sum</kbd>と<kbd>diff</kbd>で正しくファイルがダウンロードができているかを検証します。
+ <p>ダウンロードが完了したら、圧縮ファイルが改竄されていないか検証します。検証にはGnuPG分離署名か、MD5ハッシュ値を使います。
+
+<h4 class="subsection">2.2.1 GnuPG分離署名での検証</h4>
+
+ <p>GnuPGの<kbd>gpg</kbd>で圧縮ファイルを検証します。この検証を行うには、GnuPGがインストールされ、自分の秘密鍵と公開鍵のペアが作成されている必要があります。
+
+<pre class="example">$ <kbd>gpg --verify yacasl2.tar.xz.asc</kbd>
+gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1
+gpg: Can't check signature: public key not found
+$ <kbd>gpg --recv-keys 25B62DD1</kbd>
+gpg: requesting key 25B62DD1 from hkp server keys.gnupg.net
+gpg: key 25B62DD1: public key "j8takagi &lt;j8takagi@nifty.com&gt;" imported
+gpg: Total number processed: 1
+gpg:               imported: 1  (RSA: 1)
+
+$ <kbd>gpg --lsign-key 25B62DD1</kbd>
+
+pub  2048R/25B62DD1  created: 2012-09-29  expires: never       usage: SC
+                     trust: unknown       validity: full
+sub  2048R/92E25C29  created: 2012-09-29  expires: never       usage: E
+[  full  ] (1). j8takagi &lt;j8takagi@nifty.com&gt;
+
+
+pub  2048R/25B62DD1  created: 2012-09-29  expires: never       usage: SC
+                     trust: unknown       validity: full
+ Primary key fingerprint: 653A 5D2E 49C3 2ADE 2FE3  87BB AB68 4DDB 25B6 2DD1
+
+     j8takagi &lt;j8takagi@nifty.com&gt;
+
+Are you sure that you want to sign this key with your
+key ".* &lt;.*@.*&gt;"
+
+The signature will be marked as non-exportable.
+
+Really sign? (y/N) y
+
+You need a passphrase to unlock the secret key for
+user: ".* &lt;.*@.*&gt;"
+2048-bit RSA key, ID ........, created 20..-..-..
+
+&lt;input password&gt;
+
+$ <kbd>gpg --verify yacasl2.tar.xz.asc</kbd>
+gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1
+gpg: checking the trustdb
+gpg: 3 marginal(s) needed, 1 complete(s) needed, PGP trust model
+gpg: depth: 0  valid:   1  signed:   4  trust: 0-, 0q, 0n, 0m, 0f, 1u
+gpg: depth: 1  valid:   4  signed:   0  trust: 4-, 0q, 0n, 0m, 0f, 0u
+gpg: Good signature from "j8takagi &lt;j8takagi@nifty.com&gt;"
+</pre>
+ <h4 class="subsection">2.2.2 MD5ハッシュ値での検証</h4>
+
+ <p><kbd>md5sum</kbd>と<kbd>diff</kbd>で圧縮ファイルを検証します。
 
 <pre class="example">$ <kbd>openssl md5sum yacasl2.tar.gz | diff -s yacasl2.tar.gz.md5sum -</kbd>
 Files yacasl2.tar.gz.md5sum and - are identical
diff --git a/doc/yacasl2.texi b/doc/yacasl2.texi
index 2c20e24..506ead2 100644
--- a/doc/yacasl2.texi
+++ b/doc/yacasl2.texi
@@ -24,7 +24,7 @@ Copyright @copyright{} 2010-2011 j8takagi
 
 @titlepage
 @title YACASL2
-@subtitle UNIX／Linuxのコマンドラインインターフェイスで動作するCASL II処理システム
+@subtitle UNIX系OSのコマンドラインで動作するオープンソースのCASL II処理システム
 @author j8takagi
 @insertcopying
 @end titlepage
@@ -127,7 +127,7 @@ YACASL2は、UNIX／Linuxのコマンドラインインターフェイスで動
 @cartouche
 @end iftex
 @quotation
-@uref{http://www.jitec.ipa.go.jp/1_00topic/topic_20081027_hani_yougo.pdf, 試験で使用する情報処理用語・プログラム言語など（2008年10月版）}［PDFファイル］
+@uref{http://www.jitec.jp/1_04hanni_sukiru/_index_hanni_skill.html, 「試験で使用する情報技術に関する用語・プログラム言語など」Ver2.2（2012年5月版）}［PDFファイル］
 別紙 1 アセンブラ言語の仕様
 @end quotation
 @iftex
@@ -137,7 +137,7 @@ YACASL2は、UNIX／Linuxのコマンドラインインターフェイスで動
 YACASL2は、CASL IIアセンブラ言語で記述されたファイルをアセンブルし、仮想マシンCOMET II上で実行します。アセンブルと実行は、連続で行うことも別々に行うことも可能です。
 YACASL2の動作はCASL IIの仕様に準拠しているため、情報処理試験の問題をはじめ各種参考書やサイトに記載されたCASL IIのプログラムをそのままアセンブルして実行できます。また、本パッケージ中にCASL IIのサンプルプログラムが多数収録されています。
 
-YACASL2は、「ふつうの処理系」として動作します。ほかの多くのCASL IIエミュレータと違い、デバッガとして動作したり、コンピュータ内部の模式図を表示したりすることはありません。そのかわり、YACASL2は、次のような動作内容をすべてテキストで出力します。
+YACASL2は、「ふつうの処理系」として動作します。ほかの多くのCASL IIエミュレータと違い、デバッガとして動作したり、コンピュータ内部の模式図を直接表示したりすることはありません。そのかわり、YACASL2は、次のような動作内容をすべてテキストで出力します。
 
 @itemize @bullet
 
@@ -159,21 +159,9 @@ YACASL2は、「ふつうの処理系」として動作します。ほかの多
 YACASL2の操作は、端末を開いてコマンドを入力・実行することで行います。
 
 @unnumberedsec 要件
-YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。現在動作を確認しているのは、次の環境です。
+YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。
 
-@itemize @bullet
-
-@item
-Ubuntu Linux 10.04
-
-@item
-Vine Linux 5.2
-
-@item
-Mac OS X 10.6.5
-@end itemize
-
-インストール時に、@kbd{tar} @kbd{gcc} @kbd{make}が必要です。Linuxでは多くの場合、標準でインストールされています。Mac OS Xの場合、@code{Xcode}をインストールするといっしょにインストールされます。
+インストール時に、@kbd{tar} @kbd{gcc} @kbd{make}（@kbd{gmake}）が必要です。Linuxでは多くの場合、標準でインストールされています。Mac OS Xの場合、@code{Xcode}のcommand line toolsをインストールすれば使えるようになります。
 
 @node Install, Usage, About, Top
 @chapter YACASL2のインストール
@@ -192,12 +180,66 @@ YACASL2をインストールするには、Linux上で次の作業をします
 @node Download, Verify, Install, Install
 @section YACASL2ファイルのダウンロード
 
-@uref{http://www.j8takagi.net/yacasl2/, YACASL2のサイト}または@uref{http://github.com/j8takagi/YACASL2/downloads/, githubのダウンロードページ}から最新版の@file{tar.gz}ファイルをダウンロードします。
+@uref{http://www.j8takagi.net/yacasl2/, YACASL2のサイト}から、@file{tar.gz}または@file{tar.xz}ファイルと、対応する検証用ファイルをダウンロードします。@uref{http://github.com/j8takagi/YACASL2/downloads/, githubのダウンロードページ}から@file{tar.gz}などのファイルをダウンロードすることもできます。
 
 @node Verify, Expand, Download, Install
 @section YACASL2ファイルの検証
 
-ダウンロードが完了したら、@kbd{md5sum}と@kbd{diff}で正しくファイルがダウンロードができているかを検証します。
+ダウンロードが完了したら、圧縮ファイルが改竄されていないか検証します。検証にはGnuPG分離署名か、MD5ハッシュ値を使います。
+
+@subsection GnuPG分離署名での検証
+
+GnuPGの@kbd{gpg}で圧縮ファイルを検証します。この検証を行うには、GnuPGがインストールされ、自分の秘密鍵と公開鍵のペアが作成されている必要があります。
+
+@example
+$ @kbd{gpg --verify yacasl2.tar.xz.asc}
+gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1
+gpg: Can't check signature: public key not found
+$ @kbd{gpg --recv-keys 25B62DD1}
+gpg: requesting key 25B62DD1 from hkp server keys.gnupg.net
+gpg: key 25B62DD1: public key "j8takagi <j8takagi@@nifty.com>" imported
+gpg: Total number processed: 1
+gpg:               imported: 1  (RSA: 1)
+
+$ @kbd{gpg --lsign-key 25B62DD1}
+
+pub  2048R/25B62DD1  created: 2012-09-29  expires: never       usage: SC  
+                     trust: unknown       validity: full
+sub  2048R/92E25C29  created: 2012-09-29  expires: never       usage: E   
+[  full  ] (1). j8takagi <j8takagi@@nifty.com>
+
+
+pub  2048R/25B62DD1  created: 2012-09-29  expires: never       usage: SC  
+                     trust: unknown       validity: full
+ Primary key fingerprint: 653A 5D2E 49C3 2ADE 2FE3  87BB AB68 4DDB 25B6 2DD1
+
+     j8takagi <j8takagi@@nifty.com>
+
+Are you sure that you want to sign this key with your
+key ".* <.*@@.*>"
+
+The signature will be marked as non-exportable.
+
+Really sign? (y/N) y
+
+You need a passphrase to unlock the secret key for
+user: ".* <.*@@.*>"
+2048-bit RSA key, ID ........, created 20..-..-..
+
+<input password>
+
+$ @kbd{gpg --verify yacasl2.tar.xz.asc}
+gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1
+gpg: checking the trustdb
+gpg: 3 marginal(s) needed, 1 complete(s) needed, PGP trust model
+gpg: depth: 0  valid:   1  signed:   4  trust: 0-, 0q, 0n, 0m, 0f, 1u
+gpg: depth: 1  valid:   4  signed:   0  trust: 4-, 0q, 0n, 0m, 0f, 0u
+gpg: Good signature from "j8takagi <j8takagi@@nifty.com>"
+@end example
+
+@subsection MD5ハッシュ値での検証
+
+@kbd{md5sum}と@kbd{diff}で圧縮ファイルを検証します。
 
 @example
 $ @kbd{openssl md5sum yacasl2.tar.gz | diff -s yacasl2.tar.gz.md5sum -}