Security-Aware Resource Binding to Enhance Logic Obfuscation.
Michael ZuzakYuntao LiuAnkur SrivastavaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- malware detection
- logic programming
- information security
- resource allocation
- taking care
- cloud computing environment
- intrusion detection
- modal logic
- security problems
- computer security
- security policies
- access control
- security issues
- statistical databases
- reverse engineering
- security requirements
- cloud computing
- network security
- logical framework
- security analysis
- security mechanisms
- control flow
- functional requirements
- classical logic
- security systems
- security level
- resource management
- multi valued
- sensitive data
- multi agent systems