Searching for "The Use of Logic in the Analysis 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.

on authentication protocol design.
by Acm Operating
…] P. Syverson. The use of logics in the analysis of cryptographic protocols. In IEEE Symposium…
Add To MetaCart

Towards Extensional Goals in Authentication Protocols
by Colin Boyd — 1997 — In Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols
… in Logical Analysis Various logics have been used successfully for analysis of cryptographic protocols…
Cited by 11 (0 self) – Add To MetaCart

Showing 1 through 2.

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