5255 search results - page 1 / 1051 » Formal Methods for Privacy |
176
Voted
ISSE
2010
15 years 5 months ago
2010
188
Voted
ISSE
2010
15 years 5 months ago
2010
125
Voted
FM
2009
Springer
16 years 2 months ago
2009
Springer
189
Voted
TLCA
2005
Springer
16 years 27 days 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...
174
Voted
ESORICS
2004
Springer
16 years 24 days 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...