Pinned Repositories
vgupe2020
VGU Programming Exercise 2020
datamodel
A parser from JSON representation to Java object of Datamodel
OCL2PSQL
OCL2PSQL is an open source library that parses an OCL expression and translate it into a pure SQL select statement.
securitymodel
A parser from JSON representation to Java object of Security model
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
jeeves
Python implementation of the Jeeves programming language.
MDS-SQLSI
Low-code approach for generating SQL authorization functions and secured stored-procedures from SecureUML security models
minitwit
A tiny sample Flask app featuring a database and user accounts
npbhoang.github.io
revizor-artifact
Revizor's artifact evaluation submission
npbhoang's Repositories
npbhoang/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
npbhoang/jeeves
Python implementation of the Jeeves programming language.
npbhoang/MDS-SQLSI
Low-code approach for generating SQL authorization functions and secured stored-procedures from SecureUML security models
npbhoang/minitwit
A tiny sample Flask app featuring a database and user accounts
npbhoang/npbhoang.github.io
npbhoang/revizor-artifact
Revizor's artifact evaluation submission