On Improving the Security of Logic Locking.
Muhammad YasinJeyavijayan (JV) RajendranOzgur SinanogluRamesh KarriPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2016)
Keyphrases
- access control
- information security
- modal logic
- security issues
- logic programming
- database systems
- concurrency control
- intrusion detection
- security policies
- security requirements
- automated reasoning
- security mechanisms
- classical logic
- database
- computer security
- security management
- asynchronous circuits
- security properties
- security level
- predicate logic
- security model
- cyber security
- security protocols
- multi valued