135 search results - page 23 / 27 » Secure Electronic Voting - A Framework |
CORR
2011
Springer
13 years 3 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
UIALL
2004
Springer
14 years 1 months ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...
CSFW
2000
IEEE
14 years 28 days ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
ISI
2004
Springer
14 years 1 months ago
2004
Springer
We propose a surveillance framework (SECRETS: SECure Real-time ElecTronic Surveillance) that is a practical solution to safeguarding sensitive physical facilities like command and ...
DATE
2006
IEEE
14 years 6 days ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...