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

Martin Farkas, Balzs dm Toldi, Bertalan Zoltn Pter, Imre Kocsis

Browse the full MASCOTS paper archive.