Counterfactually reasoning about security.
Manuel PeraltaSupratik MukhopadhyayRamesh BharadwajPublished in: SIN (2011)
Keyphrases
- information security
- intrusion detection
- security issues
- security requirements
- access control
- security policies
- information assurance
- formal theory
- security systems
- data security
- qualitative reasoning
- security threats
- computer security
- statistical databases
- neural network
- database
- encryption scheme
- spatial reasoning
- data integrity
- multi agent systems
- user authentication
- security properties
- security problems
- database systems
- security measures
- databases