1779 search results - page 45 / 356 » A Formal Model of Data Privacy |
108
click to vote
IEEEARES
2006
IEEE
15 years 7 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
214
click to vote
VLDB
2008
ACM
16 years 1 months ago
2008
ACM
Abstract In this article, we present a comprehensive approach for privacy preserving access control based on the notion of purpose. In our model, purpose information associated wit...
127
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Knowledge discovery on social network data can uncover latent social trends and produce valuable findings that benefit the welfare of the general public. A growing amount of resea...
157
click to vote
TKDE
2012
13 years 3 months ago
2012
—This paper considers a cloud computing setting in which similarity querying of metric data is outsourced to a service provider. The data is to be revealed only to trusted users,...
131
click to vote
BPM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...