Sciweavers

Share
89 search results - page 1 / 18
» Towards Automatic Analysis of Election Verifiability Propert...
Sort
View
IFIP
2010
Springer
9 years 6 months ago
Towards Automatic Analysis of Election Verifiability Properties
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...
DGO
2008
99views Education» more  DGO 2008»
10 years 1 months ago
Specifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
Borislava I. Simidchieva, Matthew Marzilli, Lori A...
ESOP
2005
Springer
10 years 5 months ago
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
Steve Kremer, Mark Ryan
MODELS
2015
Springer
4 years 7 months ago
Towards User-Friendly and Efficient Analysis with Alloy
Abstract—In model-driven engineering, structural models represent software at the early phases of software development. They are assumed to generate the models in subsequent phas...
Xiaoliang Wang, Adrian Rutle, Yngve Lamo
ICSE
2005
IEEE-ACM
10 years 12 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...
books