Searching for "Compiling and Verifying Security 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.

Compiling and Verifying Security Protocols
by Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron — 2000
…Compiling and Verifying Security Protocols Florent Jacquemard 1 , Michael Rusinowitch 1…
Cited by 43 (4 self) – Add To MetaCart

Functional and (Constraint) Logic Programming, Proc. of the 12th International Workshop, WFLP 2003
by Germán Vidal, Depósito Legal, Impreso En España — 2003
…. F. Jacquemard, M. Rusinowitch, and L. Vigneron. Compiling and Verifying Security Protocols. In Proc…
Add To MetaCart

Showing 1 through 2.

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