Enabling Security Testing from Specification to Code.
Shane BracherPadmanabhan KrishnanPublished in: IFM (2005)
Keyphrases
- code generation
- unit testing
- formal verification
- fault injection
- intrusion detection
- test case generation
- software testing
- information security
- source code
- concurrent programs
- security requirements
- security issues
- security systems
- security level
- java card
- control flow
- network security
- access control
- key management
- security analysis
- model checking
- test cases
- protection scheme
- test driven development
- penetration testing
- high level
- cyber security
- data integrity
- functional requirements
- statistical databases
- formal specification
- anomaly detection
- security protocols
- security measures
- security vulnerabilities
- specification language
- tool suite
- test set
- database systems