Verifiable Security Templates for Hardware.
William L. HarrisonGerard AllweinPublished in: DATE (2020)
Keyphrases
- low cost
- real time
- random number generator
- information security
- network security
- access control
- intrusion detection
- computer security
- security requirements
- information assurance
- hardware and software
- statistical databases
- computer systems
- security mechanisms
- security problems
- security systems
- hardware design
- trusted computing
- security threats
- embedded systems
- functional requirements
- security issues
- hardware implementation
- cyber attacks
- security level
- security properties
- massively parallel
- network management
- sufficient conditions