135 search results - page 16 / 27 » Secure Electronic Voting - A Framework |
138
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
126
click to vote
FAC
2008
15 years 3 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
117
click to vote
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
Elections are increasingly dependent on computers and telecommunication systems. Such “E-voting” schemes create socio-technical systems (combinations of technology and human o...
166
Voted
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Extensive use of computer networks and online electronic data and high demand for security has called for reliable intrusion detection systems. A repertoire of different classifier...
176
click to vote
FORTE
2009
15 years 1 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...