Analysis of dynamic policies

DOI10.1016/J.IC.2007.05.006zbMATH Open1146.68341OpenAlexW2012813819MaRDI QIDQ2482441FDOQ2482441

Authors: Yanyan Li 

Publication date: 16 April 2008

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2007.05.006

Recommendations

• Specifying and Reasoning About Dynamic Access-Control Policies
• Towards an Integrated Formal Analysis for Security and Trust
• Beyond proof-of-compliance: security analysis in trust management
• Dynamic intransitive noninterference revisited
• scientific article; zbMATH DE number 1107687

zbMATH Keywords

tree automatasecurity propertiesdynamic access control policiesfirst order CTLrole containmenttrust management systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computer system organization (68M99)

Cites Work

• A theory of timed automata
• Title not available (Why is that?)
• Deciding Equivalence of Finite Tree Automata
• Alternation
• Title not available (Why is that?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Beyond proof-of-compliance: security analysis in trust management
• Title not available (Why is that?)
• Flexible support for multiple access control policies

Cited In (17)

• Model checking agent knowledge in dynamic access control policies
• Specifying and Reasoning About Dynamic Access-Control Policies
• Dynamic analysis of two policy lags in a Kaldorian model
• Authorization and Obligation Policies in Dynamic Systems
• A framework for the analysis of self-confirming policies
• Refinement checking for privacy policies
• Title not available (Why is that?)
• Beyond proof-of-compliance: security analysis in trust management
• Title not available (Why is that?)
• Title not available (Why is that?)
• Efficiently Characterizing the Undefined Requests of a Rule-Based System
• Title not available (Why is that?)
• Policy analysis for administrative role-based access control
• A First-Order Policy Language for History-Based Transaction Monitoring
• Towards a conceptual structure for evaluating policy analytic activities.
• Applications and Theory of Petri Nets 2005
• Title not available (Why is that?)

This page was built for publication: Analysis of dynamic policies

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