Show simple item record

dc.contributor.advisorNancy Lynch
dc.contributor.authorCanetti, Ran
dc.contributor.authorCheung, Ling
dc.contributor.authorKaynar, Dilsun
dc.contributor.authorLiskov, Moses
dc.contributor.authorLynch, Nancy
dc.contributor.authorPereira, Olivier
dc.contributor.authorSegala, Roberto
dc.contributor.otherTheory of Computation
dc.date.accessioned2006-06-20T21:18:08Z
dc.date.available2006-06-20T21:18:08Z
dc.date.issued2006-06-20
dc.identifier.otherMIT-CSAIL-TR-2006-047
dc.identifier.urihttp://hdl.handle.net/1721.1/33217
dc.description.abstractThe Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about theircorrectness using multiple levels of abstraction, based on implementation relationships between these levels. We enhance this framework to allow analyzingprotocols that use cryptographic primitives. This requires resolving andreconciling issues such as nondeterministic behavior and scheduling, randomness,resource-bounded computation, and computational hardness assumptions. The enhanced framework allows for more rigorous and systematic analysis of cryptographic protocols. To demonstrate the use of this framework, we present an example analysis that we have done for an Oblivious Transfer protocol.
dc.format.extent98 p.
dc.format.extent898579 bytes
dc.format.extent5581045 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoen_US
dc.relation.ispartofseriesMassachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
dc.relation.replaceshttp://hdl.handle.net/1721.1/31310
dc.relation.isreplacedbyhttp://hdl.handle.net/1721.1/35918
dc.relation.urihttp://hdl.handle.net/1721.1/35918
dc.relation.urihttp://hdl.handle.net/1721.1/31310
dc.titleUsing Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
dc.identifier.citationJune 19, 2006


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record