Model-driven approach enabling formalization and conformance testing of attribute-based access control policies for business processes

Duc Hieu Nguyen, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga. Model-driven approach enabling formalization and conformance testing of attribute-based access control policies for business processes. Journal of Computer Security, 34(4):261-300, 2026. [doi]

Abstract

Abstract is missing.