5255 search results - page 110 / 1051 » Formal Methods for Privacy |
118
click to vote
AAMAS
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
243
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
Data publishing can provide enormous benefits to the society. However, due to privacy concerns, data cannot be published in their original forms. Two types of data publishing can a...
95
Voted
FC
2009
Springer
15 years 9 months ago
2009
Springer
End-to-end voting schemes have shown considerable promise for allowing voters to verify that tallies are accurate. At the same time, the threat of coercion has generally been consi...
124
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
110
click to vote
ENTCS
2007
15 years 2 months ago
2007
We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal context. Data anonymity expresses whether some piece of observed data, such as a v...