S. Stubblebine and V. Gligor. Protecting the Integrity of Privacy-Enhanced Mail. In PSRG Workshop on Network and Distributed System Security, pages 75--80, February 11-12 1993.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995)   (52 citations)  (Correct)

....a weak checksum. The flaw was subtle and involved an intruder s cutting and pasting together different messages, and disguising the fact that he had done so by his ability to produce messages that evaluated to the same checksum. Their approach was also used to find a flaw in Privacy Enhanced Mail [37]. Stubblebine s and Gligor s success in detecting these flaws shows that we still have not reached the limits of the degree of detail which which we can model a cryptographic protocol and still have fruitful results. One might be tempted to conclude that only the most detailed models are useful. ....

S. Stubblebine and V. Gligor. Protecting the Integrity of Privacy-Enhanced Mail. In PSRG Workshop on Network and Distributed System Security, pages 75--80, February 11-12 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC