Tu-vera: An Encryption Algorithm Using Propositional Logic Calculus.
Maria Vargas-VeraPublished in: Int. J. Smart Educ. Urban Soc. (2018)
Keyphrases
- propositional logic
- encryption algorithm
- proof procedure
- encryption algorithms
- security analysis
- pseudorandom
- first order logic
- belief revision
- quantified boolean formulae
- digital content
- data encryption
- chaotic maps
- encryption scheme
- lattice theory
- propositional satisfiability
- belief change
- database
- horn logic
- relational calculus
- propositional formulas
- database systems
- s box
- satisfiability testing
- relational algebra
- natural language
- machine learning