FR3113963B1 - Chaine de confiance avancee en aeronautique domaine de l'invention - Google Patents
Chaine de confiance avancee en aeronautique domaine de l'invention Download PDFInfo
- Publication number
- FR3113963B1 FR3113963B1 FR2009145A FR2009145A FR3113963B1 FR 3113963 B1 FR3113963 B1 FR 3113963B1 FR 2009145 A FR2009145 A FR 2009145A FR 2009145 A FR2009145 A FR 2009145A FR 3113963 B1 FR3113963 B1 FR 3113963B1
- Authority
- FR
- France
- Prior art keywords
- metadata
- binary code
- digest
- trust
- binary
- 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
Classifications
-
- 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/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3236—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions
- H04L9/3239—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions involving non-keyed hash functions, e.g. modification detection codes [MDCs], MD5, SHA or RIPEMD
-
- 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/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3247—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials involving digital signatures
-
- 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/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3236—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
- H04L2209/68—Special signature format, e.g. XML format
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
- H04L2209/84—Vehicles
Landscapes
- Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Storage Device Security (AREA)
Abstract
Procédé mis en œuvre par un calculateur avionique embarqué pour exécuter une pluralité de codes binaires associés à une pluralité d’ensembles de métadonnées, dans lequel: la pluralité de codes binaires et la pluralité de métadonnées sont hiérarchisés en un nombre de niveaux au moins égal à deux ; un premier code binaire, d’un niveau, est associé à un premier ensemble de métadonnées dudit niveau, et un deuxième code binaire d’un niveau inférieur, lui-même associé à un deuxième ensemble de métadonnées dudit niveau inférieur; le premier ensemble de métadonnées comprend une signature de données, lesdites données comprenant moins un premier condensat associé au premier code binaire, et le deuxième ensemble de métadonnées comprend une clé publique ; ledit procédé comprenant l’exécution, par le deuxième code binaire, des étapes suivantes: application d’une fonction de hachage pour obtenir un deuxième condensat du premier code binaire ; décryptage de la signature avec ladite clé publique pour obtenir ledit premier condensat ; autorisation de l’exécution du code binaire, si et seulement si et seulement si le premier condensat est identique au deuxième. Figure 3
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR2009145A FR3113963B1 (fr) | 2020-09-10 | 2020-09-10 | Chaine de confiance avancee en aeronautique domaine de l'invention |
US17/463,144 US11876912B2 (en) | 2020-09-10 | 2021-08-31 | Aerospace advanced chain of trust |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR2009145 | 2020-09-10 | ||
FR2009145A FR3113963B1 (fr) | 2020-09-10 | 2020-09-10 | Chaine de confiance avancee en aeronautique domaine de l'invention |
Publications (2)
Publication Number | Publication Date |
---|---|
FR3113963A1 FR3113963A1 (fr) | 2022-03-11 |
FR3113963B1 true FR3113963B1 (fr) | 2023-06-30 |
Family
ID=74045617
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR2009145A Active FR3113963B1 (fr) | 2020-09-10 | 2020-09-10 | Chaine de confiance avancee en aeronautique domaine de l'invention |
Country Status (2)
Country | Link |
---|---|
US (1) | US11876912B2 (fr) |
FR (1) | FR3113963B1 (fr) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
FR3113963B1 (fr) * | 2020-09-10 | 2023-06-30 | Thales Sa | Chaine de confiance avancee en aeronautique domaine de l'invention |
Family Cites Families (22)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5724425A (en) * | 1994-06-10 | 1998-03-03 | Sun Microsystems, Inc. | Method and apparatus for enhancing software security and distributing software |
AU2002232464A1 (en) * | 2001-02-09 | 2002-08-28 | Microsoft Corporation | Distribution of binary executables and content from peer locations/machines |
US20070157146A1 (en) * | 2006-01-03 | 2007-07-05 | Mediatek Inc. | Method of packing-based macro placement and semiconductor chip using the same |
WO2008009112A1 (fr) * | 2006-07-18 | 2008-01-24 | Certicom Corp. | système et procédé pour authentifier un dispositif de jeu |
JP4359622B2 (ja) * | 2007-01-22 | 2009-11-04 | 富士通株式会社 | 電子署名プログラム、および電子署名装置 |
US9721101B2 (en) * | 2013-06-24 | 2017-08-01 | Red Hat, Inc. | System wide root of trust chaining via signed applications |
US8484474B2 (en) | 2010-07-01 | 2013-07-09 | Rockwell Automation Technologies, Inc. | Methods for firmware signature |
FR2979442B1 (fr) * | 2011-08-29 | 2013-08-16 | Inside Secure | Microprocesseur protege contre le vidage de memoire |
US9223982B2 (en) | 2013-03-01 | 2015-12-29 | Intel Corporation | Continuation of trust for platform boot firmware |
EP2860904A1 (fr) * | 2013-10-08 | 2015-04-15 | Thomson Licensing | Procédé de signature d'un ensemble d'éléments binaires et mise à jour de signature, dispositif électronique correspondant et produit de programme informatique |
WO2016065014A1 (fr) * | 2014-10-21 | 2016-04-28 | Princeton University | Architecture de confiance et procédés associés |
US9536080B2 (en) * | 2015-05-29 | 2017-01-03 | Apple Inc. | Method for validating dynamically loaded libraries using team identifiers |
US20170255775A1 (en) * | 2016-03-02 | 2017-09-07 | Apple Inc | Software verification systems with multiple verification paths |
US11314865B2 (en) * | 2017-08-01 | 2022-04-26 | The Trustees Of Princeton University | Pluggable trust architecture |
US10754952B2 (en) * | 2018-07-23 | 2020-08-25 | Vmware, Inc. | Host software metadata verification during remote attestation |
US11398896B2 (en) * | 2019-01-11 | 2022-07-26 | Johnson Controls Tyco IP Holdings LLP | Building device with blockchain based verification of building device files |
US11574060B2 (en) * | 2019-04-24 | 2023-02-07 | International Business Machines Corporation | Secure initial program load |
US11513701B2 (en) * | 2019-05-03 | 2022-11-29 | EMC IP Holding Company LLC | Storage management system and method |
US20200409723A1 (en) * | 2019-06-28 | 2020-12-31 | Microsoft Technology Licensing, Llc | Container management system with a layout manager system |
US11093169B1 (en) * | 2020-04-29 | 2021-08-17 | EMC IP Holding Company LLC | Lockless metadata binary tree access |
US11356275B2 (en) * | 2020-05-27 | 2022-06-07 | International Business Machines Corporation | Electronically verifying a process flow |
FR3113963B1 (fr) * | 2020-09-10 | 2023-06-30 | Thales Sa | Chaine de confiance avancee en aeronautique domaine de l'invention |
-
2020
- 2020-09-10 FR FR2009145A patent/FR3113963B1/fr active Active
-
2021
- 2021-08-31 US US17/463,144 patent/US11876912B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
US11876912B2 (en) | 2024-01-16 |
FR3113963A1 (fr) | 2022-03-11 |
US20220078021A1 (en) | 2022-03-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP3304800B1 (fr) | Procédé de fourniture d'un puzzle spatial | |
Georganas et al. | HipMer: an extreme-scale de novo genome assembler | |
Kim et al. | HLA haplotyping from RNA-seq data using hierarchical read weighting | |
CN100342713C (zh) | 用于保证软件更新的方法 | |
CN103902910B (zh) | 检测智能终端中恶意代码的方法及装置 | |
US20170242475A1 (en) | Method and system for reducing power consumption in bitcoin mining via waterfall structure | |
FR3113963B1 (fr) | Chaine de confiance avancee en aeronautique domaine de l'invention | |
Schneider et al. | EPISODE: Efficient privacy-preserving similar sequence queries on outsourced genomic databases | |
CN111639368A (zh) | 一种基于区块链的增量学习分布式计算方法、***和节点 | |
CN1574727A (zh) | 防止程序篡改的方法、升级混淆程序的方法及装置 | |
KR20080018182A (ko) | 보안 해시 함수의 강화 | |
Farrer et al. | Using false discovery rates to benchmark SNP-callers in next-generation sequencing projects | |
CN1929381A (zh) | 一种基于网络的软件保护方法 | |
Mahadik et al. | Scalable genomic assembly through parallel de bruijn graph construction for multiple k-mers | |
Karvelas et al. | Privacy-preserving whole genome sequence processing through proxy-aided ORAM | |
CN1545242A (zh) | 一种基于辫群共轭问题的数字签名方法 | |
Zhang et al. | A DNA‐Based Encryption Method Based on Two Biological Axioms of DNA Chip and Polymerase Chain Reaction (PCR) Amplification Techniques | |
CN109088850B (zh) | 基于卢卡斯序列定位错误文件的批量云审计方法 | |
Reichenwallner et al. | Efficient deobfuscation of linear mixed boolean-arithmetic expressions | |
Kim | Distributed password cracking on GPU nodes | |
Marmesat et al. | PCR strategies for complete allele calling in multigene families using high-throughput sequencing approaches | |
Hu et al. | NextPolish2: a repeat-aware polishing tool for genomes assembled using HiFi long reads | |
LU100142B1 (en) | Electronic communication and access-control method | |
JP2008541272A5 (fr) | ||
JP7197942B2 (ja) | ビッグデータモバイルソフトウェアの類似性についての記述エントロピーに基づくインテリジェントな決定方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PLFP | Fee payment |
Year of fee payment: 2 |
|
PLSC | Publication of the preliminary search report |
Effective date: 20220311 |
|
PLFP | Fee payment |
Year of fee payment: 3 |
|
PLFP | Fee payment |
Year of fee payment: 4 |