J A CLARK, J L JACOB. On the Security of Recent Protocols. In Information Processing Letters, Volume 56, 1995, pages 151-155.  Home/Search   Document Details and Download   Summary   Related Articles

....identities to manipulate terms, that fields of one type cannot be mistaken for fields of another, that fields are of particular block lengths etc. Work at York University has concentrated on identifying areas which need to be borne in mind when abstract specifications are refined to working code. [CJ1,CJ2]. It is quite possible to implement a perfectly secure protocol using high grade crypto algorithms in such a way that the result is hopelessly flawed. We have recently come across a very real example of exactly this: an implementation proposed by APM of a protocol that had been verified by Paulson ....

J A CLARK, J L JACOB. On the Security of Recent Protocols. In Information Processing Letters, Volume 56, 1995, pages 151-155.

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