23 search results - page 3 / 5 » csfw 2006 |
117
Voted
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
116
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a p...
137
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
119
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
137
Voted
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...