5255 search results - page 10 / 1051 » Formal Methods for Privacy |
OOPSLA
1994
Springer
13 years 11 months ago
1994
Springer
MOC
2010
13 years 2 months ago
2010
MOC
2010
13 years 2 months ago
2010
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...