modelsvgu Goto Github PK

.github

datamodel

A parser from JSON representation to Java object of Datamodel

fgaco

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.

javaocl

A representation of OCL expression in Java.

jsqlparser-xtend

An extension of JSQLParser library

modelsvgu.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

ocl2msfol

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

ocl2psql

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

oclsql-artifacts

This repository stores the artifacts for the manuscript "Proving correctness for SQL implementations of OCL constraints"

oclsqlprover

A prototype for our formal methodology of proving correctness for SQL implementations of OCL constraints.

securitymodel

A parser from JSON representation to Java object of Security model

sql2msfol

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

sqlsi

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