Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
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...
| প্রধান লেখক: | , , , , , , |
|---|---|
| অন্যান্য লেখক: | |
| ভাষা: | en_US |
| প্রকাশিত: |
2006
|
| অনলাইন ব্যবহার করুন: | http://hdl.handle.net/1721.1/33217 |
Search Result 1
Search Result 2