A Declarative Framework for Security: Secure Concurrent Constraint Programming.
Hugo A. LópezCatuscia PalamidessiJorge Andrés PérezCamilo RuedaFrank D. ValenciaPublished in: ICLP (2006)
Keyphrases
- constraint programming
- pattern set mining
- constraint satisfaction problems
- combinatorial problems
- security requirements
- constraint satisfaction
- constraint propagation
- integer programming
- global constraints
- constraint based pattern mining
- key management
- data mining
- search strategies
- security mechanisms
- security level
- security issues
- optimization problems
- search space
- security protocols
- search heuristics
- symmetry breaking
- reinforcement learning
- genetic algorithm