JP6769265B2 - 電子情報記憶媒体、icカード、データ異常確認方法、及びデータ異常確認プログラム - Google Patents
電子情報記憶媒体、icカード、データ異常確認方法、及びデータ異常確認プログラム Download PDFInfo
- Publication number
- JP6769265B2 JP6769265B2 JP2016231377A JP2016231377A JP6769265B2 JP 6769265 B2 JP6769265 B2 JP 6769265B2 JP 2016231377 A JP2016231377 A JP 2016231377A JP 2016231377 A JP2016231377 A JP 2016231377A JP 6769265 B2 JP6769265 B2 JP 6769265B2
- Authority
- JP
- Japan
- Prior art keywords
- data
- stored
- stack area
- abnormality
- flag
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Landscapes
- Detection And Correction Of Errors (AREA)
- Memory System (AREA)
Description
先ず、図4を参照して、実施例1において正規データの異常の有無を確認する処理について説明する。図4(A)は、実施例1において、図3に示すステップS3におけるpush処理の詳細を示すフローチャートであり、図4(B)は、実施例1において、図3に示すステップS4におけるreturn処理の詳細を示すフローチャートであり、図4(C)は、実施例1において、図3に示すステップS5におけるpop処理の詳細を示すフローチャートである。
次に、図5を参照して、実施例2において正規データの異常の有無を確認する処理について説明する。図5(A)は、実施例2において、図3に示すステップS3におけるpush処理の詳細を示すフローチャートであり、図5(B)は、実施例2において、図3に示すステップS5におけるpop処理の詳細を示すフローチャートである。
次に、図6を参照して、実施例3において正規データの異常の有無を確認する処理について説明する。図6(A)は、実施例3において、図3に示すステップS3におけるpush処理の詳細を示すフローチャートであり、図6(B)は、実施例3において、図3に示すステップS5におけるpop処理の詳細を示すフローチャートである。
1a ICチップ
2 外部装置
10 CPU
11 RAM
12 ROM
13 不揮発性メモリ
14 I/O回路
Claims (8)
- スタック領域を含むデータ格納領域を有するメモリを備える電子情報記憶媒体であって、
前記スタック領域にデータを格納するときに、当該データの異常の有無を確認するための冗長データを前記スタック領域以外の前記データ格納領域に格納し、且つ前記冗長データが格納されていることを示す格納済フラグを設定する設定手段と、
前記スタック領域から前記データを取り出すときに、前記格納済フラグが設定されている場合、前記データと前記冗長データとを用いて前記データの異常の有無を確認する確認手段と、
前記確認手段により前記データに異常がないことが確認された場合、前記格納済フラグの設定を解除し、且つ、前記データをスタック領域から取り出す取出手段と、
を備えることを特徴とする電子情報記憶媒体。 - 前記スタック領域に格納される前記データは、メソッド呼び出し命令に応じて呼び出されたメソッドの処理結果としての戻り値であり、
前記設定手段は、前記呼び出されたメソッドから呼び出し元への復帰処理において、前記格納済フラグが設定されている場合、確認要求フラグを設定し、
前記確認手段は、前記スタック領域から前記データを取り出すときに、前記確認要求フラグが設定されている場合に限り、前記データの異常の有無を確認し、
前記取出手段は、前記確認手段により前記データに異常がないことが確認された場合、前記格納済フラグ及び前記確認要求フラグの設定を解除し、且つ、前記データをスタック領域から取り出すことを特徴とする請求項1に記載の電子情報記憶媒体。 - 前記スタック領域に格納される前記データは、メソッド呼び出し命令に応じて呼び出されたメソッドの処理結果としての戻り値であり、
前記確認手段は、前記スタック領域から前記データを取り出すときに、前記格納済フラグが設定されており、且つ前記メソッドの呼び出し元が条件分岐命令である場合に限り、前記データの異常の有無を確認することを特徴とする請求項1に記載の電子情報記憶媒体。 - 前記メソッドは、電子情報記憶媒体に搭載されたAPIにより提供され、戻り値の型が標準的に定められているメソッドであることを特徴とする請求項2または3に記載の電子情報記憶媒体。
- 前記設定手段は、前記スタック領域にデータを格納するときに、当該データの型が真の値と偽の値との何れかを示す論理値型である場合に限り、当該データの異常の有無を確認するための冗長データを前記スタック領域以外の前記データ格納領域に格納し、且つ前記冗長データが格納されていることを示す格納済フラグを設定することを特徴とする請求項1に記載の電子情報記憶媒体。
- スタック領域を含むデータ格納領域を有するメモリを備えるICカードであって、
前記スタック領域にデータを格納するときに、当該データの異常の有無を確認するための冗長データを前記スタック領域以外の前記データ格納領域に格納し、且つ前記冗長データが格納されていることを示す格納済フラグを設定する設定手段と、
前記スタック領域から前記データを取り出すときに、前記格納済フラグが設定されている場合、前記データと前記冗長データとを用いて前記データの異常の有無を確認する確認手段と、
前記確認手段により前記データに異常がないことが確認された場合、前記格納済フラグの設定を解除し、且つ、前記データをスタック領域から取り出す取出手段と、
を備えることを特徴とするICカード。 - スタック領域を含むデータ格納領域を有するメモリを備える電子情報記憶媒体に含まれるプロセッサにより実行されるデータ異常確認方法であって、
前記スタック領域にデータを格納するときに、当該データの異常の有無を確認するための冗長データを前記スタック領域以外の前記データ格納領域に格納し、且つ前記冗長データが格納されていることを示す格納済フラグを設定するステップと、
前記スタック領域から前記データを取り出すときに、前記格納済フラグが設定されている場合、前記データと前記冗長データとを用いて前記データの異常の有無を確認するステップと、
前記データに異常がないことが確認された場合、前記格納済フラグの設定を解除し、且つ、前記データをスタック領域から取り出すステップと、
を含むことを特徴とするデータ異常確認方法。 - スタック領域を含むデータ格納領域を有するメモリを備えるコンピュータを、
前記スタック領域にデータを格納するときに、当該データの異常の有無を確認するための冗長データを前記スタック領域以外の前記データ格納領域に格納し、且つ前記冗長データが格納されていることを示す格納済フラグを設定する設定手段と、
前記スタック領域から前記データを取り出すときに、前記格納済フラグが設定されている場合、前記データと前記冗長データとを用いて前記データの異常の有無を確認する確認手段と、
前記確認手段により前記データに異常がないことが確認された場合、前記格納済フラグの設定を解除し、且つ、前記データをスタック領域から取り出す取出手段として機能させることを特徴とするデータ異常確認プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016231377A JP6769265B2 (ja) | 2016-11-29 | 2016-11-29 | 電子情報記憶媒体、icカード、データ異常確認方法、及びデータ異常確認プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016231377A JP6769265B2 (ja) | 2016-11-29 | 2016-11-29 | 電子情報記憶媒体、icカード、データ異常確認方法、及びデータ異常確認プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2018088147A JP2018088147A (ja) | 2018-06-07 |
JP6769265B2 true JP6769265B2 (ja) | 2020-10-14 |
Family
ID=62494550
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016231377A Active JP6769265B2 (ja) | 2016-11-29 | 2016-11-29 | 電子情報記憶媒体、icカード、データ異常確認方法、及びデータ異常確認プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6769265B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE102018213053A1 (de) * | 2018-08-03 | 2020-02-06 | Continental Teves Ag & Co. Ohg | Verfahren zum Analysieren von Quelltexten |
-
2016
- 2016-11-29 JP JP2016231377A patent/JP6769265B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2018088147A (ja) | 2018-06-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5200664B2 (ja) | メモリの内容を改竄する故障攻撃の検知方法、セキュリティデバイス及びコンピュータプログラム | |
US6535997B1 (en) | Data integrity in smartcard transactions | |
US9183400B2 (en) | IC card and IC card control method | |
US20070006224A1 (en) | Controlled execution of a program used for a virtual machine on a portable data carrier | |
JP6769265B2 (ja) | 電子情報記憶媒体、icカード、データ異常確認方法、及びデータ異常確認プログラム | |
US6779732B2 (en) | Method and apparatus for linking converted applet files | |
JP6798157B2 (ja) | 電子情報記憶媒体、異常検知方法、及び異常検知プログラム | |
US8819449B2 (en) | Event counter in a system adapted to the JavaCard language | |
JP5050893B2 (ja) | Icカードへの攻撃検知方法、icカードおよびicカード用プログラム | |
JP6424633B2 (ja) | 電子情報記憶媒体、異常検知方法、及びプログラム | |
JP6175882B2 (ja) | 情報記憶媒体、icカード、バイトコード実行方法 | |
JP6828548B2 (ja) | 電子情報記憶媒体、icカード、改竄チェック方法及び改竄チェック用プログラム | |
JP6136541B2 (ja) | 情報記憶媒体及びバイトコード実行方法 | |
JP6926945B2 (ja) | Icカードおよびターミナル装置 | |
JP2020135265A (ja) | 電子情報記憶媒体、icカード、改竄チェック方法、及びプログラム | |
JP7021465B2 (ja) | 電子情報記憶装置、icカード、データ復元方法、及びデータ復元プログラム | |
US9513933B2 (en) | Method of interruption of meta language program code execution | |
JP6119345B2 (ja) | Icチップ、icカード、検証処理方法、及び検証処理プログラム | |
JP6493672B2 (ja) | 電子情報記憶媒体、異常検知方法、異常検知プログラム、及びicカード | |
JP2016153945A (ja) | 電子情報記憶媒体、カウンタ書換方法、及びカウンタ書換プログラム | |
JP2008152452A (ja) | 携帯可能電子装置、携帯可能電子装置の制御方法およびicカード | |
CN113434247A (zh) | 一种java卡虚拟机的安全防护方法 | |
JP5293113B2 (ja) | 半導体装置、半導体装置の制御方法および半導体装置の制御プログラム | |
JP6398449B2 (ja) | 電子情報記録媒体、プロセッサモジュールの動作制御方法、及びプロセッサモジュールの動作制御プログラム | |
CN116569166A (zh) | 利用影子堆栈的已验证堆栈跟踪生成和加速的基于堆栈的分析 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20190926 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20200811 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20200825 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200907 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6769265 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |