46 search results - page 1 / 10 » Formal analysis of attacks for e-voting system |
ICSEA
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
VOTEID
2007
Springer
14 years 1 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
CRISIS
2009
13 years 8 months ago
2009
SUM
2010
Springer
13 years 4 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
RAID
2004
Springer
14 years 7 days ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...