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

DOI10.1007/S11432-011-4426-1zbMATH Open1245.68242OpenAlexW2006342423WikidataQ109158059 ScholiaQ109158059MaRDI QIDQ439715FDOQ439715

Yibao Bao, Binxing Fang, Lihua Yin

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

Recommendations

• Formal enforcement of security policies on concurrent systems
• Logics in Artificial Intelligence
• Formal specification and validation of security policies
• A logic of access control
• Component-Based Security Policy Design with Colored Petri Nets

zbMATH Keywords

compliancerewritinglogic programsecurity policy

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
• Automated enforcement for relaxed information release with reference points

Uses Software

• SPIN
• Smodels
• DKAL
• Binder

This page was built for publication: A novel logic-based automatic approach to constructing compliant security policies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q439715)