Symmetric key-based authenticated encryption protocol

Authenticated Encryption (AE)–is a block cipher mode of operation protocol which gives privacy, integrity, and authenticity confirmations on the data at the same time; incorporating decryption in a single step with an integrity check. The requirement for AE has risen out of the perception that safely integrating a confidentiality feature with an authentication feature could be error-prone and troublesome. It is confirmed by various practical assaults brought into the creation of authentication protocols and applications by wrong execution or lack of authentication. It is a challenge to design and develop such a kind of AE protocols which compromises authenticity and confidentiality with all possibly provable security notions. In this paper, we have developed a symmetric-key based fast, efficient, and secure AE protocol. Our protocol meets the objectives of distinguishing authentication, mutual authentication while guaranteeing data integrity, confidentiality, authenticity and secure key sharing between involved parties. We have used ProVerif to verify our proposed protocol formally and found it to be provably safe on all the standard tests.