Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Electronic Voting [[electronic resource] ] : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid
| Electronic Voting [[electronic resource] ] : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (IX, 203 p. 54 illus.) |
| Disciplina | 324.63 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Data protection Computer organization Software engineering Application software Computers and civilization Cryptology Security Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Computer Appl. in Administrative Data Processing Computers and Society |
| ISBN | 3-030-00419-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computing the Margin of Victory in Preferential Parliamentary elections -- Ballot-polling Risk Limiting Audits for IRV Elections -- The Threat of SSL/TLS Stripping in Online Voting -- Modular Formalisation and Verification of STV Algorithms -- Online Voting in Indigenous Nations: Lessons From Canada -- Process Models for Universally Verifiable Elections -- Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics -- How much does an e-vote cost? Compared Costs per Vote in Multichannel Elections in Estonia -- Implementing an audio side channel for paper voting -- The E-voting Readiness Index and the Netherlands -- Winning the election, but losing the litigation: A prognosis of Nigerian judicial attitude to evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding Considered Harmful. |
| Record Nr. | UNISA-996466214703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid
| Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (IX, 203 p. 54 illus.) |
| Disciplina |
324.63
324.65 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Data protection Computer organization Software engineering Application software Computers and civilization Cryptology Security Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Computer Appl. in Administrative Data Processing Computers and Society |
| ISBN | 3-030-00419-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computing the Margin of Victory in Preferential Parliamentary elections -- Ballot-polling Risk Limiting Audits for IRV Elections -- The Threat of SSL/TLS Stripping in Online Voting -- Modular Formalisation and Verification of STV Algorithms -- Online Voting in Indigenous Nations: Lessons From Canada -- Process Models for Universally Verifiable Elections -- Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics -- How much does an e-vote cost? Compared Costs per Vote in Multichannel Elections in Estonia -- Implementing an audio side channel for paper voting -- The E-voting Readiness Index and the Netherlands -- Winning the election, but losing the litigation: A prognosis of Nigerian judicial attitude to evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding Considered Harmful. |
| Record Nr. | UNINA-9910349404303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal to Practical Security [[electronic resource] ] : Papers Issued from the 2005-2008 French-Japanese Collaboration / / edited by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada
| Formal to Practical Security [[electronic resource] ] : Papers Issued from the 2005-2008 French-Japanese Collaboration / / edited by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VII, 199 p.) |
| Disciplina | 004 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer programming Pattern recognition Computers and civilization Data structures (Computer science) Biometrics (Biology) Cryptology Programming Techniques Pattern Recognition Computers and Society Data Structures and Information Theory Biometrics |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-642-02002-X |
| Classificazione |
DAT 460f
DAT 465f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal to Practical Security -- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables -- Validating Integrity for the Ephemerizer’s Protocol with CL-Atse -- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols -- Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin -- Comparing State Spaces in Automatic Security Protocol Analysis -- Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy Signatures -- Unconditionally Secure Blind Authentication Codes: The Model, Constructions, and Links to Commitment -- New Anonymity Notions for Identity-Based Encryption -- Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption -- Writing an OS Kernel in a Strictly and Statically Typed Language. |
| Record Nr. | UNISA-996466267503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||