5255 search results - page 94 / 1051 » Formal Methods for Privacy |
TOCL
2012
12 years 18 days ago
2012
IPMU
2010
Springer
13 years 8 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 ...
INFOCOM
2010
IEEE
13 years 8 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...
IEEEARES
2008
IEEE
14 years 4 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...
ESOP
2007
Springer
14 years 4 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...