Hoang Nguyen Phuoc Bao

11 papers A* 1A 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Model-driven Privacy.
Proc. Priv. Enhancing Technol.
Srdan Krstic, Hoang Nguyen Phuoc Bao, David A. Basin
2024 J jnl
Proving correctness for SQL implementations of OCL constraints.
CoRR
Hoang Nguyen Phuoc Bao, Manuel Clavel
2023 A conf
An extended model-based characterization of fine-grained access control for SQL queries.
MODELS
Hoang Nguyen Phuoc Bao, Manuel Clavel
2023 A* conf
Is Modeling Access Control Worth It?
CCS
David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen Phuoc Bao, Martín Ochoa
2022 J jnl
Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach.
CoRR
Hoang Nguyen Phuoc Bao, Manuel Clavel
2021 J jnl
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries.
SN Comput. Sci.
Hoang Nguyen Phuoc Bao, Manuel Clavel
2021 — conf
The TTC 2021 OCL2PSQL case.
TTC/
Hoang Nguyen Phuoc Bao, Antonio García-Domínguez, Manuel Clavel
2020 — conf
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries.
FDSE
Hoang Nguyen Phuoc Bao, Manuel Clavel
2020 J jnl
Model-based Characterization of fine-grained Access Control Authorization for SQL Queries.
J. Object Technol.
Hoang Nguyen Phuoc Bao, Manuel Clavel
2019 — conf
Mapping OCL into SQL: Challenges and Opportunities Ahead.
OCL@MoDELS
Manuel Clavel, Hoang Nguyen Phuoc Bao
2019 — conf
OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering.
FDSE
Hoang Nguyen Phuoc Bao, Manuel Clavel