A Formal Security Model for Microprocessor Hardware.
Volkmar LotzVolker KesslerGeorg WalterPublished in: IEEE Trans. Software Eng. (2000)
Keyphrases
- security model
- access control
- ibm zenterprise
- public key
- security analysis
- circuit design
- security requirements
- low cost
- instruction set
- floating point arithmetic
- floating point
- real time
- provably secure
- memory subsystem
- computer systems
- processor core
- designated verifier
- ibm power processor
- encryption scheme
- formal model
- cost effective
- similarity measure