5255 search results - page 168 / 1051 » Formal Methods for Privacy |
170
Voted
FTRTFT
1992
Springer
15 years 7 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
123
Voted
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
187
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
In this paper we present a method for reasoning about privacy using the concepts of exchangeability and deFinetti's theorem. We illustrate the usefulness of this technique by...
122
Voted
DASFAA
2010
IEEE
15 years 8 months ago
2010
IEEE
Sequence data analysis has been extensively studied in the literature. However, most previous work focuses on analyzing sequence data from a single source or party. In many applica...
133
Voted
USS
2008
15 years 6 months ago
2008
We tackle the problem of building privacy-preserving device-tracking systems -- or private methods to assist in the recovery of lost or stolen Internet-connected mobile devices. T...