JP2013035539A5 - - Google Patents
Download PDFInfo
- Publication number
- JP2013035539A5 JP2013035539A5 JP2012140734A JP2012140734A JP2013035539A5 JP 2013035539 A5 JP2013035539 A5 JP 2013035539A5 JP 2012140734 A JP2012140734 A JP 2012140734A JP 2012140734 A JP2012140734 A JP 2012140734A JP 2013035539 A5 JP2013035539 A5 JP 2013035539A5
- Authority
- JP
- Japan
- Prior art keywords
- hash value
- software
- aircraft
- data structure
- attributes
- 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.)
- Pending
Links
- 230000000875 corresponding Effects 0.000 claims 4
Claims (12)
- 航空機(104)上のソフトウェア部品(102)を検証するための方法であって、
航空機(104)上のソフトウェア部品に対する第1ハッシュ値を計算するステップと、
航空機(104)上で、第1ハッシュ値が航空機(104)上に保存されているソフトウェア完全性データ構造(118)からの第2ハッシュ値と一致するか否かを判定するステップであって、ソフトウェア完全性データ構造(118)が、航空機(104)により用いられるソフトウェア部品(102)に対して航空機(104)上で判定されていないハッシュ値を含む、ステップと、
航空機(104)上で、ソフトウェア部品に対する1つ以上の第1属性を計算するステップであって、1つ以上の第1属性は、第1のハッシュ値を計算するのに用いられるハッシュ関数とは異なるアルゴリズム又は関数を用いて計算される、ステップと、
と、
航空機(104)上で、1つ以上の第1属性がソフトウェア完全性データ構造(118)における1つ以上の第2属性と一致するか否かを判定するステップと、
1つ以上の第1属性が1つ以上の第2属性と一致し、かつ、第1ハッシュ値が第2ハッシュ値と一致する場合にのみ、航空機(104)上のソフトウェア部品に操作を行うステップと、を含む方法。 - 1つ以上の第2属性が、ソフトウェア部品に対する指紋を含む請求項1に記載の方法。
- 第1ハッシュ値を計算するステップ、および、第1ハッシュ値が第2ハッシュ値と一致するか否かを判定するステップが、航空機(104)上の電子システムにより行われる請求項1に記載の方法。
- 第1ハッシュ値を計算するステップが、ソフトウェア部品を航空機(104)上のソフトウェア検証ツール(226)へ送信するステップと、ソフトウェア検証ツール(226)によりソフトウェア部品を受信するステップと、ソフトウェア検証ツール(226)によりソフトウェア部品から第1ハッシュ値を計算するステップと、を含み、
第1ハッシュ値が第2ハッシュ値と一致するか否かを判定するステップが、ソフトウェア完全性データ構造(118)におけるソフトウェア部品に対する記録を識別するステップと、記録から第2ハッシュ値を取り出すステップと、ソフトウェア検証ツール(226)により第1ハッシュ値を第2ハッシュ値と比較するステップと、を含み、かつ、
第1ハッシュ値が第2ハッシュ値と一致する場合に、ソフトウェア検証ツール(226)により表示を送信するステップをさらに含む請求項1に記載の方法。 - 第1ハッシュ値を計算するステップが、航空機(104)上の電子システムにより第1ハッシュ値を計算するステップと、第1ハッシュ値を航空機(104)上で電子システムからソフトウェア検証ツール(226)へ送信するステップと、を含み、
第1ハッシュ値が第2ハッシュ値と一致するか否かを判定するステップが、ソフトウェア検証ツール(226)により第1ハッシュ値を受信するステップと、ソフトウェア完全性データ構造(118)におけるソフトウェア部品に対する記録を識別することと、記録から第2ハッシュ値を取り出すステップと、ソフトウェア検証ツール(226)により第1ハッシュ値を第2ハッシュ値と比較するステップと、を含み、かつ、
第1ハッシュ値が第2ハッシュ値と一致する場合に、ソフトウェア検証ツール(226)により電子システムへ表示を送信するステップをさらに含む請求項1に記載の方法。 - ソフトウェア完全性データ構造(118)が、
ソフトウェア完全性データ構造(118)を記述する属性と、
複数の記録であって、複数の記録の各々が、航空機(104)により用いられるソフトウェア部品と対応し、かつ、対応するソフトウェア部品に対するハッシュ値を含む、複数の記録と、を含む、請求項1に記載の方法。 - 航空機(104)上に保存されているソフトウェア完全性データ構造(118)であって、航空機(104)により用いられるソフトウェア部品(102)に対して航空機(104)上で判定されていないハッシュ値を含むソフトウェア完全性データ構造(118)と、
航空機(104)上のソフトウェア部品に対する第1ハッシュ値を計算するよう構成されている航空機(104)上の計算器(228)と、
第1ハッシュ値がソフトウェア完全性データ構造(118)からの第2ハッシュ値と一致するか否かを判定するよう構成されている航空機(104)上の比較器(230)と、を含む装置であって、
計算器(228)が、ソフトウェア部品に対する1つ以上の第1属性を計算するよう構成されており、1つ以上の第1属性は、第1のハッシュ値を計算するのに用いられるハッシュ関数とは異なるアルゴリズム又は関数を用いて計算され、
比較器(230)が、1つ以上の第1属性がソフトウェア完全性データ構造(118)における1つ以上の第2属性と一致するか否かを判定するよう構成されており、かつ、
航空機(104)が、1つ以上の第1属性が1つ以上の第2属性と一致し、かつ、第1ハッシュ値が第2ハッシュ値と一致する場合にのみ、ソフトウェア部品に操作を行うよう構成されている、装置。 - 1つ以上の第2属性が、ソフトウェア部品に対する指紋を含む請求項7に記載の装置。
- 計算器(228)および比較器(230)が、航空機(104)上の電子システム上で実施されており、かつ、ソフトウェア部品に対する操作が、航空機(104)上の電子システムにより行われている請求項7に記載の装置。
- 計算器(228)が、航空機(104)上のソフトウェア検証ツール(226)において実施されており、ソフトウェア検証ツール(226)が、ソフトウェア部品を受信し、ソフトウェア部品からの第1ハッシュ値を決定するよう構成されており、かつ、
比較器(230)が、ソフトウェア検証ツール(226)において実施されており、ソフトウェア検証ツール(226)が、ソフトウェア完全性データ構造(118)におけるソフトウェア部品に対する記録を識別し、記録から第2ハッシュ値を取り出し、第1ハッシュ値を第2ハッシュ値と比較し、第1ハッシュ値が第2ハッシュ値と一致する場合に表示を送信するようさらに構成されている請求項7に記載の装置。 - 計算器(228)が、航空機(104)上の電子システムにおいて実施されており、電子システムが、第1ハッシュ値を航空機(104)上のソフトウェア検証ツール(226)へ送信するよう構成されており、
比較器(230)が、ソフトウェア検証ツール(226)において実施されており、ソフトウェア検証ツール(226)が、電子システムから第1ハッシュ値を受信し、ソフトウェア完全性データ構造(118)におけるソフトウェア部品に対する記録を識別し、記録から第2ハッシュ値を取り出し、第1ハッシュ値を第2ハッシュ値と比較し、第1ハッシュ値が第2ハッシュ値と一致する場合に電子システムへ表示を送信するよう構成されており、かつ、
電子システム(112)が、ソフトウェア検証ツール(226)からの表示に応答してソフトウェア部品に操作を行うようさらに構成されている請求項7に記載の装置。 - ソフトウェア完全性データ構造(118)が、
ソフトウェア完全性データ構造(118)を記述する属性と、
複数の数の記録であって、複数の数の記録の各々が、航空機(104)により用いられるソフトウェア部品と対応し、かつ、対応するソフトウェア部品に対するハッシュ値を含む、複数の記録と、を含む、請求項7に記載の装置。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/198,467 US20130036103A1 (en) | 2011-08-04 | 2011-08-04 | Software Part Validation Using Hash Values |
US13/198,467 | 2011-08-04 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2013035539A JP2013035539A (ja) | 2013-02-21 |
JP2013035539A5 true JP2013035539A5 (ja) | 2015-07-16 |
Family
ID=46634042
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012140734A Pending JP2013035539A (ja) | 2011-08-04 | 2012-06-22 | ハッシュ値を用いたソフトウェア部品の検証 |
Country Status (5)
Country | Link |
---|---|
US (1) | US20130036103A1 (ja) |
EP (1) | EP2557522A3 (ja) |
JP (1) | JP2013035539A (ja) |
CN (1) | CN102915412A (ja) |
CA (1) | CA2781336A1 (ja) |
Families Citing this family (29)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20140173392A1 (en) * | 2012-12-19 | 2014-06-19 | Advanced Micro Devices, Inc. | Hardware enforced protection of software data structures |
US9720669B2 (en) * | 2013-05-30 | 2017-08-01 | The Boeing Company | Deployment of software across an enterprise system |
US9160543B2 (en) * | 2013-05-07 | 2015-10-13 | The Boeing Company | Verification of aircraft information in response to compromised digital certificate |
US9270468B2 (en) * | 2013-05-29 | 2016-02-23 | GM Global Technology Operations LLC | Methods to improve secure flash programming |
CA2915988C (en) * | 2013-06-25 | 2019-03-05 | Mark D. Yerger | Transport communication management |
US9852290B1 (en) * | 2013-07-12 | 2017-12-26 | The Boeing Company | Systems and methods of analyzing a software component |
US9479521B2 (en) | 2013-09-30 | 2016-10-25 | The Boeing Company | Software network behavior analysis and identification system |
US10885010B2 (en) | 2013-12-18 | 2021-01-05 | Federal Express Corporation | Methods and systems for data structure optimization |
US9916701B2 (en) * | 2014-09-10 | 2018-03-13 | The Boeing Company | Vehicle auditing and control of maintenance and diagnosis for vehicle systems |
US9667628B2 (en) * | 2014-11-06 | 2017-05-30 | Intel Corporation | System for establishing ownership of a secure workspace |
US10652027B2 (en) | 2015-10-20 | 2020-05-12 | The Boeing Company | Airplane identity management with redundant line replaceable units (LRUs) and composite airplane modifiable information (AMI) |
WO2017127089A1 (en) * | 2016-01-21 | 2017-07-27 | Hewlett Packard Enterprise Development Lp | Software validation for untrusted computing systems |
US9817654B2 (en) * | 2016-02-23 | 2017-11-14 | The Boeing Company | System and method for communication of software |
PL3443451T3 (pl) * | 2016-04-14 | 2024-03-04 | Rhombus Systems Group, Inc. | System weryfikacji integralności bezzałogowych statków powietrznych |
RU2733905C2 (ru) | 2016-04-18 | 2020-10-08 | Рхомбус Сыстемс Гроуп, Инц. | Система для связи с беспилотными летательными аппаратами с использованием двух диапазонов частот |
FR3050555B1 (fr) * | 2016-04-21 | 2019-09-27 | Thales | Procede de traitement d'un fichier de mise a jour d'un equipement avionique d'un aeronef, produit programme d'ordinateur, dispositif electronique de traitement et systeme de traitement associes |
WO2017188995A1 (en) * | 2016-04-29 | 2017-11-02 | Hewlett Packard Enterprise Development Lp | Product verification |
GB201609450D0 (en) * | 2016-05-27 | 2016-07-13 | Chain Of Things Ltd | Device security chain of proof |
US10148653B2 (en) * | 2016-12-14 | 2018-12-04 | The Boeing Company | Authenticating an aircraft data exchange using detected differences of onboard electronics |
US10297162B2 (en) * | 2016-12-28 | 2019-05-21 | Honeywell International Inc. | System and method to activate avionics functions remotely |
US10826706B1 (en) | 2018-01-30 | 2020-11-03 | State Farm Mutual Automobile Insurance Company | Systems and methods for vehicle configuration verification with failsafe code |
EP3716115A1 (en) | 2019-03-29 | 2020-09-30 | General Electric Company | Reporting and configuration enhancements of on-board certified software |
EP3716114A1 (en) * | 2019-03-29 | 2020-09-30 | General Electric Company | Method and system for remote load of on-board certified software |
US11628936B2 (en) | 2019-04-17 | 2023-04-18 | Goodrich Corporation | Wireless mobile maintenance display unit and system for cargo handling system |
US10726000B1 (en) | 2019-07-23 | 2020-07-28 | Science Applications International Corporation | Blockchain based integrity checks |
KR102124501B1 (ko) * | 2019-11-27 | 2020-06-23 | 국방과학연구소 | 군용 무인항공기 탑재장비 통합 점검장치 |
DE102019218574A1 (de) | 2019-11-29 | 2021-06-02 | Airbus Operations Gmbh | Konfigurationsmanagement für avioniknetzwerk und verfahren zum überprüfen der konfiguration eines avioniknetzwerks |
DE102020216380A1 (de) * | 2020-12-21 | 2022-06-23 | Robert Bosch Gesellschaft mit beschränkter Haftung | Verfahren zum Betreiben eines Steuergeräts, auf dem mehrere Applikationen ausgeführt werden |
CN117472035B (zh) * | 2023-12-27 | 2024-03-08 | 东方电气风电股份有限公司 | 一种主控系统软件硬件的校验方法 |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5958051A (en) * | 1996-11-27 | 1999-09-28 | Sun Microsystems, Inc. | Implementing digital signatures for data streams and data archives |
US6807632B1 (en) * | 1999-01-21 | 2004-10-19 | Emc Corporation | Content addressable information encapsulation, representation, and transfer |
JP4991283B2 (ja) * | 2003-02-21 | 2012-08-01 | カリンゴ・インコーポレーテッド | コンテンツベースのアドレシングにおける追加ハッシュ関数 |
US7065650B2 (en) * | 2004-05-10 | 2006-06-20 | Aladdin Knowledge Systems Ltd. | Method for indicating the integrity of a collection of digital objects |
US20060236122A1 (en) * | 2005-04-15 | 2006-10-19 | Microsoft Corporation | Secure boot |
CN101968834A (zh) * | 2009-07-28 | 2011-02-09 | 上海移为通信技术有限公司 | 电子产品的防抄板加密方法和装置 |
FR2957164B1 (fr) * | 2010-03-03 | 2012-05-11 | Airbus Operations Sas | Procedes et dispositifs de validation de configuration d'un systeme multielements complexe |
-
2011
- 2011-08-04 US US13/198,467 patent/US20130036103A1/en not_active Abandoned
-
2012
- 2012-06-22 JP JP2012140734A patent/JP2013035539A/ja active Pending
- 2012-06-22 CA CA2781336A patent/CA2781336A1/en not_active Abandoned
- 2012-07-27 EP EP12178293A patent/EP2557522A3/en not_active Withdrawn
- 2012-08-03 CN CN2012102761370A patent/CN102915412A/zh active Pending
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2013035539A5 (ja) | ||
US10083028B2 (en) | Method, apparatus and system for verifying code integrity on clients | |
JP2014512608A5 (ja) | ||
JP2018514955A5 (ja) | ||
CN106484606A (zh) | 一种代码提交方法和设备 | |
JP2019500680A5 (ja) | ||
WO2013019869A3 (en) | Data fingerpringting for copy accuracy assurance | |
JP2017503273A5 (ja) | ||
JP2006527488A5 (ja) | ||
JP2016530660A5 (ja) | ||
JP2008538642A5 (ja) | ||
SG10201800338TA (en) | User authentication systems and methods | |
JP2018133080A5 (ja) | データ管理装置、情報処理装置、コンテンツデータの出力方法、コンテンツデータidの共有方法、プログラム、及びデータ構造 | |
JP2014507713A5 (ja) | ||
US10025915B2 (en) | Contact signature authentication of user of device | |
WO2018075388A3 (en) | ENHANCED LOGISTIC MANAGEMENT SYSTEM | |
WO2017000761A1 (zh) | 一种终端设备的特征信息的提取方法及装置 | |
JP2017049979A5 (ja) | ||
JP2014524628A5 (ja) | ||
US20150106827A1 (en) | Rpc acceleration based on previously memorized flows | |
US20140154049A1 (en) | Verification system and method for rotation speed value of fan | |
CN110750447B (zh) | 软件测试方法及相关设备 | |
JP2012018990A5 (ja) | ||
US8762080B2 (en) | Computer component detection system and method | |
CN109376064B (zh) | 一种接口测试报告的生成方法及设备 |