From Erights

Jump to: navigation, search

What is Scoll (and Scollar) ?

Scoll is a tool-based approach to help design and develop secure programs. It involves:

  • a declarative language to express safety problems that are relevant to software developers: "Safe collaboration language".
  • a tool to solve these problems: Scollar
  • a datalog based formalism "KBM" (Knowledge Behavior Models) gives Scoll its formal semantics

Scoll is an Open Source Project

The home page of the Scoll Project

Publications on Scoll

Personal tools
more tools