Analyzing security protocols using timebounded task-PIOAs. Discrete Event Dynamic Systems, (2008)

by Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A Lynch, Olivier Pereira, Roberto Segala