23 search results - page 5 / 5 » Characterization of Security Notions for Probabilistic Priva... |
TGC
2007
Springer
13 years 12 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
FOSSACS
2009
Springer
14 years 17 days 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...
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...