5255 search results - page 216 / 1051 » Formal Methods for Privacy |
133
Voted
ACISP
2009
Springer
15 years 10 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
183
click to vote
WPES
2006
ACM
15 years 10 months ago
2006
ACM
Many applications of mix networks such as anonymous Web browsing require relationship anonymity: it should be hard for the attacker to determine who is communicating with whom. Co...
142
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
145
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
140
Voted
ICFCA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...