Searching for "Compositional analysis of contract-signing protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Compositional analysis of contract signing protocols
by Michael Backes, John C. Mitchell — 2005 — In Proceedings of 18th IEEE Computer Security Foundations Workshop. IEEE
…Compositional Analysis of Contract Signing Protocols ∗ Michael Backes IBM Zürich Research Lab mbc…
Cited by 8 (4 self) – Add To MetaCart

Compositional Analysis of Contract Signing Protocols*
by Mathieu Turuani, Loria-inria Nancy
… Compositional Analysis of Contract Signing Protocols* Michael Backes IBM Z"urich Research Lab…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB