A Policy-Oriented Language for Expressing Security Specifications.
Carlos RibeiroPaulo FerreiraPublished in: Int. J. Netw. Secur. (2007)
Keyphrases
- specification language
- formal language
- functional requirements
- oriented programming
- operational semantics
- information security
- intrusion detection
- programming language
- security policies
- access control policies
- language learning
- access control
- security issues
- natural language
- semantic constraints
- data security
- formal descriptions
- security requirements
- modeling language
- optimal policy
- action selection
- sensitive data
- security mechanisms
- statistical databases
- information flow
- network security
- distributed systems
- wireless sensor networks
- trust negotiation
- high level
- protocol specification
- policy enforcement