Searching for "Time-Bounded Task-PIOAs A Framework for Analyzing Security Protocols." – 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.

R.: Time-bounded task-PIOAs: A framework for analyzing security protocols
by Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala — 2006 — Proceedings the 20th International Symposium on Distributed Computing (DISC 2006). Volume 4167 of LNCS., Springer (2006) 238–253 Invited Paper
…Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols ⋆ Ran Canetti 1,3 , Ling…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB