Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering.
Rosario GennaroAnna LysyanskayaTal MalkinSilvio MicaliTal RabinPublished in: TCC (2004)
Keyphrases
- theoretical foundation
- security properties
- security level
- intrusion detection
- access control
- information security
- statistical databases
- security requirements
- network security
- security issues
- trusted computing
- theoretical framework
- theorem prover
- security policies
- automated theorem proving
- authentication scheme
- protection scheme
- real time
- computer security
- hardware and software
- operating system
- low cost