2137 search results - page 322 / 428 » Proving Abstract Non-interference |
97
Voted
MFCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this work, we consider an interesting variant of the wellstudied KP model [18] for selfish routing that reflects some influence from the much older Wardrop model [3...
115
click to vote
MFCS
2004
Springer
15 years 8 months ago
2004
Springer
We study the complexity of the inclusion, equivalence, and intersection problem for simple regular expressions arising in practical XML schemas. These basically consist of the conc...
134
Voted
PKC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Bellare, Boldyreva, Desai, and Pointcheval [1] recently proposed a new security requirement of the encryption schemes called “keyprivacy.” It asks that the encryption...
119
click to vote
SACRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
107
Voted
SCN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We introduce and define the notion of identity-based zeroknowledge, concentrating on the non-interactive setting. In this setting, our notion allows any prover to widely...