MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Time-Bounded Task-PIOAs A Framework for Analyzing Security Protocols." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • 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
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB