Searching for "Fast automatic synthesis of security protocols using backward search." – 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.

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
…. Fast automatic synthesis of security protocols using backward search. In ACM Workshop on Formal Methods…
Add To MetaCart

Fast Automatic Synthesis of Security Protocols Using
by Backward Search Hongbin, Hongbin Zhou
…Fast Automatic Synthesis of Security Protocols Using Backward Search ABSTRACT Hongbin Zhou…
Add To MetaCart

Showing 1 through 2.

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