%0 Conference Paper %1 conf/wdag/CanettiCKLLPS06 %A Canetti, Ran %A Cheung, Ling %A Kaynar, Dilsun Kirli %A Liskov, Moses D. %A Lynch, Nancy A. %A Pereira, Olivier %A Segala, Roberto %B DISC %D 2006 %E Dolev, Shlomi %I Springer %K dblp %P 238-253 %T Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. %U http://dblp.uni-trier.de/db/conf/wdag/disc2006.html#CanettiCKLLPS06 %V 4167 %@ 3-540-44624-9

@inproceedings{conf/wdag/CanettiCKLLPS06, added-at = {2019-10-25T00:00:00.000+0200}, author = {Canetti, Ran and Cheung, Ling and Kaynar, Dilsun Kirli and Liskov, Moses D. and Lynch, Nancy A. and Pereira, Olivier and Segala, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2074fe2019a7fd377fe1a6b75b48d3bec/dblp}, booktitle = {DISC}, crossref = {conf/wdag/2006}, editor = {Dolev, Shlomi}, ee = {https://doi.org/10.1007/11864219_17}, interhash = {af6a8bead782ff5b68ed650896de0ca3}, intrahash = {074fe2019a7fd377fe1a6b75b48d3bec}, isbn = {3-540-44624-9}, keywords = {dblp}, pages = {238-253}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-26T11:40:10.000+0200}, title = {Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/wdag/disc2006.html#CanettiCKLLPS06}, volume = 4167, year = 2006 }