Ben Laurie <[EMAIL PROTECTED]> writes: > I think that's blatantly untrue. For example, if I look at an AND > gate, I can be absolutely sure about its security properties.
An AND gate isn't Turing Equivalent. > Rice's theorem says you can't _always_ solve this problem. It says > nothing about figuring out special cases. Any modern processor is sufficiently larger than an AND gate that it is no longer tractable. It isn't even possible to describe the security properties one would need to (formally) prove. Perry --------------------------------------------------------------------- The Cryptography Mailing List Unsubscribe by sending "unsubscribe cryptography" to [EMAIL PROTECTED]
