Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.
Sander HuyghebaertSteven KeuchelCoen De RooverDominique DevriesePublished in: CoRR (2023)
Keyphrases
- access control
- computer security
- information security
- security issues
- security requirements
- network security
- intrusion detection
- security policies
- security management
- security systems
- statistical databases
- model checking
- supply chain
- cyber security
- data security
- data mining
- security level
- security problems
- security threats
- data sets