Coinductive Unwinding of Security-Relevant Hyperproperties.
Dimiter MilushevDave ClarkePublished in: NordSec (2012)
Keyphrases
- security issues
- information security
- closely related
- security problems
- intrusion detection
- security vulnerabilities
- security analysis
- security policies
- website
- security requirements
- security mechanisms
- computer security
- data mining
- databases
- security threats
- neural network
- malware detection
- security level
- security systems
- data security
- cyber security
- security protocols
- anomaly detection
- genetic algorithm
- risk assessment
- case study
- access control