DocumentCode
519757
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
Volume
1
fYear
2010
fDate
21-24 May 2010
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-5821-9
Type
conf
DOI
10.1109/ICFCC.2010.5497804
Filename
5497804
Link To Document