Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

Show other versions (2)

The 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 analyz...

Full description

Bibliographic Details
Main Authors: Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto
Other Authors: Nancy Lynch
Language:en_US
Published: 2006
Online Access:http://hdl.handle.net/1721.1/33217

Similar Items

Similar Items