Discover @rispoli Open Source projects

Daniele Rispoli (@rispoli)

rispoli

Stars
7
Global Rank 1,188,163 (Top 42 %)
Followers 4
Registered almost 12 years ago
Most used languages

Prolog
60.0 %

C++
20.0 %

Scheme
20.0 %

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.

nesy

Neural-Symbolic Rule-Based Monitoring.

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.

seq-acl

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.

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.

random-attack

Consensus in asynchronous networks with random faults.