Novel Encryption and Decryption Technique Using ATP & New Sequent Rules in Three Variables

Abstract

The act of safeguarding digital information from unauthorized access, corruption or theft is called Data Security. The secured encryption and decryption method gives more security from unauthorized access. Here we developed a new Encryption and Decryption technique using ATP (Automatic Theorem Proving) and new antecedent & consequent rules in three variables assigned with conversion systems. As it involves various degrees of encryptions and decryptions, the security is more and this technique is infeasible to attacks.