On the Security of Nova Recursive Proof System.
Hyeonbum LeeJae Hong SeoPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- information security
- intrusion detection
- security issues
- computer security
- network security
- security policies
- security problems
- security requirements
- security systems
- security measures
- modal logic
- security properties
- access control
- security vulnerabilities
- security management
- security level
- data security
- security analysis
- encryption scheme
- functional requirements
- anomaly detection
- database