Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

Backes, M., Hritcu, C., & Maffei, M. (2008). Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. In S. Kawada (Ed.), 21st IEEE Computer Security Foundations Symposium: CSF 2008; proceedings (pp. 195-209). Los Alamitos, Ca.: IEEE Computer Society.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Backes, Michael1, Autor           
Hritcu, Catalin, Autor
Maffei, Matteo, Autor
Affiliations:
1Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society, ou_2149682              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009-04-062008
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 428472
DOI: 10.1109/CSF.2008.26
URI: http://dx.doi.org/10.1109/CSF.2008.26
Anderer: C125718C00511B58-A20BD795E6D2BD28C125751A006842DF-Backes2008i
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: 21st IEEE Computer Security Foundations Symposium : CSF 2008 ; proceedings
Genre der Quelle: Konferenzband
 Urheber:
Kawada, Stephanie, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Los Alamitos, Ca. : IEEE Computer Society
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 195 - 209 Identifikator: ISBN: 978-0-7695-3182-3