JP2016521079A - デジタル証明書の安全性侵害に対応した航空機情報の検証 - Google Patents

Abstract

航空機で使用するデータを検証するための方法及び装置が開示される。データに関連する複数のデジタル証明書が、プロセッサユニットによって受信される。プロセッサユニットは、デジタル証明書のうちの１つが安全性を侵害されたかどうかを判断する。プロセッサユニットは、複数のデジタル証明書のうちの１つが安全性を侵害されたという判断に応じて、複数のデジタル証明書の選択数を選択する。プロセッサユニットは、当該選択数の複数のデジタル証明書を用いて、航空機で使用するデータを検証する。【選択図】図１

Description

本開示は、広く言えば、航空機で使用される情報の真正性及び完全性を検証するためのシステム及び方法に関する。より詳細には、本開示は、航空機で使用される情報に関連するデジタル証明書が知られたか又はその安全性を侵害されたことが疑われる場合に、当該情報の真正性及び完全性を検証することに関する。

現代の航空機は極度に複雑である。例えば、１機の航空機に多種類の電子システムが搭載されることがある。これらのシステムは列線交換ユニット（ＬＲＵ）の形態をとることが多い。列線交換ユニットは、航空機から取り外され交換され得るアイテムである。列線交換ユニットは交換が容易であるように設計されている。

列線交換ユニットは様々な形態をとり得る。航空機の列線交換ユニットは、例えば、非限定的に、フライト管理システム、自動操縦、機内娯楽システム、通信システム、ナビゲーションシステム、フライトコントローラ、フライトレコーダ、衝突防止システム、整備機能をサポートするシステム、又はクルーによる工程をサポートするシステムであり得る。航空機の様々な列線交換ユニットは、航空機ネットワークデータ処理システムの部分であり得る。

列線交換ユニットは、ソフトウェア又はプログラミングを使用して、様々な動作及び機能にロジック又は制御を提供し得る。典型的には、航空機のソフトウェアは、一もしくは複数の別個の部品として扱われるか又はハードウェア部品と組み合わされており、ハードウェア部品番号を変更しない限り変更不可能である。航空機部品として扱われる航空機ソフトウェアは、ローダブルな航空機ソフトウェア部品又は航空機ソフトウェア部品と称されることがある。航空機ソフトウェア部品は、航空機構成の部分である。

航空機オペレータは、航空機を運航するエンティティである。航空機オペレータはまた、航空機の整備及び修理を担うことがある。航空機オペレータの例には、航空会社及び軍隊が含まれる。航空機オペレータが航空機を受領するとき、航空機ソフトウェア部品は航空機の列線交換ユニットに既にインストールされていることがある。

航空機オペレータはまた、航空機ソフトウェア部品が航空機の列線交換ユニットに再インストール又はリロードされる必要がある場合に、これら部品のコピーを受領し得る。例えば、ソフトウェアが使用されている列線交換ユニットが交換又は修理される場合、航空機ソフトウェア部品のリロードが必要となり得る。更に、航空機オペレータは、航空機ソフトウェア部品に対するアップデートを受領することもある。これらのアップデートは現在インストールされている航空機ソフトウェア部品には存在しない追加の機能を含み得、一又は複数の列線交換ユニットに対するアップデートと見なされることがある。航空機ソフトウェア部品の航空機へのローディング中に特定の手順が踏まれ、これにより、航空機にロードされているすべての航空機ソフトウェア部品を含む航空機の現在の構成が把握される。

信頼できるサプライヤからの承認されたソフトウェア及びその他のデータのみが、航空機に対して使用されることが望ましい。承認されていないソフトウェア及びその他のデータは、破損データ、ウィルス感染したデータ、又はその他の承認されていないデータを含み得る。承認されていないソフトウェア及びその他のデータは、航空機の運航に望ましくない影響を与え得る。

データ処理ネットワークは、公開鍵インフラ内のデジタル証明書を用いて、承認されたソフトウェア及びその他のデータのみがネットワーク上で用いられることを確実にし得る。そのようなデジタル証明書は、公開鍵証明書又はアイデンティティ証明書としても知られ得る。デジタル証明書は、ネットワークが信頼する認証局によって発行される。デジタル証明書は、ネットワークに対して、ソフトウェア又はその他のデータのソースを信頼できる方式で特定する。ネットワークは、ソフトウェア又はその他のデータが当該ネットワーク上で使用されるか否かを、デジタル証明書を用いて判断し得る。

完全に地上ベースのコンピュータネットワークで用いるソフトウェア及びその他のデータの真正性及び完全性を検証するための現行のシステム及び方法は、航空機などの可動のシステムに対しては有効に適用されないことがある。航空機ネットワークデータ処理システムで用いるソフトウェア又はその他のデータの正当性確認のためにそのような現行の方法を使用することは、航空機のネットワークデータ処理システムが動作し保持される特定の環境によっては困難或いは不可能となることがある。

従って、一又は複数の上述の問題と起こり得る他の問題とを考慮する方法と装置を有することが有利である。

本発明の一実施形態は、航空機で使用するデータを検証する方法を提供する。データに関連する複数のデジタル証明書が、プロセッサユニットによって受信される。プロセッサユニットは、デジタル証明書のうちの１つが安全性を侵害されたかどうかを判断する。プロセッサユニットは、複数のデジタル証明書のうちの１つが安全性を侵害されたという判断に応じて、複数のデジタル証明書の選択数を選択する。プロセッサユニットは、当該選択数の複数のデジタル証明書を用いて、航空機で使用するデータを検証する。

本開示の別の実施形態は、データ検証モジュールを備えた装置を提供する。データ検証モジュールは、航空機で使用するデータに関連する複数のデジタル証明書を受信し、複数のデジタル証明書のうちの１つが安全性を侵害されたかどうかを判断し、複数のデジタル証明書のうちの１つが安全性を侵害されたという判断に応じて、複数のデジタル証明書の選択数を選択し、当該選択数の複数のデジタル証明書を用いて、航空機で使用するデータを検証するように設定される。

本開示の別の実施形態は、航空機で使用するデータの検証方法を提供する。データに関連する複数のデジタル証明書が、プロセッサユニットによって受信される。プロセッサユニットは、デジタル証明書のうちの１つが安全性を侵害されたかどうかを判断する。プロセッサユニットは１つの定足数（ｑｕｏｒｕｍ）ルールを選択する。定足数ルールは、複数のデジタル証明書のうち安全性を侵害されたものがないという判断に応じて選択される、第１の定足数ルール、及び、複数のデジタル証明書のうちの１つが安全性を侵害されたという判断に応じて選択される、第２の定足数ルールである。プロセッサユニットは、定足数ルールによって決定される選択数の複数のデジタル証明書を用いて、航空機で使用するデータを検証する。

これらの特徴及び機能は、本開示の様々な実施形態で独立に実現してもよく、更に別の実施形態で組み合わせてもよい。以下の説明及び図面を参照して、これらの実施形態が更に詳細に理解されよう。

例示的な実施形態の特徴と考えられる新規の特徴は、添付の特許請求の範囲に決定される。しかしながら、例示的な実施形態、好ましい使用モード、さらなる目的、及びその特徴は、添付図面を参照して本開示の例示的実施形態の後述の詳細な説明を読むことにより最もよく理解されるであろう。

例示的実施形態による航空機整備環境のブロック図である。 例示的な実施形態による定足数ルールのブロック図である。 例示的な実施形態による、複数のデジタル証明書を用いたデータ検証、及び容認可能な認証局のリストの図である。 例示的な実施形態による、複数のデジタル証明書及び定足数ルールを用いたデータ検証のブロック図である。 例示的な実施形態による、安全性を侵害された認証局に応答したデータ検証のブロック図である。 例示的実施形態による、航空機のデータ署名工程のフロー図である。 例示的実施形態による、航空機のデータ検証工程のフロー図である。 例示的な実施形態によるデータ処理システムの図である。

種々の例示的な実施形態は、任意の数の種々の検討事項を認識し考慮している。本明細書でアイテムを参照する際に使用される「任意の数の」は、一又は複数のアイテムを意味する。例えば、「任意の数の種々の検討事項」は、一又は複数の種々の検討事項を意味する。

種々の例示的な実施形態は、現行の公開鍵インフラシステムが、単一のルート認証局からの証明書を前提として構築されることがあるということを認識し考慮している。単一の証明書の使用により、ミスコンフィギュレ―ション又は攻撃がシステム動作停止を実用上引き起こし得るシステムが生み出され得る。

種々の例示的な実施形態はまた、航空機のオペレータが特定の認証局を好み、その他の認証局を信頼しないことがあることを認識し考慮している。従って、航空機オペレータが、当該オペレータにとって容認可能な認証局からの証明書を使用して、当該オペレータが運航する航空機で使用するソフトウェア及びその他のデータを検証できるようにすることが望ましい。

種々の例示的な実施形態はまた、ルート認証局への安全性侵害を発見することを可能にする監査技術が存在し得ることを認識し考慮している。ソフトウェア又はその他の航空機で使用するデータの検証において、認証局に対する既知の又は疑わしい安全性侵害を考慮することが望ましい。

従って、例示的な実施形態の一又は複数は、複数の認証局からの複数のデジタル証明書を用いて、航空機で使用するソフトウェア及びその他のデータの真正性及び完全性を確認するシステム及び方法を提供する。例示的な実施形態によれば、データに関連する、定足数ルールを満足させる数の複数の証明書が有効であると判断される場合、ソフトウェア又はその他のデータは、航空機での使用を確認され得る。確認に要する定足数を決定するルールが、特定の認証局が安全性を侵害されたかもしれないという判断に応じて選択され得る。

ここで図１を参照すると、例示的実施形態による航空機整備環境のブロック図が示される。この実施例で、航空機整備環境１００は、航空機１０２の整備用に構成され得る。

航空機１０２は、任意の適切なタイプの航空機であってよい。例えば、非限定的に、航空機１０２は商用機もしくはプライベート旅客機、カーゴ機、軍用もしくはその他の政府専用機、又は、任意の適切な目的もしくは任務用に構成された任意の他の航空機であり得る。航空機１０２は、固定翼飛行機、回転翼飛行機、又は軽飛行機であってもよい。航空機１０２は、有人航空機又は無人航空ビークルであり得る。

航空機１０２は、例示的な実施形態が実装されるプラットフォーム１０４の一実施例である。プラットフォーム１０４は、運航体又はその他の可動な構造体であり得る。例えば、非限定的に、プラットフォーム１０４は、空中、宇宙、又はこれらの両方を移動可能な航空宇宙用運航体であり得る。別の例として、非限定的に、プラットフォーム１０４は、陸上、水上、又は任意の他の媒体又はそれら媒体の組み合わせにおいて移動可能な運航体であり得る。別の例示的な実施形態で、プラットフォーム１０４は静止したシステムであり得る。例えば、非限定的に、プラットフォーム１０４は、産業用制御システム又はその他の一般的に非可動式システムであり得る。

航空機１０２は、航空機１０２の運航にデータ１０６を使用し得る。例えば、データ１０６は、ソフトウェア１０８、その他のデータ１１０、又は様々なデータの組み合わせを含み得る。例えば、非限定的に、ソフトウェア１０８は、航空機１０２の列線交換ユニットで使用する航空機ソフトウェア部品を含み得る。例えば、非限定的に、その他のデータ１１０は、航空機１０２によって用いられるマッピングデータもしくはその他のデータ、又はデータの組み合わせを含み得る。

データ１０６は、航空機１０２の幾つかのシステム１１２によって使用され得る。例えば、非限定的に、幾つかのシステム１１２は、自動操縦、フライト管理、通信、健康管理、その他のシステム、又は航空機１０２で様々な機能を実施するためのシステムの様々な組み合わせを含み得る。

データ１０６は、データプロバイダ１１４によって提供され得る。データプロバイダ１１４は、航空機１０２で使用するデータ１０６又は航空機１０２上にロードするデータ１０６を提供する権限を有する任意のエンティティであり得る。例えば、非限定的に、データプロバイダ１１４は、航空機１０２で使用するデータ１０６を提供する権限を有するソフトウェアサプライヤ、航空機整備エンティティ、航空機オペレータ、航空機製造者、もしくは任意の他のエンティティ又は複数のエンティティの組み合わせを含み得る。データプロバイダ１１４は、航空機１０２の整備を担当する任意のエンティティ又は複数のエンティティの組み合わせであり得る。データプロバイダ１１４は航空機１０２の所有者であってもよく、そうでなくてもよい。データプロバイダ１１４は、航空機１０２で使用するデータ１０６を提供するために航空機１０２の所有者に代わって活動するエンティティを含み得る。

データプロバイダ１１４は、データ１０６を、航空機１０２にロードするためのデータバンドル１１６で提供し得る。例えば、データバンドル１１６は、データ１０６と共にデータ１０６についての複数のデジタル証明書１１８を含み得る。この実施例で、複数のデジタル証明書１１８は、非限定的に、証明書１２０、証明書１２２、及び証明書１２４を含み得る。複数のデジタル証明書１１８は、任意の適切な数のデジタル証明書を含み得る。例えば、複数のデジタル証明書１１８は、２つの又は３つ以上のデジタル証明書を含み得る。

複数のデジタル証明書１１８は、複数の認証局１２６からのものであり得る。例えば、証明書１２０は認証局１２８からのものであり得る。証明書１２２は認証局１３０からのものであり得る。証明書１２４は認証局１３２からのものであり得る。

データ検証モジュール１３４は、複数のデジタル証明書１１８を使用して航空機１０２で使用するデータ１０６を検証するように設定され得る。例えば、データ検証モジュール１３４は、航空機１０２の航空機ネットワークデータ処理システム１３６に実装され得る。

データ検証モジュール１３４は、容認可能な認証局のリスト１３８を用いて、航空機１０２で使用するデータ１０６の検証に用いる容認可能な認証局からの証明書の数１４０を特定するように設定され得る。データ１０６の検証に有効であると判断されねばならない複数のデジタル証明書１１８の数量は、定足数ルール１４２によって判断され得る。データ検証モジュール１３４は、データ１０６が使用される幾つかのシステム１１２、データ１０６が航空機１０２にロードされるときの航空機１０２の位置、その他の因子又は様々な因子の組み合わせに基づいて、データ１０６の検証のために、複数の定足数ルール１４２から定足数ルール１４４を選択するように設定され得る。

図１の図解は、種々の例示的な実施形態が実装される方法に対して物理的又は構造的な限定を意図するものではない。図示されたコンポーネントに加えて、及び／又は代えて、他のコンポーネントを使用することができる。一部の例示的な実施形態では、幾つかのコンポーネントは不要である。また、ブロックは、幾つかの機能的なコンポーネントを示すために提示される。種々の例示的な実施形態において実装されるとき、これらのブロックの一又は複数は、異なるブロックに合成又は分割することができる。

ここで図２を参照すると、例示的な実施形態による定足数ルールのブロック図が示されている。この実施例で、定足数ルール２００は、図１の定足数ルール１４２の一実装例である。

定足数ルール２００は、航空機の様々な特性又は条件について決定され得る。例えば、非限定的に、定足数ルール２００は、航空機のオペレータ２０２、航空機整備エンティティ２０４、航空機型２０６、データが使用される航空機システム２０８、航空機の位置２１０、もしくは様々な他の特性、又は航空機の特性のその他の組み合わせについて、決定され得る。既知の又は疑わしい認証局の安全性侵害２１２に応じて、特定の定足数ルール２００が使用されるように決定され得る。

ここで図３を参照すると、例示的な実施形態による複数のデジタル証明書及び容認可能な認証局のリストを用いたデータ検証のブロック図が示されている。例えば、データ検証３００は、図１のデータ検証モジュール１３４を用いて実施され得る。

この実施例で、検証されるデータバンドル３０２は、証明書Ａ（３０４）、証明書Ｂ（３０６）、及び証明書Ｃ（３０８）を含み得る。容認可能な認証局のリスト３１０は、認証局Ａ（３１２）及び認証局Ｂ（３１４）からの証明書のみがデータ検証３００での使用に容認可能であることを示し得る。この場合、証明書Ｃ（３０８）は、認証局Ａ（３１２）又は認証局Ｂ（３１４）の何れからのものでもない。従って、 証明書Ｃ（３０８）はデータ検証３００に使用されない。この実施例で、データバンドル３０２は、証明書Ａ又はＢが有効３１６であるとの判断に応じて検証され得る。

ここで図４を参照すると、例示的な実施形態による複数のデジタル証明書及び定足数ルールを用いたデータ検証のブロック図が示されている。例えば、データ検証４００は、図１のデータ検証モジュール１３４を用いて実施され得る。

この実施例で、検証されるデータバンドル４０２は、証明書Ａ（４０４）、証明書Ｂ（４０６）、及び証明書Ｃ（４０８）を含み得る。定足数ルール４１０は、３つの証明書のうちの少なくとも２つが有効４１２である場合、データバンドル４０２が検証され得ることを示す。従って、この実施例で、データバンドル４０２は、証明書Ａ及びＢが有効４１４、証明書Ａ及びＣが有効４１６、証明書Ｂ及びＣが有効４１８、又は、証明書Ａ及びＢ及びＣが有効４２０であるとの判断に応じて、検証され得る。

次に図５を参照すると、認証局が安全性を侵害されたことに応じたデータ検証のブロック図が、例示的な実施形態に従って示されている。例えば、データ検証５００は、図１のデータ検証モジュール１３４を用いて実施され得る。

この実施例で、検証されるデータバンドル５０２は、証明書Ａ（５０４）、証明書Ｂ（５０６）、及び証明書Ｃ（５０８）を含み得る。定足数ルール５１０は、３つの証明書のうちの少なくとも２つが有効５１２である場合、データバンドル５０２が検証され得ることを示す。しかしながら、この場合、入手可能な情報が、認証局Ａが安全性を侵害された５１４ことを示している。定足数ルール５１０はまた、認証局が安全性を侵害された５１６場合、使用される適切な定足数ルールが、３つの証明書のうちの少なくとも２つが有効５１２から、安全性を侵害されていないすべてが有効５１８へと、変更されることを示す。従って、この実施例で、データバンドル５０２は、証明書Ｂ及びＣが有効５２０であるとの判断のみに応じて、検証され得る。

ここで図６を参照すると、例示的実施形態による、航空機で使用するデータの署名工程を示すフロー図が示される。例えば、非限定的に、工程６００は、図１のデータプロバイダ１１４によって実施され得る。

航空機用データが受信され得る（工程６０２）。データは、複数の認証局からの複数のデジタル署名を用いて署名され得る（工程６０４）。次いで、データ及び複数の証明書は航空機に送信され得る（工程６０６）。その後工程は終了する。

ここで図７を参照すると、例示的実施形態による航空機で使用するデータの検証工程を示すフロー図が示される。この実施例で、工程７００は、図１のデータ検証モジュール１３４によって実施され得る。

複数のデジタル証明書を含むデータバンドルが受信される（工程７０２）。証明書のうちの何れかが容認可能な認証局からのものでないかどうかが判断され得る（工程７０４）。証明書のうちの何れかが容認可能な認証局からでないと判断される場合、容認可能な認証局からの証明書のみがデータバンドルの検証に用いられ得る（工程７０６）。そうでない場合、受信したすべてのデジタル証明書が検証に用いられ得る（工程７０８）。

検証のための適切な定足数ルールが選択され得る（工程７１０）。認証局が安全性を侵害されたかもしれないという何らかの示唆があるかどうかが判断され得る（工程７１２）。認証局が安全性を侵害されたかもしれないという判断に応じて、代替的な定足数ルールが選択され得る（工程７１４）。そうでない場合、工程７１０で選択された定足数ルールが検証に用いられ得る（工程７１６）。

次いで、選択された定足数ルールが満足されたかどうかが判断され得る（工程７１８）。選択された定足数ルールが満足されている場合、データの真正性及び完全性が検証されたとみなされ得（工程７２０）、その後工程は終了する。そうでない場合、データの真正性及び完全性は検証されず（工程７２２）、その後工程が終了する。

ここで図８を参照すると、データ処理システムが例示的な実施形態に従って示されている。この実施例では、データ処理システム８００は、図１の航空機ネットワークデータ処理システム１３６のデータ処理システムの一実装例である。データ処理システム８００は、図１のデータ検証モジュール１３４が実装されるデータ処理システムの一実装例である。

この例示的な実施例では、データ処理システム８００は通信ファブリック８０２を含む。通信ファブリック８０２は、プロセッサユニット８０４、メモリ８０６、固定記憶部８０８、通信ユニット８１０、入出力（Ｉ／Ｏ）ユニット８１２、及びディスプレイ８１４の間での通信を提供する。メモリ８０６、固定記憶部８０８、通信ユニット８１０、入出力（Ｉ／Ｏ）ユニット８１２、及びディスプレイ８１４は、通信ファブリック８０２を介してプロセッサユニット８０４によってアクセス可能なリソースの実施例である。

プロセッサユニット８０４は、メモリ８０６に読み込まれるソフトウェアの命令を実行する役割を果たす。プロセッサユニット８０４は、特定の実装に応じて、任意の数のプロセッサ、マルチプロセッサコア、又は他の何らかのタイプのプロセッサであってよい。更に、プロセッサユニット８０４は、単一チップ上でメインプロセッサが二次プロセッサと共存するヘテロジニアスプロセッサシステムを任意の個数だけ使用して実装することができる。別の例示的な実施例として、プロセッサユニット８０４は同じタイプのプロセッサを複数個含む対称型マルチプロセッサシステムとすることができる。

メモリ８０６及び固定記憶部８０８は、記憶デバイス８１６の例である。記憶デバイスは、一時的にもしくは恒久的に情報を記憶することが可能な任意のハードウェアであり、この情報は、非限定的な例として、データ、機能的形態のプログラムコード、及び、他の好適な情報などである。記憶デバイス８１６は、これらの例示的な実施例では、コンピュータ可読記憶デバイスと称されることもある。これらの実施例で、メモリ８０６は例えば、ランダムアクセスメモリ又は他の任意の好適な揮発性又は不揮発性の記憶デバイスであってもよい。固定記憶部８０８は具体的な実装に応じて様々な形態を取り得る。

例えば、固定記憶部８０８は、一又は複数の構成要素もしくはデバイスを包含し得る。例えば、固定記憶部８０８は、ハードドライブ、フラッシュメモリ、書換え型光ディスク、書換え可能磁気テープ、又はそれらの何らかの組み合わせである。固定記憶部８０８によって使用される媒体はまた、着脱可能なものであり得る。例えば、着脱可能ハードドライブが固定記憶部８０８向けに使用され得る。

通信ユニット８１０は、これらの実施例では、他のデータ処理システムまたはデバイスとの通信を提供する。これらの実施例では、通信ユニット８１０はネットワークインターフェースカードである。通信ユニット８１０は、物理的及び無線の通信リンクのいずれか一方又は両方を使用することによって、通信を提供することができる。

入出力ユニット８１２は、データ処理システム８００に接続され得る他のデバイスとのデータの入出力を可能にする。例えば、入出力ユニット８１２は、キーボード、マウス、及び／又は他の何らかの適切な入力デバイスを通じて、ユーザ入力のための接続を提供し得る。更に、入出力ユニット８１２は、プリンタに出力を送信し得る。ディスプレイ８１４は、ユーザに対して情報を表示する機構を提供する。

オペレーティングシステム、アプリケーション、及び／又はプログラムに対する命令は記憶デバイス８１６上に位置し、この記憶デバイスは通信ファブリック８０２を介してプロセッサユニット８０４と通信を行う。これらの実施例では、命令は、固定記憶部８０８の機能形態である。これらの命令は、プロセッサユニット８０４で実行するためメモリ８０６に読み込むことができる。種々の実施形態のプロセスは、メモリ８０６などのメモリに配置され得るコンピュータ実装命令を使用して、プロセッサユニット８０４によって実行することができる。

これらの命令は、プログラム命令、プログラムコード、コンピュータ可用プログラムコード、又はコンピュータ可読プログラムコードと呼ばれ、プロセッサユニット８０４内のプロセッサによって読み込まれて実行される。種々の実施形態のプログラムコードは、メモリ８０６又は固定記憶部８０８など、種々の物理的な又はコンピュータ可読記憶媒体上に具現化し得る。

プログラムコード８１８は、選択的に着脱可能なコンピュータ可読媒体８２０上に機能的な形態で配置され、かつ、プロセッサユニット８０４による実行のために、データ処理システム８００に読み込まれるか、又は送信され得る。プログラムコード８１８及びコンピュータ可読媒体８２０は、このような実施例においてコンピュータプログラム製品８２２を形成する。１つの実施例では、コンピュータ可読媒体８２０は、コンピュータ可読記憶媒体８２４又はコンピュータ可読信号媒体８２６とすることができる。

コンピュータ可読記憶媒体８２４は、例えば、固定記憶部８０８の一部であるハードディスクなどのように、記憶デバイス上に転送するための固定記憶部８０８の一部であるドライブ又は他のデバイスに挿入又は配置される、光ディスク又は磁気ディスクなどを含み得る。コンピュータ可読記憶媒体８２４は、データ処理システム８００に接続された固定記憶部（例えば、ハードドライブ、サムドライブ、又はフラッシュメモリ）の形態をとることができる。幾つかの例では、コンピュータ可読記憶媒体８２４はデータ処理システム８００に対し着脱可能でなくてもよい。

これらの実施例では、コンピュータ可読記憶媒体８２４は、プログラムコード８１８を伝播又は転送する媒体よりはむしろプログラムコード８１８を保存するために使用される物理的な又は有形の記憶デバイスである。コンピュータ可読記憶媒体８２４は、コンピュータで読取可能な有形の記憶デバイス又はコンピュータで読取可能な物理的な記憶デバイスと呼ばれることもある。すなわち、コンピュータ可読記憶媒体８２４は、人が触れることのできる媒体である。

代替的に、プログラムコード８１８はコンピュータ可読信号媒体８２６を用いてデータ処理システム８００に転送可能である。コンピュータ可読信号媒体８２６は、例えば、プログラムコード８１８を含む伝播されたデータ信号であってもよい。例えば、コンピュータ可読信号媒体８２６は、電磁信号、光信号、又は他の任意の好適なタイプの信号であってもよい。これらの信号は、無線通信リンク、光ファイバケーブル、同軸ケーブル、電線、又は他の任意の好適な種類の通信リンクといった通信リンクを介して伝送され得る。換言すると、例示的な実施例では、通信リンク又は接続は、物理的な、又は無線によるものであり得る。

幾つかの例示的な実施形態では、プログラムコード８１８は、コンピュータ可読信号媒体８２６により、ネットワークを介して別のデバイス又はデータ処理システムから固定記憶部８０８にダウンロードされて、データ処理システム８００内で使用される。例えば、サーバデータ処理システム内のコンピュータ可読記憶媒体に保存されているプログラムコードは、ネットワークを介してサーバからデータ処理システム８００にダウンロードすることができる。プログラムコード８１８を提供するデータ処理システムは、サーバコンピュータ、クライアントコンピュータ、又はプログラムコード８１８を保存及び転送することが可能な他のデバイスであってもよい。

データ処理システム８００に関して例示されている種々の構成要素は、種々の実施形態が実装され得る方式に構造的な限定をもたらすことを意図していない。種々の例示的な実施形態は、データ処理システム８００に関して例示されている構成要素の、追加的な及び／又は代替的な構成要素を含むデータ処理システム内に実装され得る。図８に示した他の構成要素は、図示されている例示的な実施例と異なる可能性がある。種々の実施形態は、プログラムコードを実行できる任意のハードウェアデバイスまたはシステムを用いて実装することができる。一実施例として、データ処理システム８００は、無機コンポーネントと統合された有機コンポーネントを含むことができる、及び／又は人間を除く有機コンポーネント全体からなるとしてもよい。例えば、記憶デバイスは、有機半導体で構成することができる。

別の例示的な実施例では、プロセッサユニット５０４は、特定の用途のために製造又は構成された回路を有するハードウェアユニットの形態をとってもよい。このタイプのハードウェアは、操作を実施するために構成される記憶デバイスからメモリに読込まれるプログラムコードを必要とせずに操作を実施することができる。

例えば、プロセッサユニット８０４がハードウェアユニットの形態をとる場合、プロセッサユニット８０４は、回路システム、特定用途向け集積回路（ＡＳＩＣ）、プログラマブル論理デバイス、または任意の数の操作を実行するために構成された他の好適なタイプのハードウェアであってもよい。プログラマバル論理デバイスにより、デバイスは任意の数の作業を実行するように構成されている。デバイスは後で再構成することができるか、又は任意の数の作業を実行するように恒久的に構成することができる。プログラマブル論理デバイスの例として、例えばプログラマブル論理アレイ、プログラマブルアレイ論理、フィールドプログラマブル論理アレイ、フィールドプログラマブルゲートアレイ、および他の適切なハードウェアデバイスが挙げられる。このタイプの実装により、種々の実施形態のプロセスはハードウェアユニットで実装されるため、プログラムコード８１８は省略することができる。

更に別の例示的な実施例では、プロセッサユニット８０４は、コンピュータ及びハードウェアデバイス中にあるプロセッサの組み合わせを使用して実装可能である。プロセッサユニット８０４は、プログラムコード８１８を実行するように構成されている任意の数のハードウェアユニット及び任意の数のプロセッサを有していてもよい。図示された実施例の場合、プロセスの幾つかは任意の数のハードウェアユニットで実装される一方で、他のプロセスは任意の数のプロセッサで実装される。

別の実施例では、バスシステムは、通信ファブリック８０２を実装するために使用することができ、システムバス又は入出力バスといった一又は複数のバスを含むことができる。当然ながらバスシステムは、バスシステムに取り付けられた種々のコンポーネント又はデバイスの間でのデータ伝送を行う任意の適切な種類のアーキテクチャを使用して実装することができる。

更に、通信ユニット８１０は、データの送信、データの受信、又はデータの送受信を行う任意の数のデバイスを含み得る。通信ユニット８１０は、例えば、モデム又はネットワークアダプタ、２個のネットワークアダプタ、又はこれらの何らかの組み合わせであってもよい。更に、メモリは、例えば、メモリ８０６、又はインターフェースに見られるようなキャッシュ、及び通信ファブリック８０２中に存在するメモリコントローラハブであってもよい。

上述した種々の例示的な実施形態の説明は、例示及び説明を目的とするものであり、網羅的な説明であること、又はこれらの実施形態を開示された形態に限定することを意図していない。当業者には、多数の修正例及び変形例が明らかであろう。更に、種々の例示的な実施形態は、他の例示的な実施形態と比較して、異なる特性を提供し得る。選択された一又は複数の実施形態は、実施形態の原理、実際の適用を最もよく説明するため、及び、他の当業者に対して、想定される特定の用途に適する様々な修正例を伴う様々な実施形態の開示内容の理解を促すために、選ばれ且つ記述されている。
付記：以下の段落は、本発明の実施形態の更なる態様を説明している。

Ａ１．
航空機（１０２）で用いるデータ（１０６）を検証する方法であって、
データ（１０６）に関連する複数のデジタル証明書（１１８）をプロセッサユニット（８０４）によって受信すること、及び
ある選択数の複数のデジタル証明書（１１８）を用いて、航空機（１０２）で使用するデータ（１０６）を、プロセッサユニット（８０４）によって検証すること
を含む、方法。

Ａ２．
複数のデジタル証明書（１１８）は複数の認証局（１２６）からのものであり、容認可能な認証局のリスト（１３８）を用いて、当該選択数の複数のデジタル証明書（１１８）を選択することを更に含む、請求項Ａ１に記載の方法。

Ａ３．
当該選択数の複数のデジタル証明書（１１８）を用いて航空機（１０２）で使用するデータ（１０６）を検証することは、少なくとも特定の数の当該選択数の複数のデジタル証明書（１１８）が有効であるかどうかを判断することを含む、請求項Ａ１に記載の方法。

Ａ４．
当該特定の数が定足数ルール（１４４）によって決定される、請求項Ａ３に記載の方法。

Ａ５．
データ（１０６）が使用される航空機（１０２）システムに基づいて、複数の定足数ルール（１４２）から定足数ルール（１４４）を選択することを更に含む、請求項Ａ４に記載の方法。

Ａ６．
航空機（１０２）の位置に基づいて、複数の定足数ルール（１４２）から定足数ルール（１４４）を選択することを更に含む、請求項Ａ４に記載の方法。

Ａ７．
データ（１０６）が、航空機（１０２）で使用するソフトウェア（１０８）を含む、請求項Ａ１に記載の方法。

Ａ８．
プロセッサユニット（８０４）は、航空機（１０２）の航空機ネットワークデータ処理システム（１３６）中のプロセッサユニット（８０４）である、請求項Ａ１に記載の方法。

Ａ９．
航空機（１０２）で使用するデータ（１０６）に関連する複数のデジタル証明書（１１８）を受信し、ある選択数の複数のデジタル証明書（１１８）を用いて、航空機（１０２）で使用するデータ（１０６）を検証するように設定された、データ検証モジュール（１３４）を備える、装置。

Ａ１０．
複数のデジタル証明書（１１８）は複数の認証局（１２６）からのものであり、データ検証モジュール（１３４）は更に、容認可能な認証局のリスト（１３８）を用いて、当該選択数の複数のデジタル証明書（１１８）を選択するように設定される、請求項Ａ９に記載の装置。

Ａ１１．
データ検証モジュール（１３４）は、少なくとも特定の数の当該選択数の複数のデジタル証明書（１１８）が有効であるかどうかを判断するように設定される、請求項Ａ９に記載の装置。

Ａ１２．
当該特定の数が定足数ルール（１４４）によって決定される、請求項Ａ１１に記載の装置。

Ａ１３．
データ検証モジュール（１３４）は、データ（１０６）が使用される航空機（１０２）システムに基づいて、複数の定足数ルール（１４２）から定足数ルール（１４４）を選択するように設定される、請求項Ａ１２に記載の装置。

Ａ１４．
データ検証モジュール（１３４）は、航空機（１０２）の位置に基づいて、複数の定足数ルール（１４２）から定足数ルール（１４４）を選択するように設定される、請求項Ａ１２に記載の装置。

Ａ１５．
データ（１０６）は、航空機（１０２）で使用するソフトウェア（１０８）を含む、請求項Ａ９に記載の装置。

Ａ１６．
データ検証モジュール（１３４）は、航空機（１０２）の航空機ネットワークデータ処理システム（１３６）に実装される、請求項Ａ９に記載の装置。

Ａ１７．
航空機（１０２）で用いるデータ（１０６）を検証する方法であって、
航空機（１０２）で使用するデータ（１０６）を、プロセッサユニット（８０４）によって受信すること、
データ（１０６）のための複数のデジタル証明書（１１８）を、プロセッサユニット（８０４）によって生成すること、及び
データ（１０６）と複数のデジタル証明書（１１８）とを航空機（１０２）へ送信すること
を含む、方法。

Ａ１８．
複数のデジタル証明書（１１８）は複数の認証局（１２６）からのものである、請求項Ａ１７に記載の方法。

Ａ１９．
データ（１０６）は、航空機（１０２）で使用するソフトウェア（１０８）を含む、請求項Ａ１７に記載の方法。

Ａ２０．
複数のデジタル証明書（１１８）を、航空機（１０２）の航空機ネットワークデータ処理システム（１３６）によって受信すること、及び
選択数の複数のデジタル証明書（１１８）を用いて、航空機ネットワークデータ処理システム（１３６）によって、航空機（１０２）で使用するデータ（１０６）を検証することを更に含む、請求項Ａ１７に記載の方法。

Ｂ１５．
航空機（１０２）で用いるデータ（１０６）を検証する方法であって、
データ（１０６）に関連する複数のデジタル証明書（１１８）をプロセッサユニット（８０４）によって受信することと、
複数のデジタル証明書（１１８）のうちの１つが安全性を侵害されたかどうかを、プロセッサユニット（８０４）によって判断することと、
プロセッサユニット（８０４）によって定足数ルール（１４４）を選択することであって、定足数ルール（１４４）は、複数のデジタル証明書（１１８）のうち安全性を侵害されたものがないという判断に応じて選択される、第１の定足数ルール、及び、複数のデジタル証明書（１１８）のうちの１つが安全性を侵害されたという判断に応じて選択される、第２の定足数ルールである、選択することと、
定足数ルール（１４４）により決定される選択数の複数のデジタル証明書（１１８）を用いて、航空機（１０２）で使用するデータ（１０６）をプロセッサユニット（８０４）によって検証することと
を含む、方法。

Ｂ１６．
複数のデジタル証明書（１１８）が複数の認証局（１２６）からのものである、請求項Ｂ１５に記載の方法。

Ｂ１７．
当該選択数の複数のデジタル証明書（１１８）を用いて、航空機（１０２）で使用するデータ（１０６）を検証することは、定足数ルール（１４４）によって決定される少なくとも特定の数の当該選択数の複数のデジタル証明書（１１８）が有効であるかどうかを判断することを含む、請求項Ｂ１５に記載の方法。

Ｂ１８．
第１の定足数ルールは、当該選択数の複数のデジタル証明書（１１８）の当該特定の数が、当該選択数よりも少ないことを示し、
第２の定足数ルールは、当該選択数の複数のデジタル証明書（１１８）の当該特定の数が、当該選択数と等しいことを示す、請求項Ｂ１７に記載の方法。

Ｂ１９．
データ（１０６）は、航空機（１０２）で使用するソフトウェア（１０８）を含む、請求項Ｂ１５に記載の方法。

Ｂ２０．
プロセッサユニット（８０４）は、航空機（１０２）の航空機ネットワークデータ処理システム（１３６）中のプロセッサユニット（８０４）である、請求項Ｂ１５に記載の方法。

Claims (14)

1. 航空機（１０２）で用いるデータ（１０６）を検証する方法であって、
   前記データ（１０６）に関連する複数のデジタル証明書（１１８）を、プロセッサユニット（８０４）によって受信すること、
   前記複数のデジタル証明書（１１８）のうちの１つが安全性を侵害されたかどうかを、前記プロセッサユニット（８０４）によって判断すること、
   前記複数のデジタル証明書（１１８）のうちの前記１つが安全性を侵害されたという判断に応じて、前記複数のデジタル証明書（１１８）の選択数を、前記プロセッサユニット（８０４）によって選択すること、及び
   前記選択数の前記複数のデジタル証明書（１１８）を用いて、前記航空機（１０２）で使用する前記データ（１０６）を、前記プロセッサユニット（８０４）によって検証すること
   を含む、方法。
2. 前記複数のデジタル証明書（１１８）が複数の認証局（１２６）からのものである、請求項１に記載の方法。
3. 前記航空機（１０２）で使用する前記データ（１０６）を、前記選択数の前記複数のデジタル証明書（１１８）を用いて検証することは、少なくとも特定の数の前記選択数の前記複数のデジタル証明書（１１８）が有効であるかどうかを判断することを含む、請求項１又は２に記載の方法。
4. 前記特定の数は定足数ルール（１４４）によって決定される、請求項３に記載の方法。
5. 前記複数のデジタル証明書（１１８）のうちの前記１つが安全性を侵害されたという前記判断に応じて、複数の定足数ルール（１４２）から前記定足数ルール（１４４）を選択することを更に含む、請求項１から４の何れか一項に記載の方法。
6. 前記データ（１０６）は、前記航空機（１０２）で使用するソフトウェア（１０８）を含む、請求項１から５の何れか一項に記載の方法。
7. 前記プロセッサユニット（８０４）は、前記航空機（１０２）の航空機ネットワークデータ処理システム（１３６）中のプロセッサユニット（８０４）である、請求項１から６の何れか一項に記載の方法。
8. 航空機（１０２）で使用するデータ（１０６）に関連する複数のデジタル証明書（１１８）を受信し、前記複数のデジタル証明書（１１８）のうちの１つが安全性を侵害されたかどうかを判断し、前記複数のデジタル証明書（１１８）のうちの前記１つが安全性を侵害されたという判断に応じて、前記複数のデジタル証明書（１１８）の選択数を選択し、前記選択数の前記複数のデジタル証明書（１１８）を用いて、前記航空機（１０２）で使用する前記データ（１０６）を検証するように設定された、データ検証モジュール（１３４）を備える、装置。
9. 前記複数のデジタル証明書（１１８）は複数の認証局（１２６）からのものである、請求項８に記載の装置。
10. 前記データ検証モジュール（１３４）は、少なくとも特定の数の前記選択数の前記複数のデジタル証明書（１１８）が有効であるかどうかを判断するように設定される、請求項８又は９に記載の装置。
11. 前記特定の数が定足数ルール（１４４）によって決定される、請求項１０に記載の装置。
12. 前記データ検証モジュール（１３４）は、前記複数のデジタル証明書（１１８）のうちの前記１つが安全性を侵害されたという前記判断に応じて、複数の定足数ルール（１４２）から前記定足数ルール（１４４）を選択するように設定される、請求項８から１１の何れか一項に記載の装置。
13. 前記データ（１０６）は前記航空機（１０２）で使用するソフトウェア（１０８）を含む、請求項８に記載の装置。
14. 前記データ検証モジュール（１３４）は、前記航空機（１０２）の航空機ネットワークデータ処理システム（１３６）中のプロセッサユニット（８０４）に実装される、請求項８に記載の装置。

Images