Our main research focuses on model-driven methodology with the emphasis on security.
In particular, we are developing a novel model-driven approach for enforcing Fine-Grained Access Control policies in Data-centric applications.
| Artifacts and Tools | Maven Central |
|---|---|
| Datamodel |  |
| Securitymodel |  |
| JavaOCL |  |
| OCL2PSQL |  |
| SQLSI |  |
| OCL2MSFOL |  |
| SQL2MSFOL |  |
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.
SQLSI (SQL Security Injector) is an open source application that automatically injects SQL Authorization Checks into given SQL select statement.
A prototype for our formal methodology of proving correctness for SQL implementations of OCL constraints.
This repository stores the artifacts for the manuscript "Proving correctness for SQL implementations of OCL constraints"
SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).
OCL2PSQL is an open source library that parses an OCL expression and translate it into a pure SQL select statement.
OCL2MSFOL is an implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…
Loading…