Analysis of dynamic policies

DOI10.1016/J.IC.2007.05.006MaRDI QIDQ2482441zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1954103 (Why is no real title available?)
• A theory of timed automata
• Alternation
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Beyond proof-of-compliance: security analysis in trust management
• Deciding Equivalence of Finite Tree Automata
• 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
• scientific article; zbMATH DE number 2089749 (Why is no real title available?)
• Beyond proof-of-compliance: security analysis in trust management
• scientific article; zbMATH DE number 1947526 (Why is no real title available?)
• scientific article; zbMATH DE number 1954103 (Why is no real title available?)
• Policy analysis for administrative role-based access control
• Efficiently Characterizing the Undefined Requests of a Rule-Based System
• scientific article; zbMATH DE number 1930751 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 2016057 (Why is no real title available?)

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)