rispoli/seq-acl rispoli/seq-acl

  • Stars
    star
    1
  • Language
    Prolog
  • Created about 12 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rispoli/seq-acl
github

rispoli

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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 proofs.

More Repositories

1

secommunity

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 developed, which can be used via DLV-Complex, with the aim to query remote knowledge bases. A server that handles such queries using its own local DLV-Complex instance was also written in the context of this work.
C++
2
star
2

nesy

Neural-Symbolic Rule-Based Monitoring.
Prolog
1
star
3

delegation2spass

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
star
4

acl-lean

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 human-readable proofs. Main implementation in SWI-Prolog with translation to GNU-Prolog and relative C bindings provided.
Prolog
1
star
5

random-attack

Consensus in asynchronous networks with random faults.
1
star