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
(6)
Electronic Voting
Good Practice
Human Error
Legislation
New Technology
System Development
Subscribe
Academic
Publications
Verification and Maintenance of eVoting Systems and Standards
Edit
Verification and Maintenance of eVoting Systems and Standards
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
Paul Gibson
,
Margaret McGaley
E-voting systems should be verified to be fit-for-purpose before being deployed, but there is a serious lack of provision for verification and maintenance in existing standards and recommendations for e- voting. A change to requirements, or to the system, usually results in the previously established fitness-for- purpose being compromised. Therefore change must be managed, and standards documents must make provision for their own maintenance. Verification is a process of establishing a relationship between what is required of the system and properties of the actual system. It is
good practice
that an independent authority be responsible for verification of systems against requirements. It must be possible to determine whether a given authority can be trusted to fulfil this task competently. Thus, requirements documents must not only say what standards are to be met, but must also state the minimum capabilities expected of any testing authority. The whole e-voting
system development
process is prone to human-error. This applies to the requirements, standards and the systems they describe. We must introduce suitable procedures for dealing with these errors, including the identification of responsible parties. We must also ensure that there is adequate incentive for the correction of errors. If maintenance of systems requires expensive recertification, there is a risk that vendors will not make necessary changes to their systems (to avoid recertification) or will make changes without having the systems recertified. Error discovery is not the only agent of change for requirements and systems. For example, the introduction of new legislation, new election types, or
new technology
will have direct consequences. This requires careful co-ordination between all concerned parties. Whenever a system changes, whatever the surrounding circumstances, it must be tested and re-certified. However, if the system under evaluation has been well- engineered, it may not be necessary to begin again with every modification. In this paper we examine what it means for a system to be well-engineered and propose maintenance procedures specific to the problem of e- voting.
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-public.int-evry.fr
)
Citation Context
(2)
...We are also analysing the role of formality in maintaining these systems as requirements evolve (often due to changes in standards [
15
])...
J. Paul Gibson
,
et al.
Engineering a Distributed eVoting System Architecture: Meeting Critica...
...Many of the problems in the domain of e-voting have arisen because of poorly specified requirements and standards documents, and the inability to carry out meaningful verification [
23
]...
J. Paul Gibson
,
et al.
Analysis of a Distributed eVoting System Architecture against Quality ...
References
(12)
Feature Requirements Models: Understanding Interactions
(
Citations: 38
)
J. Paul Gibson
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 46-60, 1997
EVoting and the Need for Rigourous Software Engineering - The Past, Present and Future
(
Citations: 3
)
J. Paul Gibson
Published in 2007.
Evaluating Security of Voting Schemes in the Universal Composability Framework
(
Citations: 8
)
Jens Groth
Conference:
Applied Cryptography and Network Security
, pp. 46-60, 2004
A Reference Model for Requirements and Specifications
(
Citations: 114
)
Carl A. Gunter
,
Elsa L. Gunter
,
Michael Jackson
,
Pamela Zave
Journal:
IEEE Software - MS
, vol. 17, no. 3, pp. 37-43, 2000
Early Appraisals of Electronic Voting
(
Citations: 14
)
Paul S. Herrnson
,
Owen G. Abbe
,
Peter L. Francia
,
Benjamin B. Bederson
,
Bongshin Lee
,
Robert M. Sherman
,
Fred Conrad
Journal:
Social Science Computer Review - SOC SCI COMPUT REV
, vol. 23, no. 3, pp. 274-292, 2005
Order by:
Citations
(2)
Engineering a Distributed eVoting System Architecture: Meeting Critical Requirements
J. Paul Gibson
,
Eric Lallet
,
Jean-Luc Raffy
Published in 2010.
Analysis of a Distributed eVoting System Architecture against Quality of Service Requirements
(
Citations: 2
)
J. Paul Gibson
,
Eric Lallet
,
Jean-luc Raffy
Conference:
International Conference on Software Engineering Advances - ICSEA
, pp. 58-64, 2008