A Formal Security Model for Microprocessor Hardware.
Volkmar LotzVolker KesslerGeorg WalterPublished in: World Congress on Formal Methods (1999)
Keyphrases
- security model
- circuit design
- public key
- security analysis
- access control
- ibm zenterprise
- security requirements
- instruction set
- low cost
- real time
- computer systems
- provably secure
- designated verifier
- memory subsystem
- formal model
- floating point
- databases
- encryption scheme
- high dimensional data
- image quality
- public key cryptography
- wavelet transform
- information systems
- data mining
- ibm power processor
- floating point arithmetic
- silicon on insulator