Universal concurrent constraint programing: symbolic semantics and applications to security.
Carlos OlarteFrank D. ValenciaPublished in: SAC (2008)
Keyphrases
- intrusion detection
- semantic information
- information security
- network security
- formal semantics
- constraint language
- access control
- logic programming
- security requirements
- high level
- security problems
- computer security
- statistical databases
- security policies
- security issues
- security systems
- finite domain
- security measures
- symbolic representation
- integrity constraints
- knowledge base