現在の推論システムにはいくつかの課題が存在します。まず、セキュリティプロパティを正確に特定すること自体が困難です（2.1）。これは、ある特定のセキュリティプロパティが必要であることに気付かない限り、その欠如が攻撃者によって悪用される可能性があるためです。さらに、高レベルなプロパティを実際に測定可能な操作的な定義へ変換する過程（2.2）も挑戦的です。この操作化されたプロパティが高レベルのプロパティを忠実に表現しているかどうかは確認しづらく、攻撃者はこの違いを利用して高レベルのセキュリティ保証を維持しつつ攻撃する可能性があります。
さらに、推論システムでは常に特定のモデル上で理由付けされており、実際のシステムとその動作環境という点で乖離（2.3）も生じます。また、「真」や「信頼」という概念自体も解釈や理解次第で異なり得るため（2.4）、結果的に完全な保証提供は困難です。これらすべてから来る制約や不確実性から、現在の推論シス テムでは信頼性や信頼できる主張を行うことが困難だと言えます。