Keyphrases
- theorem prover
- natural deduction
- theorem proving
- first order logic
- inference rules
- higher order logic
- security requirements
- security analysis
- lightweight
- formal methods
- standard model
- real time
- database
- model checking
- database systems
- highly efficient
- neural network
- multi party
- key distribution
- authentication scheme
- diffie hellman