Popular repositories Loading

1. secommunity secommunity Public

   A collection of tools that can be used to define distributed access control policies using an extension of the Answer Set Programming system DLV. In particular, several external predicates were dev…

   C++ 2

2. random-attack random-attack Public

   Consensus in asynchronous networks with random faults.

   1

3. delegation2spass delegation2spass Public

   A reducer and translator for a set of complete reduction axioms. Simplifies dynamic formulae for a delegation/revocation logic and converts them into propositional logic expressed in DFG syntax.

   Scheme 1

4. acl-lean acl-lean Public

   A theorem prover for propositional access control logic with "says" operator. Implements Seq-ACL, an analytic labeled sequent calculus for access control logic along with an automatic generation of…

   Prolog 1

5. seq-acl seq-acl Public

   A decidable theorem prover for the modal access control logic "ACL+". Implements an analytic labeled sequent calculus for access control logic along with an automatic generation of human-readable p…

   Prolog 1

6. nesy nesy Public

   Neural-Symbolic Rule-Based Monitoring.

   Prolog 1