A Novel Chaotic Image Encryption Algorithm Based on Propositional Logic Coding.
Haiping ChangErfu WangJia LiuPublished in: Int. J. Bifurc. Chaos (2023)
Keyphrases
- propositional logic
- image encryption algorithm
- image encryption
- chaotic maps
- first order logic
- chaotic systems
- belief revision
- quantified boolean formulae
- s box
- lattice theory
- horn logic
- propositional satisfiability
- image encryption scheme
- satisfiability testing
- belief change
- artificial intelligence
- knowledge base
- propositional formulas
- normal form