A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop --- CSFW'99, pages 83--89, Mordano, Italy, June 1999. IEEE Computer Society Press.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....basic assumptions of the Dolev Yao model, perfect (black box) cryptography and a nondeterministic adversary, provide an idealized setting in which protocol analysis becomes relatively tractable. One recent setting for stating the basic assumptions of the Dolev Yao model is given by strand spaces [FHG98,FHG99,Man99]. Strand spaces provide a way of presenting information about causal interactions among protocol participants. Roughly, a strand is a linearly ordered sequence of events that represents the actions of a protocol participant. A strand space is a collection of strands, equipped with a graph ....

A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop --- CSFW'99, pages 83--89, Mordano, Italy, June 1999. IEEE Computer Society Press.

....algebra. The problem remains to determine which relations among the elements of the free algebra A 0 will preserve a protocol correctness result. This is a hard problem, which will doubtless require much future work exploring di erent approaches; Maneki has considered one aspect of this problem [16]. Since we have assumed that our message algebra A is freely generated, we can use a simple inductive de nition of the subterm relation. De nition 2.11 The subterm relation is de ned inductively, as the smallest relation such that: a a; a fggK if a g; a g h if a g or a h. ....

....we need to be able to reason about the entry points into this di erence of ideals. However, we have used these results about ideals to prove facts about the Yahalom protocol and (in [30] the Neuman Stubblebine protocol. Maneki has used corresponding results to prove a version of the TMN protocol [16]. Thus, they seem to be quite widely useful, especially to reason about shared secrets. 7 The Otway Rees Protocol In this section, we will illustrate the machinery of ideals and honesty by applying it to analyze the Otway Rees protocol. 28 A B S M 1 w w M 2 w w ....

[Article contains additional citation context not shown here]

Al Maneki. Honest functions and their application to the analysis of cryptographic protocols. In Proceedings of the 12th Computer Security Foundations Workshop. IEEE Computer Society Press, June 1999.

....basic assumptions of the Dolev Yao model, perfect (black box) cryptography and a nondeterministic adversary, provide an idealized setting in which protocol analysis becomes relatively tractable. One recent setting for stating the basic assumptions of the Dolev Yao model is given by strand spaces [6, 7, 8]. Strand spaces provide a way of presenting information about causal interactions among protocol participants. Roughly, a strand is a linearly ordered sequence of events that represents the actions of a protocol participant. A strand space is a collection of strands, equipped with a graph ....

A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop --- CSFW'99, pages 83--89, Mordano, Italy, June 1999. IEEE Computer Society Press. 48

....under contract N0014 96 D2024 to various authors. black box) cryptography and a nondeterministic adversary, provide an idealized setting in which protocol analysis becomes relatively tractable. One recent setting for stating the basic assumptions of the Dolev Yao model is given by strand spaces [6, 7, 8]. Strand spaces provide a way of presenting information about causal interactions among protocol participants. Roughly, a strand is a linearly ordered sequence of events that represents the actions of a protocol participant. A strand space is a collection of strands, equipped with a graph ....

A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop --- CSFW'99, pages 83--89, Mordano, Italy, June 1999. IEEE Computer Society Press.

....of the Dolev Yao model, perfect (black box) cryptography and a nondeterministic adversary, provide an idealized setting in which security protocol analysis becomes relatively tractable. One recent setting for stating the basic assumptions of the Dolev Yao model is given by strand spaces [6, 7, 8]. Strand spaces provide a way of presenting information about causal interactions among protocol participants. Roughly, a strand is a linearly ordered sequence of events that Partially supported by DoD MURI Semantic Consistency in Information Exchange as ONR Grant N00014 971 0505, by NSF ....

A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop | CSFW'99, pages 83-89, Mordano, Italy, June 1999. IEEE Computer Society Press.

No context found.

A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop --- CSFW'99, pages 83--89, Mordano, Italy, June 1999. IEEE Computer Society Press.

No context found.

A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop --- CSFW'99, pages 83--89, Mordano, Italy, June 1999. IEEE Computer Society Press.

No context found.

A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop --- CSFW'99, pages 83--89, Mordano, Italy, June 1999. IEEE Computer Society Press.

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