Towards Practical Reactive Security Audit Using Extended Static Checkers.
Julien VanegueShuvendu K. LahiriPublished in: IEEE Symposium on Security and Privacy (2013)
Keyphrases
- intrusion detection
- security systems
- network security
- information assurance
- access control
- security issues
- security threats
- security policies
- information security
- data sets
- information flow
- database
- encryption scheme
- security mechanisms
- computer security
- cyber security
- data security
- website
- security problems
- real world