JP2002530701A - メモリカードと端末との間の認証方法 - Google Patents

Abstract

(57)【要約】 本発明は、メモリカードとそれが接続された端末とが、相互に認証できる方法に関する。本発明は、取引終了の都度、端末が、この取引終了時のカードの情報から、カードのメモリの非保護アクセス領域ＺＣＳＣ内に記録された秘密コードＣＳＣ₂と、秘密コードＣＳＣ₂の提示によってメモリの保護アクセス領域ＺＣＡ内に記録された認証証明ＣＡ₂とを計算することをもって成る。次回の取引の際に、端末は、カード内に含まれる情報を用いて、秘密コードと認証証明とを計算し、それらを先に記録されたものと比較し、認証を実施する。本発明は、メモリカードに適用できる。

Description

【発明の詳細な説明】

【０００１】 本発明は、メモリカードと、それらを随時接続することができる端末とに関す
るものであり、より具体的には、メモリカードと端末とに相互の認証を可能にす
る方法に関するものである。

【０００２】 メモリカードは、マイクロプロセッサを備えていないので、計算を伴う認証ア
ルゴリズムを実施することができない。しかしながら、幾つかのメモリカードは
、ケーブル接続型の「能動」と呼ばれるアルゴリズムを実施するが、端末による
カードの認証は許可しても、カードによる端末の逆認証は許可しない。それらの
安いコストの理由から、メモリカードは、特典カード、アクセス制御、個人的支
払のような多数の用途で用いられている。しかしながら、認証をしないので、そ
れらの使用安全性は低く、幾つかの用途においてはそれらよりもマイクロプロセ
ッサカードの方が好まれる。

【０００３】 しかしこれらのマイクロプロセッサカードはコストがはるかに高く、認証アル
ゴリズムが精巧なほど高くなり、そのため安いアプリケーションでは排除される
ことになる。

【０００４】 したがって、本発明の目的はメモリカードの使用安全性を得ることである。

【０００５】 この目的は、メモリカードが接続されている端末によって全てのアルゴリズム
計算が実行される認証方法を実施することによって達成される。

【０００６】 他方で、認証に関する操作は、次回の取引の開始の際の認証のために、取引自
体の開始前と、この取引の終わりに実行される。

【０００７】 したがって、本発明は、少なくとも一つのカウンタを有するメモリカードと、
端末との間の認証方法に関し、以下から成る過程を有することを特徴とする。 （ａ）メモリカードを端末に挿入する。 （ｂ）メモリカードを識別する少なくとも一つのコードＣＳＮと、前記カウンタ
の値とから成る、複数の変数の暗号化関数Ｆによって、秘密コードＣＳＣ₁を、
端末内で計算する。 （ｃ）計算された秘密コードＣＳＣ₁が、下記の操作（ｆ）によって前回の認証
の終わりにメモリ内に記録されたコードＣＳＣ₀と同一の場合、カードによって
端末を認証する。 （ｄ）予定された取引を実行し、前記カウンタの値を変更する。 （ｅ）メモリカードを識別するコードＣＳＮと、前記カウンタの新しい値との暗
号化関数Ｆによって、新しい秘密コードＣＳＣ₂を、端末内で計算する。 （ｆ）操作（ｅ）によって計算された新しい秘密コードＣＳＣ₂をメモリ内に記
録することによって、次回の取引のためにメモリカードを更新する。

【０００８】 端末によるカードの認証を得るために、該方法は過程（ｃ）と（ｄ）の間に次
の追加の過程を備えている。 （ｘ）メモリカードを識別する少なくとも一つのコードＣＳＮと、前記カウンタ
の値とから成る、複数の変数の暗号化関数Ｇによって、認証証明ＣＡ₁を、端末
内で計算する。 （ｙ）計算された認証証明ＣＡ₁が、下記の過程（ｅ’）と（ｆ’）によって前
回の取引の終わりに計算されメモリ内に記録された証明ＣＡ₀と同一の場合、端
末によってカードを認証する。 −過程（ｅ）は、次の過程によって補足される。 （ｅ’） 暗号化関数Ｇによって、新しい認証証明ＣＡ₂を端末内で計算する
。 −過程（ｆ）は、次の過程によって補足される。 （ｆ’） 過程（ｅ’）によって計算された新しい認証証明ＣＡ₂をメモリ内
に記録することによって、次回の取引のためにメモリカードを更新する。

【０００９】 本発明のその他の特徴と利点は、付属の図面を参照して、特定の実施態様の、
下記の説明を読むことによって明らかになるだろう。 −図１は、メモリカードの簡略図である。 −図２は、取引の際に端末とメモリカードとの間で実行される操作を示すブロッ
ク図である。

【００１０】 本発明の方法は、メモリＭだけでなく、カードＣＭと、カードを挿入すること
で接続される端末ＴＥとの間で実施された取引をカウントする、いわゆる取引カ
ウンタＣＴも備えているメモリカードＣＭに適用される（図１）。

【００１１】 メモリカードＣＭは、認証要求をカウントする認証の所謂第二のカウンタＣＥ
も備えることができ、これらの認証要求は、取引の際に随時、取引とは無関係に
発生し得るものである。

【００１２】 これらの二つのカウンタＣＥ及びＣＴは、既知の装置によるとメモリＭ内に含
めることができる。

【００１３】 くわえて、カードのメモリＭは、読取の際に保護されない第一のアクセス領域
である、例えばＺＣＳＮ部分内にカードの通し番号ＣＳＮが記録される領域と、
メモリの残りの部分について保護された第二のアクセス領域とを備え、この第二
の領域は、ＺＣＡ部分内の認証証明ＣＡ、ならびにＺＢＡＬ部分内の残高ＢＡＬ
とその認証証明ＣＢＡＬなどの特定の値の記録に割り当てられる部分を有する。

【００１４】 第三の領域ＺＣＳＣは、秘密コードＣＳＣの記録に割り当てられ、記録のため
のそのアクセスは、秘密コードＣＳＣの提示を条件とする。

【００１５】 メモリＭは、アドレス指定回路ＡＤＲによってアドレス指定され、端末ＴＥと
カードＣＭとの間の信号の双方向通信は、インターフェイス回路ＩＮＴを介して
実行される。

【００１６】 他方、カードは、ＺＣＳＣ部分で読み込まれたコードＣＳＣを、端末ＴＥによ
って提供されたコードと比較する比較器ＣＰを備えており、比較結果により、メ
モリＭの保護領域のアドレス指定が、可能あるいは不可能となる。

【００１７】 つぎに、本発明による方法は、カードと端末との間の相互認証の枠内で説明さ
れ、唯一の取引カウンタＣＴと、一方向と呼ばれる暗号化関数とを用いるが、本
発明の方法は、カードによる端末の認証のみに、また、２つのカウンタＣＥ及び
ＣＴと、一方向関数以外の暗号化関数との同時使用にも適用することができる。
暗号化をはじめとする各種の操作は、端末ＴＥ内で、またはセキュリティモジュ
ール内で、さらにまたは遠隔装置内で実現できる。

【００１８】 好ましくは、本発明による相互認証方法は、以下から成る過程を有している。
（ｍ）端末ＴＥ内へのカードＣＭの挿入であって、この過程はカード使用者の個
人コードＰＩＮの提示を含むことができる。 （ｎ）端末ＴＥ内でセッション鍵Ｋｓ₁を次のように計算する。 （ｎ₁）カードＣＭの通し番号ＣＳＮを読み込み、 （ｎ₂）カードＣＭの取引カウンタＣＴの内容ＣＴＣ₁を読み込み、 （ｎ₃）セッション鍵Ｋｓ₁を、一方向暗号化関数Ｆ_ksによって、次のように
計算する。 Ｋｓ₁＝Ｆ_ks（Ｋ_m，ＣＳＮ，ＣＴＣ₁） ・Ｋ_mは、端末ＴＥ内に記録された親鍵である ・Ｆ_ksは、例えば、ハッシュ関数である （ｏ）ＴＥ端末内で、暗号化関数Ｆによって、次のようにカードの秘密コードＣ
ＳＣ₁を計算する。 ＣＳＣ₁＝Ｆ（Ｋｓ₁） （ｐ）カードＣＭによる端末ＴＥの認証を次のように行う。 （Ｐ₁）秘密コードＣＳＣ₁をカードＣＭに伝送し、 （Ｐ₂）この秘密コードＣＳＣ₁を、カードでの前回の取引の終わりにカード
ＣＭ内に記録された秘密コードＣＳＣ₀と、比較器ＣＰ内で比較し、 （Ｐ₃）もし、比較が同一性ＣＳＣ₀＝ＣＳＣ₁を示すならば、操作の続きを
認証し、そうでない場合はそれを拒否する。 （ｑ）端末ＴＥ内で、次のように、認証証明ＣＡ₁を計算する。 ＣＡ₁＝Ｇ（Ｋｓ₁） ・Ｇは暗号化関数である （ｒ）端末ＴＥによってカードＣＭを次のように認証する。 （ｒ₁）カードＣＭのメモリ領域ＺＣＡの内容ＣＡ₀を読み込み、 （ｒ₂）前回の取引の終わりに計算された認証証明ＣＡ₀に対応するこの保
護領域ＺＣＡの内容ＣＡ₀を端末ＴＥに伝送し、 （ｒ₃）端末ＴＥ内で、計算認証証明ＣＡ₁を証明ＣＡ₀と比較し、 （ｒ₄）もし、比較が同一性ＣＡ₁＝ＣＡ₀を示すならば、操作の続きを認
証する。 （ｓ）取引を実行する過程であって、この取引は、例えば、カードＣＭ内の貸し
方または残高ＢＡＬの状態を示すメモリ領域ＺＢＡＬを更新するものとすること
ができ、次のように行われる。 （ｓ₁）前回の取引の結果の残高の値ＢＡＬ₀と、対応する証明ＣＢＡＬ₀
とを、領域ＺＢＡＬ内に読み込み、 （ｓ₂）証明ＣＢＡＬ₀が、ＣＢＡＬ₀＝Ｈ（Ｋ_t，ＢＡＬ₀，ＣＳＮ，ＣＴ
Ｃ₁）であるような暗号化関数の結果にきちんと対応することを検証し、 ・Ｋ_tは取引鍵である （ｓ₃）取引カウンタを、値（ＣＴＣ₁＋１）＝ＣＴＣ₂にインクリメント
し、 （ｓ₄）新しい残高ＢＡＬ₁を領域ＺＢＡＬ内に記録し、 （ｓ₅）ＣＢＡＬ₁＝Ｈ（Ｋ_t，ＢＡＬ₁，ＣＳＮ，ＣＴＣ₂）であるような
、新しい残高ＢＡＬ₁の証明ＣＢＡＬ₁を計算し、 （ｓ₆）領域ＺＢＡＬ内にＣＢＡＬ₁を記録する。 （ｔ）新しい秘密コードＣＳＣ₂と新しい証明ＣＡ₂によって、次回の取引のため
にカードＣＭを次のように更新する。 （ｔ₁）端末ＴＥ内で、以下のものを計算する。 ・Ｋｓ₂＝Ｆ（Ｋ_m，ＣＳＮ，ＣＴＣ₂）であるのような将来のセッション
鍵Ｋｓ₂ ・ＣＳＣ₂＝Ｆ（Ｋｓ₂）であるような将来の秘密コードＣＳＣ₂ ・ＣＡ₂＝Ｇ（Ｋｓ₂）であるような将来の認証証明ＣＡ₂ （ｔ₂）カードＣＭのメモリＭ内の秘密コードＣＳＣ₂を保護領域内に、認
証証明ＣＡ₂を保護領域ＺＣＡ内に記録する。

【００１９】 本発明は、取引がカードの残額に関する操作である特定の実施態様について説
明したが、本発明は、対象となるカードのために予想されるアプリケーションに
よる他の一切の取引にも適用される。

【００２０】 この特定例では、取引は、取引カウンタＣＴを、通常（ＣＴＣ₁＋１）に等し
い値ＣＴＣ₂にインクリメントすることで終了する。しかしながら、このＣＴＣ₂ の値は、（ＣＴＣ₁＋１）とは別の、例えば（ＣＴＣ₁＋３）に等しくすることも
できる。

【００２１】 この取引カウンタは、たとえ操作が残高を変化させないとしても、取引の都度
、インクリメント又はデクリメントされなければならない。この場合、変化して
いない残高を再記録して取引を実施しなければならないが、取引カウンタがイン
クリメントされていることから、証明ＣＢＡＬ₁は異なるであろう。新しい秘密
コードＣＳＣ₂と証明ＣＡ₂についても同様になるだろう。

【００２２】 実施例で採用された関数Ｆ、Ｇ、及びＦ_ksの変数は、親鍵、通し番号ＣＳＮ、
及び取引カウンタの値ＣＴＣである。

【００２３】 しかしながら、カード使用者の個人コードＰＩＮなどの追加の変数を使用する
ことができ、このコードはカードを挿入してから端末内に入力される。

【００２４】 本発明は、カード／端末の相互認証の枠内で説明されてきたが、もっと一般的
には、まずカードによる端末の認証に適用され、この最初の認証に続いて、端末
によるカードの認証を実施する又は実施しないことも可能であり、２つの認証全
体が相互認証を実現する。

【００２５】 記載された実施例は、親鍵Ｋ_m、セッション鍵Ｋ_s、及び取引鍵Ｋ_tのような変
数を用いる暗号化関数Ｆ、Ｇ、及びＦ_ksを使用するが、これらの鍵は本発明の実
施には必要ではない。

【００２６】 認証カウンタＣＥの値は、好ましくは秘密コードＣＳＮの計算に使用され、取
引カウンタＣＴの値は、好ましくは認証証明ＣＡの計算に使用される。

【図面の簡単な説明】

【図１】 図１は、メモリカードの簡略図である。

【図２】 図２は、取引の際に端末とメモリカードとの間で実行される操作を示すブロッ
ク図である。

───────────────────────────────────────────────────── フロントページの続き (81)指定国 ＥＰ(ＡＴ，ＢＥ，ＣＨ，ＣＹ， ＤＥ，ＤＫ，ＥＳ，ＦＩ，ＦＲ，ＧＢ，ＧＲ，ＩＥ，Ｉ Ｔ，ＬＵ，ＭＣ，ＮＬ，ＰＴ，ＳＥ)，ＯＡ(ＢＦ，ＢＪ ，ＣＦ，ＣＧ，ＣＩ，ＣＭ，ＧＡ，ＧＮ，ＧＷ，ＭＬ， ＭＲ，ＮＥ，ＳＮ，ＴＤ，ＴＧ)，ＡＰ(ＧＨ，ＧＭ，Ｋ Ｅ，ＬＳ，ＭＷ，ＳＤ，ＳＬ，ＳＺ，ＴＺ，ＵＧ，ＺＷ )，ＥＡ(ＡＭ，ＡＺ，ＢＹ，ＫＧ，ＫＺ，ＭＤ，ＲＵ， ＴＪ，ＴＭ)，ＡＬ，ＡＭ，ＡＴ，ＡＵ，ＡＺ，ＢＡ， ＢＢ，ＢＧ，ＢＲ，ＢＹ，ＣＡ，ＣＨ，ＣＮ，ＣＵ，Ｃ Ｚ，ＤＥ，ＤＫ，ＥＥ，ＥＳ，ＦＩ，ＧＢ，ＧＥ，ＧＨ ，ＧＭ，ＨＲ，ＨＵ，ＩＤ，ＩＬ，ＩＮ，ＩＳ，ＪＰ， ＫＥ，ＫＧ，ＫＰ，ＫＲ，ＫＺ，ＬＣ，ＬＫ，ＬＲ，Ｌ Ｓ，ＬＴ，ＬＵ，ＬＶ，ＭＤ，ＭＧ，ＭＫ，ＭＮ，ＭＷ ，ＭＸ，ＮＯ，ＮＺ，ＰＬ，ＰＴ，ＲＯ，ＲＵ，ＳＤ， ＳＥ，ＳＧ，ＳＩ，ＳＫ，ＳＬ，ＴＪ，ＴＭ，ＴＲ，Ｔ Ｔ，ＵＡ，ＵＧ，ＵＳ，ＵＺ，ＶＮ，ＹＵ，ＺＡ，ＺＷ Ｆターム(参考） 3E042 AA10 CC02 EA01 5B085 AE09 AE12 AE23 5J104 AA07 KA02 KA03 NA02 NA11 NA12 NA35

Claims (13)

【特許請求の範囲】
1. 【請求項１】少なくとも一つのカウンタ（ＣＥ，ＣＴ）を有するメモリカー
   ド（ＣＭ）と、端末（ＴＥ）との間の認証方法であって、以下から成る過程を有
   することを特徴とする方法。 （ａ）メモリカード（ＣＭ）を端末（ＴＥ）に挿入する。 （ｂ）メモリカードを識別する少なくとも一つのコードＣＳＮと、前記カウンタ
   （ＣＥ，ＣＴ）の値（ＣＴＥ₁，ＣＴＣ₁）とから成る、複数の変数の暗号化関数
   Ｆによって、秘密コードＣＳＣ₁を端末内で計算する。 （ｃ）計算された秘密コードＣＳＣ₁が、下記の操作（ｆ）によって前回の認証
   の終わりにメモリ内に記録されたコードＣＳＣ₀と同一の場合、カードによって
   端末を認証する。 （ｄ）予定された取引を実行し、前記カウンタ（ＣＥ，ＣＴ）の値（ＣＴＥ₂、
   ＣＴＣ₂）を変更する。 （ｅ）メモリカード（ＣＭ）を識別するコードＣＳＮと、前記カウンタ（ＣＥ，
   ＣＴ）の新しい値（ＣＴＥ₂，ＣＴＣ₂）との暗号化関数Ｆによって、新しい秘密
   コードＣＳＣ₂を端末（ＴＥ）内で計算する。 （ｆ）操作（ｅ）によって計算された新しい秘密コードＣＳＣ₂をメモリ（Ｍ）
   内に記録することによって、次回の取引のためにメモリカード（ＣＭ）を更新す
   る。
2. 【請求項２】以下のことを特徴とする、請求項１に記載の方法。 −過程（ｃ）と（ｄ）の間に、次の追加の過程を備えること。 （ｘ）メモリカードを識別する少なくとも一つのコードＣＳＮと、カウンタ（
   ＣＥ，ＣＴ）の値（ＣＴＥ₁，ＣＴＣ₁）とから成る、複数の変数の暗号化関数Ｇ
   によって、認証証明ＣＡ₁を端末（ＴＥ）内で計算する。 （ｙ）計算された認証証明ＣＡ₁が、下記の過程（ｅ’）と（ｆ’）によって
   前回の取引の終わりに計算され記録された証明ＣＡ₀と同一の場合、端末（ＴＥ
   ）によってカード（ＣＭ）を認証する。 −過程（ｅ）が、以下から成る過程によって補足されること。 （ｅ’）メモリーカードを識別するコードＣＳＮと、前記カウンタ（ＣＥ，Ｃ
   Ｔ）の新しい値（ＣＴＥ₂，ＣＴＣ₂）との暗号化関数Ｇによって、新しい認証証
   明ＣＡ₂を端末（ＴＥ）内で計算する。 −過程（ｆ）が、以下から成る過程によって補足されること。 （ｆ’）過程（ｅ’）によって計算された新しい認証証明ＣＡ₂をメモリ（Ｍ
   ）内に記録することによって、次回の取引のためにメモリカード（ＣＭ）を更新
   する。
3. 【請求項３】以下のことを特徴とする、請求項１に記載の方法。 −過程（ｂ）が、以下から成ること。 ・まず、端末（ＴＥ）の既知の少なくとも一つの親鍵Ｋ_mと、メモリカード（
   ＣＭ）を識別するコードＣＳＮと、前記カウンタ（ＣＥ，ＣＴ）の値（ＣＴＥ₁
   ，ＣＴＣ₁）とから成る、複数の変数の暗号化関数Ｆ_ksによって、セッション鍵
   Ｋ_s1を、端末（ＴＥ）内で計算し、 ・続いて、セッション鍵Ｋ_s1の暗号化関数Ｆによって、秘密コードＣＳＣ₁を
   、端末（ＴＥ）内で計算する。 −過程（ｅ）が、以下のことから成ること。 ・まず、前記カウンタ（ＣＥ，ＣＴ）の新しい値（ＣＴＥ₂，ＣＴＣ₂）を用い
   た暗号化関数Ｆ_ksによって、新しいセッション鍵Ｋ_s2を、端末（ＴＥ）内で計算
   し、 ・続いて、新しいセッション鍵Ｋ_s2の暗号化関数Ｆによって、新しい秘密コー
   ドＣＳＣ₂を、端末（ＴＥ）内で計算する。
4. 【請求項４】以下のことを特徴とする、請求項２又は３に記載の方法。 −過程（ｅ’）が、新しいセッション鍵Ｋ_s2の暗号化関数Ｇによって、新しい認
   証証明ＣＡ₂を計算することから成る。
5. 【請求項５】一方（ＣＥ）が認証をカウントし、他方（ＣＴ）が支払い取引
   をカウントする、２つのカウンタを含むメモリカード（ＣＭ）への適用において
   、暗号化関数Ｆ，Ｇ，及びＦ_ksの変数に、前記カウンタの値（ＣＴＥ₁，ＣＴＥ₂ ，ＣＴＣ₁，ＣＴＣ₂）が含まれていることを特徴とする、請求項１から４のいず
   れか一つに記載の方法。
6. 【請求項６】暗号化関数Ｆ，Ｇ，及びＦ_ksが、一方向関数であることを特徴
   とする、請求項１から５のいずれか一つに記載の方法。
7. 【請求項７】暗号化関数Ｆ，Ｇ，及びＦ_ksが、「ハッシュ」関数であること
   を特徴とする、請求項６に記載の方法。
8. 【請求項８】過程（ｂ）が、以下から成る過程を有することを特徴とする、
   請求項３から７のいずれか一つに記載の方法。 （ｂ₁）カード（ＣＭ）の通し番号ＣＳＮを読み込む。 （ｂ₂）カウンタの内容（ＣＴＥ₁および／またはＣＴＣ₁）を読み込む。 （ｂ₃）暗号化関数Ｆ_ksにより、 Ｋｓ₁＝Ｆ_ks（Ｋ_m，ＣＳＮ，ＣＴＣ₁） であるようなセッション鍵を計算する。
9. 【請求項９】過程（ｃ）が、以下から成る過程を有することを特徴とする、
   請求項１から８のいずれか一つに記載の方法。 （ｃ₁）秘密コードＣＳＣ₁をカードＣＭに伝送する。 （ｃ₂）カード内で、この秘密コードＣＳＣ₁を、カードでの前回の取引の終わ
   りにカードＣＭ内に記録された秘密コードＣＳＣ₀と、比較する。 （ｃ₃）もし、比較が同一性ＣＳＣ₀＝ＣＳＣ₁を示すならば、操作の続きを認
   証し、そうでない場合はそれを拒否する。
10. 【請求項１０】過程（ｙ）が、以下から成る過程を有することを特徴とする
    、請求項２から９のいずれか一つに記載の方法。 （ｙ₁）カードＣＭのメモリ領域ＺＣＡの内容ＣＡ₀を読み込む。 （ｙ₂）前回の取引の終わりに計算された認証証明ＣＡ₀に対応するこの領域Ｚ
    ＣＡの内容ＣＡ₀を、端末（ＴＥ）に伝送する。 （ｙ₃）端末ＴＥ内で、計算された認証証明ＣＡ₁を証明ＣＡ₀と比較する。 （ｙ₄）もし、比較が同一性ＣＡ₁＝ＣＡ₀を示すならば、操作の続きを認証す
    る。
11. 【請求項１１】残高ＢＡＬ₀を変更する場合に、過程（ｄ）が、以下から成
    る過程を有することを特徴とする、請求項１から１０のいずれか一つに記載の方
    法。 （ｄ₁）メモリ（Ｍ）の領域ＺＢＡＬ内に、前回の取引の結果の残高の値ＢＡ
    Ｌ₀と、対応する証明ＣＢＡＬ₀とを読み込む。 （ｄ₂）証明ＣＢＡＬ₀が、ＣＢＡＬ₀＝Ｈ（Ｋ_t，ＢＡＬ₀，ＣＳＮ，ＣＴＣ₁）
    であるような暗号化関数の結果に、きちんと対応することを検証する。 −Ｋ_tは取引鍵である。 （ｄ₃）取引カウンタを、値（ＣＴＣ₁＋１）＝ＣＴＣ₂にインクリメントする
    。 （ｄ₄）新しい残高ＢＡＬ₁を領域ＺＢＡＬ内に記録する。 （ｄ₅）ＣＢＡＬ₁＝Ｈ（Ｋ_t，ＢＡＬ₁，ＣＳＮ，ＣＴＣ₂）であるような、新
    しい残高ＢＡＬ₁の証明ＣＢＡＬ₁を計算する。 （ｄ₆）領域ＺＢＡＬ内にＣＢＡＬ₁を記録する。
12. 【請求項１２】以下のことを特徴とする、請求項１から１１のいずれか一つ
    に記載の方法。 −過程（ａ）が、さらに使用者の個人コードＰＩＮの入力過程を含む。
13. 【請求項１３】以下のことを特徴とする、請求項３から１２のいずれか一つ
    に記載の方法。 −過程（ｂ）において、セッションＫｓ₁の計算に用いられた変数の一つは、使
    用者の個人コードＰＩＮである。