Login / Signup

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.

Ran CanettiLing CheungDilsun Kirli KaynarMoses D. LiskovNancy A. LynchOlivier PereiraRoberto Segala
Published in: DISC (2006)
Keyphrases
  • security protocols
  • artificial intelligence
  • information systems
  • case study
  • distributed systems
  • cryptographic algorithms