MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Inductive Approach to Verifying Cryptographic Protocols." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

The inductive approach to verifying cryptographic protocols
by Lawrence C. Paulson — 1998 — Journal of Computer Security
…The Inductive Approach to Verifying Cryptographic Protocols Lawrence C. Paulson Computer…
Cited by 343 (26 self) – Add To MetaCart

on authentication protocol design.
by Acm Operating
…(12):993--998, December 1978. [Pau98] L Paulson. The inductive approach to verifying cryptographic protocols. Journal…
Add To MetaCart

Full Presentations Believing the Integrity of a System...................................... 3
by Ro Arm, Luca Viganò (chairs, Massimo Benerecetti, Maria Grazia Buscemi, Carlos Caleiro, Alessandro Armando, Luca Viganò, Simon Foley
… of the History of Computing, 14(4):57, 1992. [26] L.C. Paulson. The inductive approach to verifying cryptographic…
Add To MetaCart

Mechanical proofs about a non-repudiation protocol
by Giampaolo Bella, Lawrence C Paulson — 2001 — Theorem Proving in Higher Order Logics: TPHOLs 2001, LNCS 2152
… to verifying cryptographic protocols [12] with message reception [1] and agents’ knowledge [2]. This paper…
Cited by 19 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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