A novel logic-based automatic approach to constructing compliant security policies

DOI10.1007/s11432-011-4426-1zbMath1245.68242WikidataQ109158059 ScholiaQ109158059MaRDI QIDQ439715

J. Herrera, H. S. Yoon

Publication date: 17 August 2012

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-011-4426-1

zbMATH Keywords

rewriting; compliance; logic program; security policy

Mathematics Subject Classification ID

03B70: Logic in computer science

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)

68Q55: Semantics in the theory of computing

Uses Software

• SPIN
• Smodels
• DKAL
• Binder