Reasoning about Security Policies of Services Using Answer Set Programming.
Vernon AsuncionKhaled M. KhanAbdelkarim ErradiSaleh AlhazbiPublished in: IEEE SCC (2014)
Keyphrases
- answer set programming
- security policies
- logic programs
- answer sets
- access control
- logic programming
- access control mechanism
- security management
- network security
- constraint logic programming
- causal theories
- answer set programs
- distributed systems
- stable model semantics
- security requirements
- access control systems
- haplotype inference
- access control policies
- disjunctive logic programming
- stable models
- information systems
- knowledge representation
- formal theory
- network traffic
- orders of magnitude