公开(公告)号：JP2009521032A

公开(公告)日：2009-05-28

申请号：JP2008546510

申请日：2006-12-14

Applicant: トラステ ロジクTrusted Logic

Inventor： アプヴリル，アクセル ,  フレイ，アレクサンドル ,  ボリニャーノ，ドミニク

IPC: G06F21/24 ,  G06K17/00 ,  G06K19/073 ,  H04L9/32

CPC classification number: H04L9/3247 ,  H04L2209/603 ,  H04L2209/80

Abstract: 本発明の方法によると，チップカードと，カウント機能（ＦＣ）と，カウンタ（Ｃｐｔ）と，メモリ領域の書き込み専用部分に格納される秘密鍵（Ｃｆ）とが永続メモリに格納され，カウンタ及び秘密鍵（Ｃｆ）にはカウント機能（ＦＣ）からのみアクセス可能である。 要求エンティティ（ＥＲ）から発行されたカウンタ要求をチップカードが受信すると，カウント機能（ＦＣ）はカウンタ（Ｃｐｔ）の変更と署名の計算とを行い，応答を要求エンティティ（ＥＲ）に送る。 カウンタ要求への応答をオンボードシステムが受信すると，この応答に含まれた署名がチェックされる。

公开(公告)号：JP4833079B2

公开(公告)日：2011-12-07

申请号：JP2006546234

申请日：2004-12-17

Applicant: トラスティッド、ロジックTrusted Logic ,  フランス・テレコム

Inventor： アレクサンドル、フライ ,  エリック、ベティラール ,  キュイトラウク、アルバラード ,  ジャン‐ベルナール、ブランシェ ,  ジョフルワ、モンテル ,  マシュー、モープティ ,  ローラン、フレールボー

IPC: G06F21/22 ,  H04L29/06

CPC classification number: H04L63/10

公开(公告)号：JP2009521033A

公开(公告)日：2009-05-28

申请号：JP2008546527

申请日：2006-12-22

Applicant: トラステ ロジクTrusted Logic

Inventor： アプヴリル，アクセル ,  フレイ，アレクサンドル

IPC: G06F21/51 ,  G06F21/62

CPC classification number: G06F21/6281 ,  G06F21/51

Abstract: 本発明は，マイクロプロセッサと，複数のアプリケーションと，これらのアプリケーションを実行及び管理でき，各アプリケーションの識別子（３）をその実行に必要な識別情報に対応付けることができる汎用オペレーティングシステム（ＯＳ２）と，前記複数のアプリケーションにサービスを提供する信頼された環境（ＥＣ）とを含むコンピュータシステムのアプリケーションを認証する方法に関する。 本発明によると，信頼された環境（ＥＣ）のサービスにアプリケーションがアクセスできる前に，前記アプリケーションの識別情報に対してハッシング操作が行われ，信頼された環境（ＥＣ）がこのハッシング操作の結果の真正性をチェックする。

公开(公告)号：JP2012114937A

公开(公告)日：2012-06-14

申请号：JP2012005048

申请日：2012-01-13

Applicant: Fr Telecom ,  Trusted Logic ,  トラステッド ロジック ,  フランス・テレコム

Inventor： JEAN-CLAUDE PARIS ,  FABIEN BENLEATH ,  GUILLAUME BRUYERE ,  ALEXANDER FREY

IPC: H04M1/66 ,  H04L9/08 ,  H04L9/32 ,  H04W8/18 ,  H04W88/02

CPC classification number: H04L29/06 ,  H04L9/3234 ,  H04L9/3263 ,  H04L9/3271 ,  H04L63/126 ,  H04L67/34 ,  H04W8/183 ,  H04W12/02 ,  H04W12/04 ,  H04W12/10 ,  H04W88/02

Abstract: PROBLEM TO BE SOLVED: To provide a method for protecting a communication terminal (4) connecting to a module (5) used for identifying the user of a communication terminal.SOLUTION: A method includes: steps (10, 11) of securely loading a first program having a data collation key onto an identification information module; a step (12) of securely loading a second program linked with the first program onto a communication terminal; a transmission step (13) of transmitting a data collation key corresponding to the data collation key of the first program to the second program; a step of causing the communication terminal to store the transmitted collation key in a secure storage zone of the communication terminal; and a step (17) of transmitting, from the first program, an individual response to a request (step 14) from the second program only when verifying (steps 15, 16) that the second program effectively holds the data collation key.

Abstract translation: 要解决的问题：提供一种用于保护连接到用于识别通信终端的用户的模块（5）的通信终端（4）的方法。 解决方案：一种方法包括：将具有数据对照密钥的第一程序安全地加载到识别信息模块上的步骤（10,11） 将与第一程序链接的第二程序安全地加载到通信终端的步骤（12）; 发送步骤（13），将与第一程序的数据校对密钥相对应的数据校对密钥发送到第二程序; 使通信终端将通信终端存储在通信终端的安全存储区域中的步骤; 以及仅当验证（步骤15,16）第二程序有效地保存数据整理密钥时，从第一程序向第二程序发送对于请求的步骤（步骤14）的步骤（17）。 版权所有（C）2012，JPO＆INPIT

公开(公告)号：JP2007519994A

公开(公告)日：2007-07-19

申请号：JP2006546234

申请日：2004-12-17

Applicant: トラスティッド、ロジックTrusted Logic ,  フランス テレコム

Inventor： アレクサンドル、フライ ,  エリック、ベティラール ,  キュイトラウク、アルバラード ,  ジャン‐ベルナール、ブランシェ ,  ジョフルワ、モンテル ,  マシュー、モープティ ,  ローラン、フレールボー

IPC: G06F21/22 ,  G06F21/06 ,  H04L29/06

CPC classification number: H04L63/10

Abstract: 本発明は、一連のアプリケーションを実行するための手段を備えるユーザインタフェースが設けられたコンピュータ装置に関し、前記手段は２つの実行空間を含んでいる。 本発明において、第２の実行空間（１００，Ｐ１，２００，Ｐ２）のアプリケーションは、第１の実行空間（１００，Ｐ１，２００，Ｐ２）のアプリケーションのセキュリティレベルよりも特に高いセキュリティレベルを有しており、前記２つの実行空間は１つの物理処理手段によってホストされ、前記物理処理手段は、この物理処理手段を破壊しなければ２つの部分に分離することができないようになっている。

公开(公告)号：JP2004512593A

公开(公告)日：2004-04-22

申请号：JP2002536746

申请日：2001-10-17

Applicant: トラステ ロジクTrusted Logic

Inventor： フレイ、　アレクサンドル ,  メニ、　セドリク

IPC: G06K17/00 ,  G06F13/38 ,  G06K7/00 ,  H04L29/06

CPC classification number: G06K7/0008 ,  H04L69/14

Abstract: An existing active base logic flow between a master transceiver and a slave transceiver, is selected as reference logic flow wherein is generated a set of concurrent logic flows. The concurrent logic flows are built with successive elementary packets segmenting pairs of command/response. An exchange of pairs of command/response is initialised and continued by the master transceiver on the basis of specific commands. The slave transceiver triggers a segmentation by transmitting specific responses on the reference logic flow.

公开(公告)号：JP2014225881A

公开(公告)日：2014-12-04

申请号：JP2014125675

申请日：2014-06-18

Applicant: オランジュ ,  Orange ,  トラステッド ロジック ,  Trusted Logic ,  トラステッド ロジック

Inventor： JEAN-CLAUDE PARIS ,  FABIEN BENLEATH ,  GUILLAUME BRUYERE ,  ALEXANDER FREY

IPC: H04L9/32 ,  H04M1/66 ,  H04W8/18 ,  H04W88/02

CPC classification number: H04L29/06 ,  H04L9/3234 ,  H04L9/3263 ,  H04L9/3271 ,  H04L63/126 ,  H04L67/34 ,  H04W8/183 ,  H04W12/02 ,  H04W12/04 ,  H04W12/10 ,  H04W88/02

Abstract: 【課題】通信端末のユーザを識別するために用いるモジュール(5)を接続した通信端末(4)の保護方法を提供すること。【解決手段】本発明の方法は,データ照合かぎを有する第1プログラムを識別情報モジュールにセキュアにロードするステップ(10,11)と,第1プログラムと連動する第2プログラムを通信端末上にセキュアにロードするステップ(12)と,第1プログラムのデータ照合かぎに対応するデータ照合かぎを第2プログラムに送信する送信ステップ(13)と,送信されたデータ照合かぎを通信端末のセキュアな記憶領域に記憶させるステップと,第2プログラムがデータ照合かぎを有効に保有することを検証した(ステップ15,16)ときに限り,第2プログラムからの要求(ステップ14)に対する各応答を第1プログラムから送信するステップ(17)と,を有する。【選択図】図2

Abstract translation: 要解决的问题：提供一种用于保护连接到用于识别通信终端的用户的模块（5）的通信终端（4）的方法。解决方案：一种方法包括：步骤（10,11），安全地加载 第一程序具有数据对照密钥到识别信息模块上; 将与第一程序链接的第二程序安全地加载到通信终端的步骤（12）; 发送步骤（13），将与第一程序的数据校对密钥相对应的数据校对密钥发送到第二程序; 使通信终端将通信终端存储在通信终端的安全存储区域中的步骤; 以及仅当验证（步骤15,16）第二程序有效地保存数据整理密钥时，从第一程序向第二程序发送对于请求的步骤（步骤14）的步骤（17）。

公开(公告)号：JP4463471B2

公开(公告)日：2010-05-19

申请号：JP2002536746

申请日：2001-10-17

Applicant: トラステ ロジクTrusted Logic

Inventor： アレクサンドル フレイ、 ,  セドリク メニ、

IPC: G06F13/38 ,  G06K17/00 ,  G06K7/00 ,  H04L29/06

CPC classification number: G06K7/0008 ,  H04L69/14

Abstract: An existing active base logic flow between a master transceiver and a slave transceiver, is selected as reference logic flow wherein is generated a set of concurrent logic flows. The concurrent logic flows are built with successive elementary packets segmenting pairs of command/response. An exchange of pairs of command/response is initialised and continued by the master transceiver on the basis of specific commands. The slave transceiver triggers a segmentation by transmitting specific responses on the reference logic flow.

公开(公告)号：ES2385468T3

公开(公告)日：2012-07-25

申请号：ES05850581

申请日：2005-12-20

Applicant: TRUSTED LOGIC ,  TRUSTED LOGIC

Inventor： BOUCHY FREDERIC

IPC: G06F17/30

Abstract: Procedimiento de gestión de ficheros de registro en soportes físicos caracterizado porque comprende:a) la inscripción de ciertas informaciones de gestión de ficheros, llamadas IGR, en zonas de memoria contiguas a losregistros del fichero;b) la utilización de las IGR durante las operaciones de acceso al fichero;c) la actualización de ciertas IGR durante las operaciones de modificación de fichero, a condición de que, debido alhecho de que las IGF están contenidas en las mismas páginas que los registros, sólo se modifiquen esas páginas.

公开(公告)号：WO2006070113A3

公开(公告)日：2007-07-26

申请号：PCT/FR2005003241

申请日：2005-12-20

Applicant: TRUSTED LOGIC ,  VETILLARD ERIC ,  MARLET RENAUD

Inventor： VETILLARD ERIC ,  MARLET RENAUD

IPC: G06F11/36

CPC classification number: G06F11/3696 ,  G06F11/3604

Abstract: The invention concerns a method including a step of static analysis of the programme which determines its operational characteristics and which produces test requirements for evaluating the inaccurate operational characteristics, a step whereby the programme is subjected to a selection of tests consisting only of the tests and/or test fragments concerning the inaccurate operational characteristics, a step whereby the programme is subjected to a series of tests parameterized in accordance with the test requirements generated during the first step and a step whereby the operational characteristics of the programme are constituted from the characteristics determined by the static analysis, complemented by the operational characteristics evaluated following the tests.

Abstract translation: 本发明涉及一种方法，其包括程序的静态分析步骤，该程序确定其操作特性并且产生用于评估不准确的操作特征的测试要求;步骤，该程序被选择仅由测试和/ 或关于不准确的操作特性的测试片段，该程序被执行根据在第一步骤中产生的测试要求参数化的一系列测试，以及步骤，其中程序的操作特性由 静态分析，补充了测试后评估的操作特性。