71 search results - page 2 / 15 » Anonymity in Probabilistic and Nondeterministic Systems |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We study nondeterministic and probabilistic versions of a discrete dynamical system (due to T. Ant
TGC
2010
Springer
13 years 2 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
CSFW
2003
IEEE
13 years 10 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
IH
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Currently knownbasic anonymitytechniques dependon identity veri cation. If veri cation of user identities is not possible due to the related management overhead or a gene...