Searching for "Formal Semantics for Logics of Cryptographic 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.

A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols
by Yan Zhang And, Yan Zhang, Vijay Varadharajan — 2001 — In: Proceedings of the Australasian Conference on Computer Science
… for logics of cryptographic protocols [11]; Syverson and van Oorschot also proposed a formal framework…
Add To MetaCart

A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols
by Yan Zhang, Vijay Varadharajan — 2001 — In: Proceedings of the Australasian Conference on Computer Science
… for logics of cryptographic protocols [22]; Syverson and van Oorschot also proposed a formal framework…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

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