Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP). https://www.isa-afp.org/entries/UPF.shtml
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

CITATION 1.8KB

12345678910111213141516171819202122232425262728293031323334353637
  1. To cite the use of this formal theory, please use
  2. Achim D. Brucker, Lukas Brügger, and Burkhart Wolff. The Unified
  3. Policy Framework (UPF). In Archive of Formal
  4. Proofs, 2014. http://www.isa-afp.org/entries/UPF.shtml, Formal proof
  5. development
  6. A BibTeX entry for LaTeX users is
  7. @Article{ brucker.ea:upf:2014,
  8. abstract = {We present the Unified Policy Framework (UPF), a
  9. generic framework for modelling security
  10. (access-control) policies. UPF emphasizes the view
  11. that a policy is a policy decision function that
  12. grants or denies access to resources, permissions,
  13. etc. In other words, instead of modelling the
  14. relations of permitted or prohibited requests
  15. directly, we model the concrete function that
  16. implements the policy decision point in a
  17. system. In more detail, UPF is based on the
  18. following four principles: 1) Functional
  19. representation of policies, 2) No conflicts are
  20. possible, 3) Three-valued decision type (allow,
  21. deny, undefined), 4) Output type not containing the
  22. decision only.},
  23. author = {Achim D. Brucker and Lukas Br{\"u}gger and Burkhart Wolff},
  24. date = {2014-11-28},
  25. file = {https://www.brucker.ch/bibliography/download/2014/brucker.ea-upf-outline-2014.pdf},
  26. filelabel = {Outline},
  27. issn = {2150-914x},
  28. journal = {Archive of Formal Proofs},
  29. month = {sep},
  30. note = {\url{http://www.isa-afp.org/entries/UPF.shtml}, Formal proof development},
  31. pdf = {https://www.brucker.ch/bibliography/download/2014/brucker.ea-upf-2014.pdf},
  32. title = {The Unified Policy Framework (UPF)},
  33. url = {https://www.brucker.ch/bibliography/abstract/brucker.ea-upf-2014},
  34. year = {2014},
  35. }