5255 search results - page 258 / 1051 » Formal Methods for Privacy |
141
click to vote
IJCAI
1997
15 years 5 months ago
1997
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...
149
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
117
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
139
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
131
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...