Quantum States and Disjunctive Attacks in Talmudic Logic.
Michael AbrahamIsrael BelferUri J. SchildDov M. GabbayPublished in: FLAP (2016)
Keyphrases
- quantum computation
- logic circuits
- modal logic
- logic synthesis
- quantum inspired
- multi valued
- security mechanisms
- quantum computing
- malicious attacks
- logic programming
- malicious users
- countermeasures
- denial of service attacks
- predicate logic
- state transition
- state transitions
- security protocols
- deontic logic
- traffic analysis
- proof theory
- logical framework
- automated reasoning