5255 search results - page 257 / 1051 » Formal Methods for Privacy |
137
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
125
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Cancelable biometric systems are gaining in popularity for use in person authentication for applications where the privacy and security of biometric templates are important consid...
130
click to vote
HAIS
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a methodology for knowledge discovery from inherently distributed data without moving it from its original location, completely or partially, to other locations...
134
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Warnings have been raised about the steady diminution of privacy. More and more personal information, such as that contained electronic mail, is moving to cloud computing servers ...
144
click to vote
ICRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...