1779 search results - page 33 / 356 » A Formal Model of Data Privacy |
102
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
ICDE
2006
IEEE
15 years 7 months ago
2006
IEEE
Data mining has been a popular research area for more than a decade due to its vast spectrum of applications. The power of data mining tools to extract hidden information that can...
154
click to vote
SP
2010
IEEE
14 years 11 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
129
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
135
click to vote
KES
2008
Springer
14 years 12 months ago
2008
Springer
Privacy is one of the most important properties of an information system must satisfy. In which systems the need to share information among different, not trusted entities, the pro...