1779 search results - page 93 / 356 » A Formal Model of Data Privacy |
192
click to vote
SPE
2011
14 years 11 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
152
click to vote
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicabl...
156
Voted
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
129
click to vote
CASCON
2004
15 years 5 months ago
2004
Due in part to the large volume of data available today, but more importantly to privacy concerns, data are often distributed across institutional, geographical and organizational...
103
click to vote
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
Compensating transactions are intended to handle situations where it is required to undo either committed or uncommitted transactions that affect other transactions, without resor...