Formal Verification of OS Security Model with Alloy and Event-B.
Petr N. DevyaninAlexey V. KhoroshilovVictor V. KuliaminAlexander K. PetrenkoIlya V. ShchepetkovPublished in: ABZ (2014)
Keyphrases
- formal verification
- security model
- model checking
- public key
- access control
- security requirements
- security analysis
- operating system
- model checker
- bounded model checking
- automated verification
- provably secure
- open source
- symbolic model checking
- temporal logic
- public key cryptography
- data mining
- authentication and key agreement
- low cost