Modelling and Verification of Security-Oriented Resource Partitioning Schemes.
Adwait GodboleLeiqi YeYatin A. ManerkarSanjit A. SeshiaPublished in: FMCAD (2023)
Keyphrases
- partitioning schemes
- high security
- integrity verification
- java card
- resource allocation
- information security
- access control
- intrusion detection
- network security
- cryptographic protocols
- query decomposition
- model checking
- security systems
- security policies
- security analysis
- security requirements
- security issues
- data mining
- case study
- security level
- databases
- cloud computing
- relational databases
- decision making