Skip to content
@MoDELSVGU

Modeling_Lab

Model Driven Engineering Languages and System
README.md

VGU Modeling_Lab

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 Maven Central
Securitymodel Maven Central
JavaOCL Maven Central
OCL2PSQL Maven Central
SQLSI Maven Central
OCL2MSFOL Maven Central
SQL2MSFOL Maven Central

Pinned Loading

  1. OCL2PSQL OCL2PSQL Public

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

    Java 4 6

  2. SQLSI SQLSI Public

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

    Java

  3. FGACO FGACO Public

    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.

    Java

Repositories

Showing 10 of 13 repositories
  • SQLSI Public

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

    MoDELSVGU/SQLSI’s past year of commit activity
    Java 0 MIT 0 0 0 Updated Jul 13, 2024
  • OCLSQLProver Public

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

    MoDELSVGU/OCLSQLProver’s past year of commit activity
    SMT 0 0 0 0 Updated Mar 27, 2024
  • oclsql-artifacts Public

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

    MoDELSVGU/oclsql-artifacts’s past year of commit activity
    SMT 0 0 0 0 Updated Mar 27, 2024
  • .github Public
    MoDELSVGU/.github’s past year of commit activity
    0 0 0 0 Updated Jul 14, 2023
  • SQL2MSFOL Public

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

    MoDELSVGU/SQL2MSFOL’s past year of commit activity
    Java 0 0 0 0 Updated Jul 13, 2023
  • OCL2PSQL Public

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

    MoDELSVGU/OCL2PSQL’s past year of commit activity
    Java 4 Apache-2.0 6 2 0 Updated Jul 13, 2023
  • OCL2MSFOL Public

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

    MoDELSVGU/OCL2MSFOL’s past year of commit activity
    Java 0 0 0 0 Updated Jul 13, 2023
  • MoDELSVGU.github.io Public Forked from academicpages/academicpages.github.io

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

    MoDELSVGU/MoDELSVGU.github.io’s past year of commit activity
    HTML 0 MIT 40,927 0 0 Updated Jul 12, 2023
  • datamodel Public

    A parser from JSON representation to Java object of Datamodel

    MoDELSVGU/datamodel’s past year of commit activity
    Java 1 2 0 0 Updated Jul 12, 2023
  • JavaOCL Public

    A representation of OCL expression in Java.

    MoDELSVGU/JavaOCL’s past year of commit activity
    Java 0 MIT 3 0 0 Updated Jul 12, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…