インタビュー今月、大統領選候補者ドナルド・トランプ氏は、ある武器を手に入れた。それは「ハッキング不可能」とされる通信キットだ。The Register紙は、このOSの開発者であるトランプ氏にインタビューを行った。トランプ氏は、自動運転テスラの公道走行を禁止するキャンペーンで上院議員選挙にも立候補し、この問題に積極的に取り組んでいる。
グリーンヒルズ・ソフトウェアの創業者、ダン・オダウドは奇妙な人物だ。政府や軍に販売される非常に安全なコードを書き、その名声を博した、あまり知られていない億万長者である。彼はそのコードを「ハッキング不可能」と主張する。しかし、セキュリティコミュニティの一部には、この主張が受け入れられていない。
「OSが『ハッキング不可能』だと主張する人は、その主張が滑稽であるという理由だけで、信用すべきではない」と、暗号専門家のブルース・シュナイアー氏はThe Register紙に語った。「まともなセキュリティ専門家なら、そんなことは絶対に言わないだろう」
オダウド氏は1976年にカリフォルニア工科大学を卒業し、極限のセキュリティへの情熱を抱き、1982年に可能な限り最も安全なオペレーティングシステムを開発する会社を設立しました。その結果、10億ドルを超える報酬を得て、その資金力を考えると風変わりとも言える独自のスタイルを確立しました。
彼はオフィスにティラノサウルス・レックスの頭蓋骨を所蔵し（残りの57%は保管中）、世界有数の貴重なコインコレクションを所有している。しかし、セキュリティに関しては、彼はまさにオタクだ。トランプ大統領、FBI、米軍などが使用しているIntegrity-178Bオペレーティングシステムは事実上ハッキング不可能であり、その効果は実証されていると彼は主張している。
「これは40年にわたる技術の成果です。最高のセキュリティと信頼性を備えたアプリケーションで使用できるOSを構築することが目標でした。なぜなら、そのようなOSはこれまで存在しなかったからです。これはWindowsやLinuxとも異なり、他に類を見ない、完全に独自の設計です」と彼は述べた。
「すべてが安全でなければならないというシンプルな原則に基づいて設計されています。安全を実現する方法を見つけ出すまで、いかなる機能も組み込まれません。完全に安全です。他のオペレーティングシステムはどれも…そうではありませんでした。機能を導入してから、どうすれば安全になるかを考えました。しかし、もう手遅れです。」
オダウドは道路上と道路外の安全を守る使命を帯びている – クリックして拡大
現在までに、Integrity-178B オペレーティング システムは、国際的な評価保証レベル 6 に認定されています。レベル 7 は、複雑さのため、ほとんど追求されません。
鍵はシンプルさだと彼は主張した。このOSのコード行数は約1万行であるのに対し、商用ソフトウェアは数百万行に及ぶ。各コード行は、独立した大規模なコーディングチームによって精査され、欠陥発見に金銭的なインセンティブが与えられている。
「NSAにソースコードを提出して評価してもらわなければなりませんでした。彼らは徹底的な評価を行い、基盤となるソフトウェアのセキュリティが証明されていることを確認し、ソースコードも提出しました」と彼は語った。「彼らは、バイナリだけで脆弱性を突く方法を見つけられるかどうかを確認したいのではなく、ソースコードを提出する必要があると言いました。」
しかし、これにはもう一つの要素があります。それは、隠蔽によるセキュリティです。Integrity-178Bは攻撃を受ける可能性が非常に低く、主に軍や政府機関で使用されており、一般的なハッカーの攻撃にさらされる可能性は極めて低いのです。
このOSは軍事および法執行機関のシステムにおいて非常に限定された状況で使用されており、ケイティ・ムスーリス氏をはじめとする関係者が状況改善に尽力しているにもかかわらず、米軍はバグ報奨金の支払いに非常に消極的です。しかしながら、このOSを熟練したホワイトハットハッカーの手に渡すと、欠陥が発見される可能性があります。
オダウド氏はOSの販売で10億ドル以上を稼ぎ、現在はトランプ氏のような重要ターゲットへの事業拡大を模索している。ハリス陣営から、この試みに興味があるかどうかの連絡は今のところない。
しかしテスラはどうでしょうか?
オダウド氏は、テスラとその自動運転車提供の主張にも強い関心を抱いている。彼はドーン・プロジェクトを立ち上げ、自動運転車のソフトウェアの性能不足について頻繁に批判的な声明を出している。
「テスラを最もよく例えるなら、イーロン・マスクが三輪車でツール・ド・フランスに勝とうとしているようなものです」と彼は語った。
自動運転のいくつかの機能はテスラ車に何年も前から搭載されており、イーロン・マスク氏は完全な自動運転機能が間もなく実現すると繰り返し約束しています。先週、マスク氏は「We, Robot」と題したイベントを開催し、完全自動運転車「サイバーキャブ」、計画中の自動運転バス「ロボバン」、そしてオプティマスロボットを発表しました。イベント中は人間のオペレーターがオプティマスロボットを操縦していたと報じられています。
オダウド氏は特にテスラに反対しているわけではない。初代ロードスターを3台所有しているからだ。しかし、自動運転ソフトウェアは役に立たず、テスラは安価だが効果の低い部品を使っており、FSDは目的に適していないと主張している。
- トランプ陣営、イランの侵入を受け「ハッキング不可能」な携帯電話を配備
- テスラの大発表：ハンドルのないロボタクシーがワイヤレス充電
- サンフランシスコの霧がウェイモのロボットタクシーの敗北を招いた
- イーロン・マスクの災害救済の約束：誇大宣伝を信じるべきか？
「テスラの自動運転車で40人以上が死亡し、その数は増え続けています。この車は機能しません。公道で走るべきではありません。人々が購入できるはずもありません。これまで市場で見てきた中で最も危険で愚かな製品です」とオダウド氏は主張した。
「ウェイモの自動運転車は既に実用化されています」と彼は付け加えた。これらの車が成功しているのは、センサー、LiDAR、そして主に自動運転用に開発されたカスタムOSをフル装備しているからだ。現在、サンフランシスコ、ロサンゼルス、フェニックスでは広く普及しており、オースティンでもサービスが開始されることが発表されている。
テスラのFSDの欠陥を批判する人は数多くいる。オダウド氏は2022年、安全でない自動運転車を路上から排除するという唯一の課題を掲げ、「コンピューターを人類にとって安全に」というスローガンを掲げ、批判をはるかに超える行動をとった。
彼は当選こそ逃したものの、7万4000票以上を獲得しました。これは報道によると65万ドルもの広告費が貢献した成果です。また、この件についてニューヨーク・タイムズ紙に全面広告を掲載しました。貧しい人は幸いだが、裕福であることは素晴らしいことだろう。
YouTubeビデオ
2023年、そして今年も、オダウド氏のドーン・プロジェクトは過去2回のスーパーボウルの広告枠を購入し、テスラのFSDシステムの故障を鮮明に映した映像を流し、ボイコットを呼びかけました。この件で同団体はテスラから広告停止命令を受け取りましたが、オダウド氏は即座にオンラインでこれを嘲笑しました。
ドーン・プロジェクトは継続されるだろうと彼は述べ、政治家を味方につけるという点で一定の効果があったと述べた。しかし、それが成功するかどうかは別の問題だ。
テスラは本稿の公開時点ではコメントを発表していない。®
