Publication | Closed Access
Mobile Implementation and Formal Verification of an e-Voting System
11
Citations
10
References
2008
Year
Unknown Venue
Mobile SecurityEngineeringInformation SecurityVerificationFormal VerificationE-voting ProtocolElectronic VotingInternet Of ThingsSecure ProtocolAuthentication ProtocolLightweight Authentication MechanismData PrivacyMobile ComputingComputer ScienceData SecurityMobile Computing SystemCryptographyFormal MethodsMobile ImplementationSecurity Property
We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.
| Year | Citations | |
|---|---|---|
Page 1
Page 1