Reasoning about Concurrency for Security Tunnels.
Alwyn GoodloeCarl A. GunterPublished in: CSF (2007)
Keyphrases
- intrusion detection
- access control
- security issues
- information security
- concurrency control
- database systems
- security mechanisms
- security policies
- security level
- functional requirements
- security requirements
- spatial reasoning
- formal theory
- security management
- data flow
- transaction processing
- network security
- security measures
- key management
- malware detection
- data sets
- information assurance
- security threats
- security problems
- security vulnerabilities
- security properties
- security model
- security protocols
- qualitative reasoning
- statistical databases
- distributed databases
- distributed systems
- wireless sensor networks
- data model
- data mining