Artifacts

Datamodel  

A datamodel Java component that parses JSON object into Java object and generate MySQL schema correspond to the data model.

Securitymodel  

A security model Java component that takes a security model in JSON representation and returns a security model Java object with helpers and utilities.

JavaOCL  

A light-weight parser of OCL expression in Java.

OCL2PSQL  

OCL2PSQL is an open source library that parses an OCL expression and translate it into a pure SQL select statement.

SQLSI  

SQLSI (SQL Security Injector) is an open source application that automatically injects SQL Authorization Checks into given SQL select statement.

FGACO  

FGACO: the FGAC-Optimizer tool --- A Many-Sorted First-order Logic Theory generation for checking the necessity of authorization checks in enforcing Fine-Grained Access Control using SQL Security Injector.

OCL2MSFOL  

OCL2MSFOL is an implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).

SQL2MSFOL  

SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).

OCLmetamodel  

A lightweight ecore model for OCL expression.

SQLmetamodel  

A lightweight ecore model for SQL select statement.