Improving the Semantics of Imperfect Security.
Niklas BrobergDavid SandsPublished in: ARSPA-WITS (2009)
Keyphrases
- information security
- network security
- formal semantics
- computer security
- access control
- security systems
- key management
- security issues
- security mechanisms
- security management
- intrusion detection
- semantic information
- security policies
- data sets
- data security
- security problems
- java card
- security requirements
- security measures
- information assurance
- functional requirements
- sensitive data
- default reasoning
- rfid tags
- statistical databases
- logic programming
- e government
- metadata