Title :
Automated security proof of the ElGamal encryption scheme
Author :
Chen Nan ; Li Anle ; Gu Chunxiang ; Zhu Yuefei
Author_Institution :
Zhengzhou Inst. of Inf. Sci. & Technol., Zhengzhou, China
Abstract :
Provable security is one of the important techniques for analyzing the security of the cryptographic protocols, while manual proof is difficult and hard to estimate. Automatical proof with the help of the computers is a hot spot. We designed a tool which can satisfy much more cryptographic protocols for the automatical proof. This paper introduced the framework of the attack game and then two examples was given. We used our tool to prove the semantic security of the encryption scheme ElGamal and its hashed version.
Keywords :
cryptographic protocols; ElGamal encryption scheme; attack game; automated security proof; cryptographic protocol; hashed version; Application software; Computational intelligence; Computational modeling; Cryptographic protocols; Information analysis; Information science; Information security; Manuals; Mathematical model; Public key cryptography; ElGamal; attack game; automatic; provable security;
Conference_Titel :
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5821-9
DOI :
10.1109/ICFCC.2010.5497804
