Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

28

CRISIS
2009

favoriteEmaildiscussreport

154views Security Privacy» more CRISIS 2009»

Formal analysis of attacks for e-voting system

14 years 3 days ago

Formal analysis of attacks for e-voting system

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo

Real-time Traffic

CRISIS 2009 | Security Privacy |

claim paper

Related Content

» Analysis of a Distributed eVoting System Architecture against Quality of Service Requireme...

» Assessing Procedural Risks and Threats in eVoting Challenges and an Approach

» A Formal Analysis of LogicBased Argumentation Systems

» Formal Reasoning About Intrusion Detection Systems

» Formal modelling and analysis of XML firewall for serviceoriented systems

» A Structural Framework for Modeling MultiStage Network Attacks

» Tools for Generating and Analyzing Attack Graphs

» Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

» Formal analysis of secure contracting protocol for etendering

Post Info
More Details (n/a)

Added	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2009
Where	CRISIS
Authors	Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita

Comments (0)