135 search results - page 16 / 27 » Secure Electronic Voting - A Framework |
107
Voted
IPPS
2006
IEEE
15 years 5 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...
85
Voted
FAC
2008
14 years 11 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...
78
Voted
IEEEARES
2006
IEEE
15 years 5 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...
125
click to vote
ASIAN
2007
Springer
15 years 5 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...
136
click to vote
FORTE
2009
14 years 9 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...