コンピューター・システムがハッキングされた場合、ハッキングされた後で修復するのが普通だ。だが、アレクサンダー・ロバートは、攻撃を受けている最中にマシン自身が修復するコンピューターを考案した。

コンピューターは創造性に欠けているかもしれないが、物事を迅速かつ大規模にこなすことに優れている。こう考えたロバートは、メイヘム（Mayhem）と呼ぶシステムを開発した。メイヘムは数千ものプログラムを同時に分析し、人間の専門家なら何年もかかる処理を数時間で終えることができる。

自律システムであるメイヘムは、2つの技法を組み合わせて処理する。1つ目は網羅率をベースとした自動セキュリティ・テストの標準的な手法である「ファジング」である。ファジングは例外的なデータをプログラムに投入して意図しない動作を引き起こすかどうかを調べる手法だ。高速なスキャンと検索が基本となる。2つ目は「シンボリック実行」で、よりゆっくりと詳細にプログラムを分析する。この2つの技法は互いを補い、他の技法よりも優れた組み合わせになっている。

ピッツバーグを拠点とするサイバーセキュリティ企業フォーオールセキュア（ForAllSecure）の共同創業者であるロバートは、メイヘムの開発チームを率いた。フォーオールセキュアの業務と目的は、ロバートのカーネギーメロン大学での研究が端緒となっている。ロバートは、自身の発明が送電網、病院、銀行などの脆弱なシステムに特に有効だと考えている。

「私たちの生活には数多くのソフトウェアが増え続けています。人間の専門知識だけに頼っているのは不十分であり、危険なのです」。

（エリカ・ベラス）

人気の記事ランキング

1. Bringing the lofty ideas of pure math down to earth 崇高な理念を現実へ、 物理学者が学び直して感じた 「数学」を学ぶ意義
2. Google’s new Project Astra could be generative AI’s killer app 世界を驚かせたグーグルの「アストラ」、生成AIのキラーアプリとなるか
3. These AI Minecraft characters did weirdly human stuff all on their own マイクラ内に「AI文明」、 1000体のエージェントが 仕事、宗教、税制まで作った
4. AI’s search for more energy is growing more urgent 生成AIの隠れた代償、激増するデータセンターの環境負荷

• 0