5255 search results - page 1 / 1051 » Formal Methods for Privacy |
ISSE
2010
13 years 3 months ago
2010
ISSE
2010
13 years 3 months ago
2010
FM
2009
Springer
13 years 11 months ago
2009
Springer
TLCA
2005
Springer
13 years 10 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...