A Security Assurance Framework Combining Formal Verification and Security Functional Testing.
Weiguang WangQingkai ZengAditya P. MathurPublished in: QSIC (2012)
Keyphrases
- formal verification
- information security
- intrusion detection
- security policies
- functional verification
- security level
- security issues
- statistical databases
- model checking
- information systems
- security analysis
- symbolic model checking
- network security
- security requirements
- trust management
- lightweight
- cryptographic protocols
- model checker
- access control