DocumentCode :
2909527
Title :
FOO e-voting protocol: Inductive analysis of the eligibility property
Author :
Miramirkhani, N.S. ; Jalili, Rasool ; Yarmohamadi, M.
fYear :
2012
fDate :
13-14 Sept. 2012
Firstpage :
128
Lastpage :
134
Abstract :
There are two main approaches in verifying security protocols: model checking and theorem proving. Inductive Method is one of the notable works based on pure theorem proving. Although there is no automatic tool to implement this method, it has been successful in analyzing many classic to real world protocols such as SET under an unlimited number of agents interleaving an infinite number of sessions. E-voting protocols are one of the challenging protocols that use different advanced security primitives and should guarantee various complicated security goals. Using the great potential of the Inductive Method in formalizing new concepts, we found the opportunity of analyzing these protocols by this method. We first extend the method to support two common security primitives (blind signature and bit commitment) used in some e-voting protocols such as FOO´92. Then we show that our extension is compatible with already defined elements of the Inductive Method and it also meets the desired requirements and behaviors. Using our formalizations, we model the e-voting protocol FOO´92. Moreover we specify the eligibility goal and prove by inductive analyses that the protocol guarantees this goal.
Keywords :
cryptographic protocols; formal verification; government data processing; theorem proving; FOO e-voting protocol; SET; eligibility property; inductive analysis; model checking; security goals; security primitives; security protocols; theorem proving; Authentication; Electronic voting; Encryption; Protocols; Servers; Inductive Method; e-voting; eligibility; formalization; theorem proving;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Security and Cryptology (ISCISC), 2012 9th International ISC Conference on
Conference_Location :
Tabriz
Print_ISBN :
978-1-4673-2387-1
Type :
conf
DOI :
10.1109/ISCISC.2012.6408206
Filename :
6408206
Link To Document :
بازگشت