5475 search results - page 901 / 1095 » Model Driven Security |
141
click to vote
IEEEARES
2009
IEEE
16 years 1 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...
154
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—In voting, the notion of receipt-freeness has been proposed to express that a voter cannot gain any information to prove that she has voted in a certain way. It aims to prevent ...
173
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
144
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We examine the problem of message recognition by reviewing the definitions and the security model in the literature. In particular, we examine the Jane Doe protocol, whi...
179
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider generic Garbled Circuit (GC)-based techniques for Secure Function Evaluation (SFE) in the semi-honest model. We describe efficient GC constructions for additi...