Probabilistic Models and Interoperability, Pervasive Computing and Security

摘要

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.