I&#x27;ve always regarded that paper as the &#x27;Godel&#x27;s Incompleteness Theorem&#x27; of Security.<p>I&#x27;m not saying that the security field had a &#x27;Hilbert&#x27;s Program&#x27; before then, but it certainly couldn&#x27;t have one afterward.