Abstract | ||
---|---|---|
Task-structured probabilistic input/output automata (Task-PIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framework for the universal composability paradigms of protocol security. One of their advantages is that that they allow one to distinguish high-level nondeterminism that can affect the outcome of the protocol, from low-level choices, which can't. We present an alternative approach to analyzing the structure of Task-PIOAs that relies on ordered sets. We focus on two of the components that are required to define and apply Task-PIOAs: discrete probability theory and automata theory. We believe our development gives insight into the structure of Task-PIOAs and how they can be utilized to model crypto-protocols. We illustrate our approach with an example from anonymity, an area that has not previously been addressed using Task-PIOAs. We model Chaum's Dining Cryptographers Protocol at a level that does not require cryptographic primitives in the analysis. We show via this example how our approach can leverage a proof of security in the case a principal behaves deterministically to prove security when that principal behaves probabilistically. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16074-5_2 | ARSPA-WITS |
Keywords | Field | DocType |
cryptographic primitive,protocol security,automata theory,model crypto-protocols,concurrent probabilistic automaton,probabilistic security,discrete probability theory,alternative approach,task-structured probabilistic input,formal framework,dining cryptographers protocol,cryptographic protocol,probability theory,input output,probabilistic automata | Dining cryptographers problem,Automata theory,Automaton,Theoretical computer science,Cryptographic primitive,Probabilistic logic,Probabilistic automaton,Mathematics,Oblivious transfer,Universal composability | Conference |
Volume | ISSN | ISBN |
6186 | 0302-9743 | 3-642-16073-5 |
Citations | PageRank | References |
1 | 0.36 | 17 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Aaron D. Jaggard | 1 | 312 | 22.55 |
Catherine Meadows | 2 | 928 | 89.05 |
Michael Mislove | 3 | 96 | 8.78 |
Roberto Segala | 4 | 1909 | 116.71 |