Probabilistic Models and Interoperability, Pervasive Computing and Security
Abstract
The research supported under this grant has two main focuses: first, modeling security protocols, and second, devising new domain-theoretic models for probabilistic phenomena. In the first area, we developed a new approach to modeling probabilistic input/output automata, originally devised by Canetti, Lynch, Segala et al, and new applications of these automata in security, specifically to the area of anonymity. In the second area, we devised new models combining probability and nondeterminism, and used this approach to provide an alternative development of the indexed valuations of Daniele Varacca. An important application of this is the development of the only known CCC supporting probabilistic choice.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 30, 2010
- Accession Number
- ADA552469
Entities
People
- Michael William Mislove
Organizations
- Tulane University of Louisiana