upf

Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).

https://github.com/logicalhacking/upf

Science Score: 31.0%

This score indicates how likely this project is to be science-related based on various indicators:

✓
CITATION.cff file
Found CITATION.cff file
✓
codemeta.json file
Found codemeta.json file
○
.zenodo.json file
○
DOI references
○
Academic publication links
○
Academic email domains
○
Institutional organization owner
○
JOSS paper metadata
○
Scientific vocabulary similarity
Low similarity (4.9%) to scientific vocabulary

Keywords

access-control afp isabelle-hol policy-framework

Last synced: 6 months ago · JSON representation ·

Repository

Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).

Basic Info

Host: GitHub
Owner: logicalhacking
License: other
Language: Isabelle
Default Branch: main
Size: 91.8 KB

Statistics

Stars: 0
Watchers: 3
Forks: 0
Open Issues: 0
Releases: 0

Topics

access-control afp isabelle-hol policy-framework

Created about 9 years ago · Last pushed almost 4 years ago

Metadata Files

Readme License Citation

README.md

The Unified Policy Framework (UPF)

This git repository contains a local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).

The official AFP releases are tagged. Additionally, this repository may contain extensions (i.e., a development version) that may be submitted (as an update of the UPF entry) at a later stage.

Installation

console achim@logicalhacking:~$ isabelle build -D UPF

Authors

License

This project is licensed under a 3-clause BSD-style license.

SPDX-License-Identifier: BSD-3-Clause

Upstream Repository

The upstream git repository, i.e., the single source of truth, for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/afp-mirror/UPF.

Publications

Achim D. Brucker, Lukas Brügger, and Burkhart Wolff. The Unified Policy Framework (UPF). In Archive of Formal Proofs, 2014. http://www.isa-afp.org/entries/UPF.shtml, Formal proof development

Owner

Name: Software Assurance & Security Research Team
Login: logicalhacking
Kind: organization
Email: adbrucker@0x5f.org
Location: Exeter, UK

Website: https://logicalhacking.com
Twitter: logicalhacking
Repositories: 6
Profile: https://github.com/logicalhacking

Git mirror of the Software Assurance & Security Research Team at the University of Exeter, UK. The team is headed by Achim D. Brucker (@adbrucker).

Citation (CITATION)

To cite the use of this formal theory, please use

  Achim D. Brucker, Lukas Brügger, and Burkhart Wolff. The Unified
  Policy Framework (UPF). In Archive of Formal
  Proofs, 2014. http://www.isa-afp.org/entries/UPF.shtml, Formal proof
  development

A BibTeX entry for LaTeX users is
@Article{ brucker.ea:upf:2014,
       abstract = {We present the Unified Policy Framework (UPF), a
                   generic framework for modelling security
                   (access-control) policies. UPF emphasizes the view
                   that a policy is a policy decision function that
                   grants or denies access to resources, permissions,
                   etc. In other words, instead of modelling the
                   relations of permitted or prohibited requests
                   directly, we model the concrete function that
                   implements the policy decision point in a
                   system. In more detail, UPF is based on the
                   following four principles: 1) Functional
                   representation of policies, 2) No conflicts are
                   possible, 3) Three-valued decision type (allow,
                   deny, undefined), 4) Output type not containing the
                   decision only.},
        author	= 	{Achim D. Brucker and Lukas Br{\"u}gger and Burkhart Wolff},
	date	= 	{2014-11-28},
	file	= 	{https://www.brucker.ch/bibliography/download/2014/brucker.ea-upf-outline-2014.pdf},
	filelabel	= 	{Outline},
	issn	= 	{2150-914x},
	journal	= 	{Archive of Formal Proofs},
	month	= 	{sep},
	note	= 	{\url{http://www.isa-afp.org/entries/UPF.shtml}, Formal proof development},
	pdf	= 	{https://www.brucker.ch/bibliography/download/2014/brucker.ea-upf-2014.pdf},
	title	= 	{The Unified Policy Framework (UPF)},
	url	= 	{https://www.brucker.ch/bibliography/abstract/brucker.ea-upf-2014},
	year	= 	{2014},
}

GitHub Events

Total

Last Year

Issues and Pull Requests

Last synced: 12 months ago

All Time

Total issues: 0
Total pull requests: 0
Average time to close issues: N/A
Average time to close pull requests: N/A
Total issue authors: 0
Total pull request authors: 0
Average comments per issue: 0
Average comments per pull request: 0
Merged pull requests: 0
Bot issues: 0
Bot pull requests: 0

Past Year

Issues: 0
Pull requests: 0
Average time to close issues: N/A
Average time to close pull requests: N/A
Issue authors: 0
Pull request authors: 0
Average comments per issue: 0
Average comments per pull request: 0
Merged pull requests: 0
Bot issues: 0
Bot pull requests: 0

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

upf