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

DOI10.1007/s11432-011-4426-1zbMath1245.68242OpenAlexW2006342423WikidataQ109158059 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

rewritingcompliancelogic programsecurity policy

Mathematics Subject Classification ID

Logic in computer science (03B70) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Semantics in the theory of computing (68Q55)

Related Items

Automated enforcement for relaxed information release with reference points

Uses Software

• SPIN
• Smodels
• DKAL
• Binder

Cites Work

• Flexible support for multiple access control policies
• Specifying and Reasoning About Dynamic Access-Control Policies
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Protection in operating systems
• The well-founded semantics for general logic programs