Martin Farkas

A Prolog-based Approach to Self-Evaluated, Declarative and Zero-Knowledge Verifiable Policies

2024

In most domains where declarative policies are employed, it is typically the executor of the policy who performs policy evaluation, and not the subjects of policies. However, this approach has evident drawbacks from the trust, …