Compositional Security-Preserving Refinement for Concurrent Imperative Programs.
Toby C. MurrayRobert SisonEdward PierzchalskiChristine RizkallahPublished in: Arch. Formal Proofs (2016)
Keyphrases
- imperative programs
- intrusion detection
- information security
- access control
- security policies
- security issues
- network security
- security mechanisms
- computer security
- security level
- dynamic logic
- security requirements
- security protocols
- security analysis
- security systems
- spatial information
- anomaly detection
- statistical databases
- high level