トロイ回路を検出する問題

近年では,LSIを外部に委託して設計・製造することがよくあります.トロイ回路とは,外部の設計者や製造者によって,意図しない動作となるように埋め込まれた回路のことです.例えば,図1が本来の意図した回路であり,図2に示されるトロイ回路(赤で示される回路)により,b=c=d=1のときのみ,出力zが誤った値となります.このような回路によって,秘匿データを取得したり,不正なシステム動作を誘導したりします.トロイ回路はどこに埋め込まれても,また,どのような形式であっても,検出できるようにするためには,工夫した方法を考えなければなりません.

Image: