198 search results - page 9 / 40 » Weak Probabilistic Anonymity |
IANDC
2010
13 years 7 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
ESAS
2007
Springer
14 years 3 months ago
2007
Springer
The Direct Anonymous Attestation (DAA) scheme provides a means for remotely authenticating a trusted platform whilst preserving the user’s privacy. The protocol has been adopted ...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
Internet technologies are increasingly used in various forms of communication, including negotiations. This paper explores the cultural implications in anonymous inter- and intra-...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilisti...