Runtime Verification of Linux Kernel Security Module.
Denis EfremovIlya V. ShchepetkovPublished in: FM Workshops (2) (2019)
Keyphrases
- linux kernel
- high security
- operating system
- software systems
- high assurance
- java card
- integrity verification
- source code
- cryptographic protocols
- verification method
- security policies
- intrusion detection
- security requirements
- network security
- information security
- access control
- security analysis
- clone detection
- software evolution
- file system
- model checking
- statistical databases
- image encryption
- security systems
- security issues
- key management
- open source
- security level
- security mechanisms
- case study
- reverse engineering
- software engineering
- cooperative