5255 search results - page 94 / 1051 » Formal Methods for Privacy |
111
click to vote
IPMU
2010
Springer
15 years 1 months 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 ...
121
click to vote
INFOCOM
2010
IEEE
15 years 1 months 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...
139
Voted
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...
115
click to vote
ESOP
2007
Springer
15 years 9 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...