%0 Conference Paper %1 Canetti06time-boundedtask-pioas: %A Canetti, Ran %A Cheung, Ling %A Kaynar, Dilsun %A Liskov, Moses %A Lynch, Nancy %A Pereira, Olivier %A Segala, Roberto %B PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING (DISC 2006). VOLUME 4167 OF LNCS., SPRINGER (2006) 238–253 INVITED PAPER %D 2006 %I Springer %K crypto distributed model security verification %P 238--253 %T Time-bounded task-PIOAs: A framework for analyzing security protocols %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.2313

@inproceedings{Canetti06time-boundedtask-pioas:, added-at = {2012-03-31T16:17:10.000+0200}, author = {Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/21e913c01cda935757d0e00ccc023e9d0/giuliano.losa}, booktitle = {PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING (DISC 2006). VOLUME 4167 OF LNCS., SPRINGER (2006) 238–253 INVITED PAPER}, description = {CiteSeerX — Time-bounded task-PIOAs: A framework for analyzing security protocols}, interhash = {af6a8bead782ff5b68ed650896de0ca3}, intrahash = {1e913c01cda935757d0e00ccc023e9d0}, keywords = {crypto distributed model security verification}, pages = {238--253}, publisher = {Springer}, timestamp = {2012-03-31T16:18:00.000+0200}, title = { Time-bounded task-PIOAs: A framework for analyzing security protocols}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.2313}, year = 2006 }