　宇宙機向けのデバイスは、誤動作防止のために放射線耐性を向上しつつ、消費電力やコストを抑えるために部品を削減するという要求も満たす必要がある。しかし、回路構造を工夫するほど網羅的な動作検証は困難になり、高いセキュリティ強度に求められる2²⁵⁶通り（約10⁷⁷通り）の全入力を個別に検証することは不可能だった。

暗号回路の入力数と全入力数の関係。入力数が増えると全入力数が指数関数的に増加する［クリックで拡大］出所：情報通信研究機構

　新理論では設計上の工夫自体を検証に活用できるように、全入力に対する動作の正しさを数学的性質とする「形式検証」によって、膨大な組み合わせに対する正しさを理論的に導き出した。

　同理論を適用した結果、国際標準の構成と比較して回路規模を約70％に抑えながら、全入力である2²⁵⁶通りの動作保証が可能になった。検証に要した時間は、一般的な単一CPUコアの計算機で約17時間だった。これにより、省電力かつ低コストの機器でも、乗っ取りや誤動作のリスクを排した信頼性の高い通信環境を構築できる。

　なお、今回の成果は、NASA（アメリカ航空宇宙局）が主催する国際会議「NASA Formal Methods 2025」で優秀賞を受賞した。民間主導の宇宙開発「NewSpace」における機器の信頼性向上とコスト削減に直結する技術として期待される。

　NICTは今後、同理論基盤を宇宙通信サービスの安定運用に適用し、宇宙分野だけでなく極めて高い安全性と信頼性が求められる他分野への応用も進める。

⇒その他の「IoTセキュリティ」の記事はこちら

民間宇宙システムにサイバーセキュリティ対策が求められる3つの理由
「民間宇宙システムにおけるサイバーセキュリティ対策ガイドライン」を基に、宇宙産業スタートアップ企業のCISOの視点で捉えたサイバーセキュリティ対策のポイントと進め方例を紹介する本連載。第1回は、本ガイドライン策定の背景について説明する。
民間宇宙システムサイバーセキュリティガイドラインの概要【前編】
「民間宇宙システムにおけるサイバーセキュリティ対策ガイドライン」を基に、宇宙産業スタートアップ企業のCISOの視点で捉えたサイバーセキュリティ対策のポイントと進め方例を紹介する本連載。第2回は、本ガイドラインの概要紹介の前編となる。
民間宇宙システムサイバーセキュリティガイドラインの概要【後編】
「民間宇宙システムにおけるサイバーセキュリティ対策ガイドライン」を基に、宇宙産業スタートアップ企業のCISOの視点で捉えたサイバーセキュリティ対策のポイントと進め方例を紹介する本連載。第3回は、本ガイドラインの概要紹介の後編となる。
今こそ民間宇宙システム事業者に求められる「攻めのセキュリティ対策」
「民間宇宙システムにおけるサイバーセキュリティ対策ガイドライン」を基に、宇宙産業スタートアップ企業のCISOの視点で捉えたサイバーセキュリティ対策のポイントと進め方例を紹介する本連載。最終回の第4回は、筆者がCISOを務めるアクセルスペースを題材に、民間宇宙システム事業者に求められる「攻めのセキュリティ対策」について説明する。
宇宙線による電子機器の誤動作を減らす半導体封止材　ISSで評価実験
レゾナックは、宇宙空間を飛び交う高エネルギーの放射線「宇宙線」に起因する電子機器の誤動作を低減する半導体封止材の評価実験を、2025年秋をめどに国際宇宙ステーション（ISS）で開始する。
出光のCIGS太陽電池セルが新型宇宙補給機に搭載され性能実証
日本の技術が宇宙へ――JAXAの新型宇宙ステーション補給機「HTV-X1」に、出光興産の次世代太陽電池が搭載される。銅、インジウム、ガリウム、セレンを用いた独自の「宇宙用CIGS太陽電池セル」は、軽量ながら高い放射線耐性を誇る。過酷な宇宙環境で約2カ月にわたる性能検証に挑む。