Reasoning about Dynamic Policies

@inproceedings{Pucella2004ReasoningAD,
  title={Reasoning about Dynamic Policies},
  author={Riccardo Pucella and Vicky Weissman},
  booktitle={FoSSaCS},
  year={2004}
}
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the welcome page. To decide whether or not to permit this, the wise manager will consider the consequences of modifying the policies (e.g., would this allow users to bypass advertisements and legal notices?). Similiarly, people often need to compare policy sets. For example, consider a person who wants to buy health… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 26 extracted citations

Reasoning About Permitted Announcements

J. Philosophical Logic • 2011
View 5 Excerpts
Highly Influenced

A logic for state-modifying authorization policies

ACM Trans. Inf. Syst. Secur. • 2010
View 5 Excerpts
Highly Influenced

Applied dynamic policy selection

2016 IEEE Conference on Communications and Network Security (CNS) • 2016
View 2 Excerpts

Normative Multi-Agent Systems

Guido Governatori Pablo Noriega Leendert W. N. van der Torre
Normative Multi-Agent Systems • 2013

References

Publications referenced by this paper.
Showing 1-10 of 31 references

The Dynamic Logic of Permission

LICS • 1990
View 4 Excerpts
Highly Influenced

Dynamic logic

SIGACT News • 2001
View 16 Excerpts
Highly Influenced

Process logic

V. Pratt
In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages , pages 93–100. ACM Press, • 1979
View 15 Excerpts
Highly Influenced

Using First-Order Logic to Reason about Policies

ACM Trans. Inf. Syst. Secur. • 2003
View 2 Excerpts

and J

N. Li, B. N. Grosof
Feigenbaum. Delegation Logic: A logic-based approach to distributed authorization.ACM Transaction on Information and System Security (TISSEC) , 6(1):128–171, • 2003
View 1 Excerpt

Binder, a Logic-Based Security Language

IEEE Symposium on Security and Privacy • 2002
View 1 Excerpt

Similar Papers

Loading similar papers…