KIT | KIT-Bibliothek | Impressum | Datenschutz

On the Specification and Verification of Voting Schemes

Beckert, B. ORCID iD icon 1; Gore, R.; Schürmann, C.
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/978-3-642-39185-9_2
Scopus
Zitationen: 1
Dimensions
Zitationen: 2
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2013
Sprache Englisch
Identifikator ISBN: 978-3-642-39184-2
ISSN: 0302-9743
KITopen-ID: 1000039059
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in E-Voting and Identify - 4th International Conference, Guildford, United Kingdom, July 17-19, 2013 - Proceedings. Ed.: J. Heather
Verlag Springer-Verlag
Seiten 25-40
Serie Lecture Notes in Computer Science ; 7985
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page