Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?
Mina Soltani SiapoushJim Alves-FossPublished in: IEEE Access (2023)
Keyphrases
- formal verification
- model checking
- high security
- case study
- user interface
- real world
- symbolic model checking
- design process
- data integrity
- functional requirements
- functional verification
- design principles
- lessons learned
- object oriented
- security requirements
- software architecture
- secure communication
- intrusion detection
- knowledge based systems
- security concerns
- automated verification