Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.
Sander HuyghebaertSteven KeuchelCoen De RooverDominique DevriesePublished in: CCS (2023)
Keyphrases
- computer security
- information security
- security issues
- access control
- statistical databases
- security requirements
- security management
- network security
- security policies
- decision making
- security model
- theoretical guarantees
- smart card
- intrusion detection
- low cost
- data sets
- biometric systems
- functional requirements
- security mechanisms
- data security
- security problems
- security vulnerabilities