5255 search results - page 94 / 1051 » Formal Methods for Privacy |
106
click to vote
IPMU
2010
Springer
15 years 28 days ago
2010
Springer
Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...
115
click to vote
INFOCOM
2010
IEEE
15 years 28 days ago
2010
IEEE
—Privacy-Preserving Authentication (PPA) is crucial for Radio Frequency Identifcation (RFID)-enabled applications. Without appropriate formal privacy models, it is difficult for...
130
click to vote
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
Protecting personal data is essential to guarantee the rule of law1 . Due to the new Information and Communication Technologies (ICTs) unprecedented amounts of personal data can b...
107
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...