Static and Dynamic Analysis of a Usage Control System
SACMAT 2024: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies,
2024 · doi: https://doi.org/10.1145/3649158.3657038
SACMAT 2024: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies,
2024 · doi: https://doi.org/10.1145/3649158.3657038