Mobile implementation and formal verification of an e-voting system (Contributo in atti di convegno)

Type
Label
  • Mobile implementation and formal verification of an e-voting system (Contributo in atti di convegno) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • [1] Martinelli F., [1] Petrocchi M., [1] Vaccarelli A., [1] Falleni A., [1]Campanelli S. (2008)
    Mobile implementation and formal verification of an e-voting system
    in ICIW Third International Conference on Internet and Web Applications and Services (ICIW '08), Athen, Greece, 8-13 June 2008
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • [1] Martinelli F., [1] Petrocchi M., [1] Vaccarelli A., [1] Falleni A., [1]Campanelli S. (literal)
Pagina inizio
  • 476 (literal)
Pagina fine
  • 481 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 6 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system. (literal)
Note
  • ISI Web of Science (WOS) (literal)
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] CNR-IIT, Pisa, Italy (literal)
Titolo
  • Mobile implementation and formal verification of an e-voting system (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-0-7695-3163-2 (literal)
Abstract
  • We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it