Searching for "Inductive Analysis of the Internet Protocol TLS." – 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.

Inductive Analysis of the Internet Protocol TLS
by Lawrence C. Paulson — 1997 — ACM Transactions on Information and System Security
…Inductive Analysis of the Internet Protocol TLS Lawrence C. Paulson Computer Laboratory University…
Cited by 89 (16 self) – Add To MetaCart

Preface
by unknown authors — 2002
…-Verlag, 1998. 12. L. C. Paulson. Inductive analysis of the internet protocol TLS. ACM Trans. on Inform. and Sys…
Add To MetaCart

Showing 1 through 2.

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