Conference
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
2006
•
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
• 4167:238-253
Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R