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

DOI10.1007/S11432-011-4426-1MaRDI QIDQ439715zbMATH OpenOpenAlexWikidataFDO

Authors Yibao Bao, Lihua Yin, Binxing Fang

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

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)

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

Cites work

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

Cited in

(3)

• Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
• Automated enforcement for relaxed information release with reference points
• An optimized approach for resolving policy inconsistency conflicts

Describes a project that uses

Uses Software

• Binder
• DKAL
• Smodels
• SPIN

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)