Title :
Analysis and implementation of public-key cryptosystem based on the Boolean satisfiability problem
Author_Institution :
Dept. of Inf. Technol., HELP Univ. Coll., Kuala Lumpur, Malaysia
Abstract :
The public-key cryptosystem analyzed in this paper uses Boolean expressions for encryption/decryption. The security of this algorithm is related to the difficulty of finding an assignment that satisfies a given set of Boolean expressions which is related to the well known clause satisfiability problem (CSAT). In this paper, we have discussed issues related to security and implementation of this public-key cryptosystem.
Keywords :
Boolean algebra; public key cryptography; Boolean satisfiability problem; clause satisfiability problem; encryption-decryption expressions; public-key cryptosystem; Boolean functions; Computer languages; Digital signatures; Educational institutions; Equations; Information analysis; Information security; Information technology; Public key; Public key cryptography; Algorithm; Boolean expressions; Public-key Cryptosystem; Security;
Conference_Titel :
Networks, 2005. Jointly held with the 2005 IEEE 7th Malaysia International Conference on Communication., 2005 13th IEEE International Conference on
Print_ISBN :
1-4244-0000-7
DOI :
10.1109/ICON.2005.1635594
