Searching for "Automated Reasoning for Security Protocol Analysis." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

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
…, Cork, Ireland Workshop Programme Automated Reasoning for Security Protocol Analysis (ARSPA) Alessandro…
Add To MetaCart

Showing 1 through 1.

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