Formal Specification and Analysis of an E-voting System

Electronic voting systems are a perfect example of security-critical computing. One of the critical and complex parts of such systems is the voting process, which is responsible for correctly and securely storing intentions and actions of the voters. Unfortunately, recent studies revealed that vario...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Weldemariam, K., Kemmerer, R.A., Villafiorita, A.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Availability Critical Requirements Electronic voting Electronic voting systems ES&S system Formal Specification and Verification Formal specifications Information security Nominations and elections Programming Real time systems Software systems Welding
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!