Verification of elgamal algorithm cryptographic protocol using linear temporal logic

Author

Arpit ; Kumar, Ashwini

Author_Institution

Comput. Sci. Dept., Inst. of Eng. & Rural Technol., Prayag Allahabad, India

fYear

2011

fDate

26-28 July 2011

Firstpage

6662

Lastpage

6665

Abstract

Now a day the dependency on internet and on its based-embedded system increases, there is need of correctness of communication and reliability over network A small fault in system cause heavy loss. It mainly causes non reliable channel communication. Adherence of Frame work or model is based on validation of Public key encryption (PKE) communication protocol used between user and provider. Linear Temporal Logic (LTL) is the tool used for finite state model checking. Using LTL for ElGamal public key Encryption Protocol (EG-PKE) is easy to examine & verify the concurrent state transition of system. With the assist of recognize LTL Rule we try to find verification on a formulated transition system.

Keywords

cryptographic protocols; finite state machines; formal verification; public key cryptography; temporal logic; ElGamal algorithm cryptographic protocol verification; finite state model checking; framework adherence; linear temporal logic; model adherence; public key encryption communication protocol; Computational modeling; Encryption; Protocols; Public key; Safety; EG-PKE; ElGamal Protocol; ElGamal public key Encryption Protocol Introduction; LTL Transition System; Model checking; PKE; Temporal Logic; framework; public key encryption protocol;

fLanguage

English

Publisher

ieee

Conference_Titel

Multimedia Technology (ICMT), 2011 International Conference on

Conference_Location

Hangzhou

Print_ISBN

978-1-61284-771-9

Type

conf

DOI

10.1109/ICMT.2011.6002114

Filename

6002114