415 search results - page 38 / 83 » A New RFID Privacy Model |
168
click to vote
FOSAD
2009
Springer
15 years 8 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
128
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
136
Voted
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
115
Voted
CCS
2006
ACM
15 years 5 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
223
Voted
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
In recent years, anonymization methods have emerged as an important tool to preserve individual privacy when releasing privacy sensitive data sets. This interest in anonymization t...