AOP Extension for Security Testing of Programs.
Nadia BelblidiaMourad DebbabiAiman HannaZhenrong YangPublished in: CCECE (2006)
Keyphrases
- security policies
- access control
- information security
- security requirements
- symbolic execution
- security issues
- security management
- security mechanisms
- intrusion detection
- security systems
- network security
- security measures
- security analysis
- fault injection
- distributed systems
- statistical databases
- database systems
- security threats
- concurrent programs
- security vulnerabilities
- information assurance
- computer security
- penetration testing
- malware detection
- security properties
- fixpoint
- anomaly detection
- source code