FR3118223B1 - Methode d’association d’un programme logiciel executable avec une plateforme informatique - Google Patents

Methode d’association d’un programme logiciel executable avec une plateforme informatique Download PDF

Info

Publication number
FR3118223B1
FR3118223B1 FR2013520A FR2013520A FR3118223B1 FR 3118223 B1 FR3118223 B1 FR 3118223B1 FR 2013520 A FR2013520 A FR 2013520A FR 2013520 A FR2013520 A FR 2013520A FR 3118223 B1 FR3118223 B1 FR 3118223B1
Authority
FR
France
Prior art keywords
software program
computer platform
executable software
association key
association
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
Application number
FR2013520A
Other languages
English (en)
Other versions
FR3118223A1 (fr
Inventor
Gianni Santinelli
Vincent Lefebvre
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
TAGES
Original Assignee
TAGES
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by TAGES filed Critical TAGES
Priority to FR2013520A priority Critical patent/FR3118223B1/fr
Priority to US18/257,913 priority patent/US20240104194A1/en
Priority to PCT/EP2021/086393 priority patent/WO2022129467A1/fr
Publication of FR3118223A1 publication Critical patent/FR3118223A1/fr
Application granted granted Critical
Publication of FR3118223B1 publication Critical patent/FR3118223B1/fr
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/52—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow
    • G06F21/53—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow by executing in a restricted environment, e.g. sandbox or secure virtual machine
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
    • H04L9/0861—Generation of secret information including derivation or calculation of cryptographic keys or passwords

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Storage Device Security (AREA)

Abstract

METHODE D’ASSOCIATION D’UN PROGRAMME LOGICIEL EXECUTABLE AVEC UNE PLATEFORME INFORMATIQUE L’invention concerne une méthode d’association d’un programme logiciel exécutable avec une plateforme informatique. La méthode selon l’invention comprend les étapes suivantes : on fournit un programme logiciel initial, la plateforme informatique dans laquelle le programme logiciel exécutable s’exécute, ladite plateforme informatique comprenant un environnement d’exécution de confiance, des moyens de génération d’une clé d’association du programme logiciel avec la plateforme informatique, des moyens de modification du programme logiciel initial ; les moyens de génération de la clé d’association génèrent la clé d’association ; la clé d’association est transmise dans l’environnement d’exécution de confiance ; les moyens de modification du programme logiciel initial modifient le programme logiciel initial en utilisant la clé d’association ; et on obtient un programme logiciel modifié ; on exécute le programme logiciel modifié ; un composant au moins dudit programme logiciel modifié ou fourni de manière séparée s’exécute dans l’environnement d’exécution de confiance et nécessite, pour son exécution, la clé d’association. Figure de l’abrégé : Fig. 1A
FR2013520A 2020-12-17 2020-12-17 Methode d’association d’un programme logiciel executable avec une plateforme informatique Active FR3118223B1 (fr)

Priority Applications (3)

Application Number Priority Date Filing Date Title
FR2013520A FR3118223B1 (fr) 2020-12-17 2020-12-17 Methode d’association d’un programme logiciel executable avec une plateforme informatique
US18/257,913 US20240104194A1 (en) 2020-12-17 2021-12-17 Method for associating an executable software program with a computing platform
PCT/EP2021/086393 WO2022129467A1 (fr) 2020-12-17 2021-12-17 Methode d'association d'un programme logiciel executable avec une plateforme informatique

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR2013520 2020-12-17
FR2013520A FR3118223B1 (fr) 2020-12-17 2020-12-17 Methode d’association d’un programme logiciel executable avec une plateforme informatique

Publications (2)

Publication Number Publication Date
FR3118223A1 FR3118223A1 (fr) 2022-06-24
FR3118223B1 true FR3118223B1 (fr) 2023-11-17

Family

ID=75438902

Family Applications (1)

Application Number Title Priority Date Filing Date
FR2013520A Active FR3118223B1 (fr) 2020-12-17 2020-12-17 Methode d’association d’un programme logiciel executable avec une plateforme informatique

Country Status (3)

Country Link
US (1) US20240104194A1 (fr)
FR (1) FR3118223B1 (fr)
WO (1) WO2022129467A1 (fr)

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP3179690A1 (fr) * 2015-12-11 2017-06-14 Gemalto Sa Dispositif mobile ayant un environnement d'exécution sécurisé
US10592670B2 (en) * 2016-06-28 2020-03-17 Intel Corporation Technologies for provisioning and managing secure launch enclave with platform firmware
WO2020182302A1 (fr) * 2019-03-13 2020-09-17 Huawei Technologies Co., Ltd. Appareil et procédé de configuration dynamique de contrôle d'accès à une application de confiance

Also Published As

Publication number Publication date
US20240104194A1 (en) 2024-03-28
WO2022129467A1 (fr) 2022-06-23
FR3118223A1 (fr) 2022-06-24

Similar Documents

Publication Publication Date Title
Medeiros et al. Discipline matters: Refactoring of preprocessor directives in the# ifdef hell
Malburg et al. Combining search-based and constraint-based testing
US7743053B2 (en) Hybrid database query caching
Ibrahim et al. On the relationship between comment update practices and software bugs
RU2008116714A (ru) Конфигурация изолированных расширений и драйверов устройств
Dghaym et al. An STPA-based formal composition framework for trustworthy autonomous maritime systems
WO2006032846A3 (fr) Localisation de jeux informatiques
Le et al. Empirical study on synthesis engines for semantics-based program repair
Duszynski et al. Save: Software architecture visualization and evaluation
Vera-Pérez et al. Descartes: A pitest engine to detect pseudo-tested methods: Tool demonstration
Hsu et al. MACs: Mining API code snippets for code reuse
FR3118223B1 (fr) Methode d’association d’un programme logiciel executable avec une plateforme informatique
Ahmadi et al. Sn4ke: Practical mutation testing at binary level
US20080091645A1 (en) Hybrid database query caching
EA200500692A1 (ru) Система и способ автоматического генерирования спецификации инструментов с использованием утилиты логических операций, которые можно использовать для генерирования заказа на фотомаску
Hassan Tackling build failures in continuous integration
FR3091385B1 (fr) Méthode de développement d’un procédé de compilation d’un circuit quantique sur un processeur quantique et un tel procédé
Karanjai et al. Who is smarter? an empirical study of ai-based smart contract creation
Cao et al. A survey on automatic bug fixing
Muller et al. Predator hunting party (competition contribution)
Kakarontzas et al. Component certification as a prerequisite forwidespread oss reuse
JPWO2020161994A1 (ja) 依存関係検出装置および依存関係検出方法
Schubert et al. Into the woods: Experiences from building a dataflow analysis framework for C/C++
Verbaere et al. Query Technologies and Applications for Program Comprehension (QTAPC 2008)
Gilray et al. A survey of polyvariance in abstract interpretations

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 2

PLSC Publication of the preliminary search report

Effective date: 20220624

PLFP Fee payment

Year of fee payment: 3

PLFP Fee payment

Year of fee payment: 4