198 search results - page 2 / 40 » Weak Probabilistic Anonymity |
CSFW
2003
IEEE
13 years 11 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
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
JCST
2008
13 years 5 months ago
2008
Vehicular networks have attracted extensive attention in recent years for their promises in improving safety and enabling other value-added services. Most previous work focuses on ...
CSFW
2003
IEEE
13 years 11 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
AI
2002
Springer
13 years 5 months ago
2002
Springer
Previous experimental results have clearly demonstrated the effectiveness of utilizing context-specific independence (CSI) in probabilistic inference. However, CSI is a special cas...