Runtime Verification of Linux Kernel Security Module.
Denis EfremovIlya V. ShchepetkovPublished in: CoRR (2020)
Keyphrases
- linux kernel
- high security
- operating system
- software systems
- high assurance
- source code
- integrity verification
- clone detection
- verification method
- cryptographic protocols
- java card
- information security
- access control
- analysis tool
- security requirements
- security mechanisms
- statistical databases
- file system
- database
- protocol specification
- intrusion detection
- security systems
- security policies
- security issues
- security protocols
- security analysis
- network security
- image encryption
- software quality
- distributed systems
- open source
- reinforcement learning
- artificial intelligence
- real world