Search
Now showing items 1-1 of 1
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
(2005-08-19)
We demonstrate how to carry out cryptographic security analysis ofdistributed protocols within the Probabilistic I/O Automata frameworkof Lynch, Segala, and Vaandrager.This framework provides tools for arguing rigorously ...