A relation calculus for reasoning about t-probing security.
Maria Chiara MolteniVittorio ZaccariaPublished in: J. Cryptogr. Eng. (2022)
Keyphrases
- elliptic curve
- key management
- security properties
- spatial reasoning
- relation algebra
- qualitative spatial reasoning
- qualitative reasoning
- qualitative spatial
- practical reasoning
- security requirements
- formal theory
- security threats
- security analysis
- security vulnerabilities
- neural network
- intrusion detection
- access control
- distributed systems
- data model
- information systems