Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Computer Security
Electronic Voting
Formal Method
Safety Critical System
Subscribe
Academic
Publications
Electronic Voting: A Safety Critical System
Edit
Electronic Voting: A Safety Critical System
(
Citations: 11
)
BibTex
|
RIS
|
RefWorks
Download
Margaret McGaley
,
J. Paul Gibson
This is a study of electronic voting, with emphasis on its implementation in the Republic of Ireland. We place
electronic voting
in its historical context, and define the basic requirements for any voting system. We examine remote
electronic voting
(REV) and kiosk voting - in particular the Nedap/Powervote system bought by the Irish government - to see if they can meet those requirements. We were motivated by a concern that the Nedap/Powervote system may not be a satisfactory solution to Irish electoral needs. Our conclusion is that while an adequate
electronic voting
system is possible, Nedap/Powervote is not it.
Published in 2003.
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.cs.nuim.ie
)
(
www-public.int-evry.fr
)
(
www-public.it-sudparis.eu
)
(
www.cev.ie
)
(
www.cs.may.ie
)
(
www.evoting.cs.may.ie
)
More »
Citation Context
(9)
...Besides obvious complex technological considerations, a voting system is ultimately ‘only as good as the public believes it to be’ [
23
]...
R. Michael Alvarez
,
et al.
Assessing Voters' Attitudes towards Electronic Voting in Latin America...
...Various publicly available standards, principles, and recommendations in e-voting —e.g., the FEC [1], [2], EU Venice Commission [3], and McGaley reports [
4
], [5], [6], address what an e-voting system should reliably do. From requirement engineering point of view, however, these documents often specify the what do concerns...
Komminist Weldemariam
,
et al.
Managing Requirements for EVoting Systems: Issues and Approaches
...McGaley and Gibson [
10
] define basic requirements for any voting system and they examine the e-voting system bought by the Irish Government to see whether it can meet those requirements...
Orhan Cetinkaya
.
Analysis of Security Requirements for Cryptographic Voting Protocols (...
...See, e.g., [
22
] for a list of the properties verified...
Roberto Tiella
,
et al.
FSMC+, a tool for the generation of Java code from statecharts
...In [
6
], basic requirements for any voting system are defined and the e-voting system bought by the Irish Government is examined to see whether it can meet those requirements...
Orhan Cetinkaya
,
et al.
Towards Secure E-Elections in Turkey: Requirements and Principles
References
(5)
Security considerations for remote electronic voting
(
Citations: 49
)
Aviel D. Rubin
,
V OTING
Journal:
Communications of The ACM - CACM
, vol. 45, no. 12, pp. 39-44, 2002
Security criteria for electronic voting
(
Citations: 25
)
P. G. Neumann
Published in 1993.
Formal Methods Fact File: VDM and Z
(
Citations: 12
)
Andrew Harry
Published in 1996.
Electronic Voting: A Safety Critical System
(
Citations: 11
)
Margaret McGaley
,
J. Paul Gibson
Published in 2003.
The Origins of Democratic Thinking: The Invention of Politics in Classical Athens
(
Citations: 6
)
W. R. Connor
,
Cynthia Farrar
Journal:
American Historical Review
, vol. 95, no. 5, 1990
Order by:
Citations
(11)
Assessing Voters' Attitudes towards Electronic Voting in Latin America: Evidence from Colombia's 2007 EVoting Pilot
(
Citations: 1
)
R. Michael Alvarez
,
Gabriel Katz
,
Ricardo Llamosa
,
Hugo E. Martinez
Conference:
E-Voting and Identity - VOTE-ID
, pp. 75-91, 2009
Managing Requirements for EVoting Systems: Issues and Approaches
Komminist Weldemariam
,
Andrea Mattioli
,
Adolfo Villafiorita
Conference:
International Workshop on Requirements Engineering for e-Voting Systems - RE-VOTE
, 2009
Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract)
(
Citations: 2
)
Orhan Cetinkaya
Conference:
Availability, Reliability and Security - IEEEARES
, pp. 1451-1456, 2008
FSMC+, a tool for the generation of Java code from statecharts
(
Citations: 9
)
Roberto Tiella
,
Adolfo Villafiorita
,
Silvia Tomasi
Conference:
Principles and Practice of Programming in Java - PPPJ
, pp. 93-102, 2007
Towards Secure E-Elections in Turkey: Requirements and Principles
(
Citations: 5
)
Orhan Cetinkaya
,
Deniz Cetinkaya
Conference:
Availability, Reliability and Security - IEEEARES
, pp. 903-907, 2007