Deciding Knowledge in Security Protocols Under Some E-Voting Theories

RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita/2011119
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EDP Sciences

Related search

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice

2018English

Cloud Database Security in E-Voting System Using Blockchain Technology

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2020English

Cryptographic Protocols for Electronic Voting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Analyzing Internet Voting Security

Communications of the ACM
Computer Science
2004English

Online Voting Still Security Pipedream

Communications of the ACM
Computer Science
2019English

Verification of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Analyzing Internet Security Protocols

English

Verification of Security Protocols

English

Security Considerations for Remote Electronic Voting

Communications of the ACM
Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy