Searching for "Proving Properties of Security Protocols by Induction." – 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.

Proving Properties of Security Protocols by Induction
by Lawrence C. Paulson — 1997 — In 10th IEEE Computer Security Foundations Workshop
…Proving Properties of Security Protocols by Induction 1 Lawrence C. Paulson Computer Laboratory…
Cited by 135 (8 self) – Add To MetaCart

An automatic approach for building secure systems
by Xiaodong Dawn Song, Xiaodong Dawn Song, Xiaodong Dawn Song — 2000
… approaches prove properties of security protocols by induction. They have great expressive power, but suffer…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

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