Scollar

From Erights

(Difference between revisions)
Jump to: navigation, search

Latest revision as of 10:50, 31 May 2009

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