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)
Formal Model
Quality of Service
System Architecture
Waiting Time
Subscribe
Academic
Publications
Analysis of a Distributed eVoting System Architecture against Quality of Service Requirements
Edit
Analysis of a Distributed eVoting System Architecture against Quality of Service Requirements
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
J. Paul Gibson
,
Eric Lallet
,
Jean-luc Raffy
In this paper we propose that formal modelling tech- niques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distributed e-voting
system architecture
can be analysed against
quality of service
requirements, through simulation of formal models. A concrete example of a novel e-voting system prototype (for use in French elections) is used to jus- tify the utility of our approach. The
quality of service
that we consider is the total time it takes for a voter to record their vote (including waiting time). The innovative aspects of the e-voting system that required further research were new requirements for voting anywhere and re-voting; and the potential for undesirable interactions between them.
Conference:
International Conference on Software Engineering Advances - ICSEA
, pp. 58-64, 2008
DOI:
10.1109/ICSEA.2008.18
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.informatik.uni-trier.de
)
(
www-public.int-evry.fr
)
(
www-public.it-sudparis.eu
)
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
(
dx.doi.org
)
More »
Citation Context
(2)
...of the advantages of remote voting whilst not being vulnerable to most of the weaknesses[
13
,30]...
...In previously reported research [
13
,14], through simulations of the formal models (written in Estelle[17]), we established that certain architectures could not provide an acceptable quality of service (to the voter) when the underlying communication network was open to denial-of-service attacks during voting...
...(For more details of the simulation results see [
13
].)...
J. Paul Gibson
,
et al.
Engineering a Distributed eVoting System Architecture: Meeting Critica...
...In all instances we consider quality of service (QoS) to be a core requirement, so that the time required to record an individual vote should never be “unreasonable”[
24
]...
...This insight arose from analysis of simulations of different voting architectures for quality of service[
24
]...
J. Paul Gibson
,
et al.
Feature Interactions in a Software Product Line for Evoting
References
(23)
Preliminary Study to Empirically Investigate the Comprehensibility of Requirements Specifications
(
Citations: 2
)
Deirdre Carew
,
Chris Exton
,
Jim Buckley
,
Margaret McGaley
,
J. Paul Gibson
Published in 2005.
Formal methods: state of the art and future directions
(
Citations: 637
)
Edmund M. Clarke
,
Jeannette M. Wing
Journal:
ACM Computing Surveys - CSUR
, vol. 28, no. 4, pp. 626-643, 1996
Coercion-Resistance and Receipt-Freeness in Electronic Voting
(
Citations: 53
)
Stéphanie Delaune
,
Steve Kremer
,
Mark Ryan
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 28-42, 2006
Formal Object Oriented Development of Software Systems using LOTOS
(
Citations: 24
)
J. Paul Gibson
Published in 1993.
Feature Requirements Models: Understanding Interactions
(
Citations: 38
)
J. Paul Gibson
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 46-60, 1997
Order by:
Citations
(2)
Engineering a Distributed eVoting System Architecture: Meeting Critical Requirements
J. Paul Gibson
,
Eric Lallet
,
Jean-Luc Raffy
Published in 2010.
Feature Interactions in a Software Product Line for Evoting
(
Citations: 2
)
J. Paul Gibson
,
Eric Lallet
,
Jean-Luc Raffy
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 91-106, 2009