Policy Language

Full Title or Meme

A description of the syntax and semantics of a machine-readable language to enable access decisions.

Context

There are two broad areas of policy:

1. Business rules
2. Government Legislations and Regulation

One area that is not covered here is moral rules of expected behavior. That is addressed in the page on Conduct Risk.

Existing Languages

These are all written by geeks, and for geeks. What is needed is some policy that works in a real-world user journey. In other words, the user needs to be able to understand what is expected and when.

Open Policy Agent

OPA, the Open Policy Agent

• Declarative. Express policy in a high-level, declarative Policy Language that promotes safe, performant, fine-grained controls. Use a language purpose-built for policy in a world where JSON is pervasive. Iterate, traverse hierarchies, and apply 150+ built-ins like string manipulation and JWT decoding to declare the policies you want enforced.
• Context-aware. Leverage external information to write the policies you really care about. Stop inventing roles that represent complex relationships that years down the road no one will understand. Instead, write logic that adapts to the world around it and attach that logic to the systems that need it.

Cardea

They have been working with the government of Aruba and come up with the most through look at the problem in 2022. The have picked the unfortunate name of Machine Readable Governance, but it really is a description of the government's policy. Unfortunately, it might change daily and does not meet the requirement of testing by the user and remaining valid for even the duration of a flight from the US to the island.

• Machine Readable Governance. A JWT with a mishmash of different levels of abstraction from human readable questions to access policy.
• Cardea on GitHub.

XACML

• XACML 3.0 core spec.
• This spec is written in XML with no regard of size of the message. XML can easily be converted to json and this is the spec that describes that process.
• While it is oriented to an overly complex structure using monolithic designs, it has well-thought-out elements that should remain useful in the domain where it was applied. It is less useful in new areas like application of areas like COVID Vaccination.
• A lot of the language used below is taken from the XACML spec. For example:
  • PDP = policy definition point
  • PEP = policy execution point

LegalRuleML

Is an OASIS spec that attempts to turn law into machine readable format. This wiki page is focused more on the application of the policy to access control.

• Converting law, written in English (in the US) to a policy to be applied for access control is insanely difficult. Typically the programmer will be given a design document that is coded and ship before the lawyers are asked to adjudicate some discrepancy. Trying to engage the lawyers at the start of the process might sound better, unless you were a program manager with a schedule to keep. And a policy is a basically a programmer's view of the policy in the spec. The likelihood of error is close to one.

• Adam Wyner commented:

It is very welcome to see a discussion in the ACM about artificial intelligence/computer science applied to law. Applications to tax go all the way back to 1977 with the Taxman system and subsequent work:
https://www.jstor.org/stable/1340132
Further work on AI and Law can be found on the International Association for Artificial Intelligence and Law:
http://www.iaail.org/
and the Journal of Artificial Intelligence and Law:
https://www.springer.com/journal/10506

Drools

• Supposedly this is open, which apparently applies to the java code implementation which is at the following site.
• Drools documentation.
• "Drools is Rule Engine or a Production Rule System that uses the rule-based approach to implement and Expert System. Expert Systems are knowledge-based systems that use knowledge representation to process acquired knowledge into a knowledge base that can be used for reasoning."
• The rules supported by Drools look a lot like a domain specific programming language, not a business rules language.

HL7 CQL

• Clinical Quality Language (CQL) is a high-level, domain-specific language focused on clinical quality and targeted at measure and decision support artifact authors.
• In addition, this specification describes a machine-readable canonical representation called Expression Logical Model (ELM) targeted at implementations and designed to enable sharing of clinical knowledge.

Microsoft ADMX Group Policy Language

• Managing Group Policy ADMX Files Step-by-Step Guide

Current Activity

IETF

The first attempt at A Policy Framework Charter (2004-11-05) expired over a decade ago.