scientific article; zbMATH DE number 1954103

MaRDI QIDQ4415096zbMATH OpenFDO

Authors Ninghui Li, John Mitchell

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2562/25620058.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Information Security and Privacy
• Beyond proof-of-compliance: security analysis in trust management
• scientific article; zbMATH DE number 2089748
• Logic Programming
• Analysis of dynamic policies

Cited in

(14)

• Fibred security language
• Analysis of dynamic policies
• Access control in a core calculus of dependency
• scientific article; zbMATH DE number 2089748 (Why is no real title available?)
• Component-Based Security Policy Design with Colored Petri Nets
• Logic in Access Control (Tutorial Notes)
• Beyond proof-of-compliance: security analysis in trust management
• A framework for modular ERDF ontologies
• Core TuLiP Logic Programming for Trust Management
• On the verification of security-aware E-services
• Logic Programming
• Information Security and Privacy
• A linear logic of authorization and knowledge
• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials

Describes a project that uses

Uses Software

• Datalog
• XSB

This page was built for publication:

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