AutoISES: Automatically Inferring Security Specification and Detecting Violations.
Lin TanXiaolan ZhangXiao MaWeiwei XiongYuanyuan ZhouPublished in: USENIX Security Symposium (2008)
Keyphrases
- intrusion detection
- information security
- automatically generated
- security requirements
- security policies
- statistical databases
- case study
- security problems
- access control
- user defined
- security issues
- information assurance
- security management
- data security
- specification language
- formal specification
- wireless sensor networks
- database systems
- high level