5255 search results - page 215 / 1051 » Formal Methods for Privacy |
132
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
142
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
141
Voted
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...
151
click to vote
EUROPKI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. An electronic signature is considered to be valid, if the signature is mathematically correct and if the signer's public key is classified as authentic. While the fi...
222
Voted
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
The proliferation of network data in various application domains has raised privacy concerns for the individuals involved. Recent studies show that simply removing the identities ...