Cited By
View all- Sahoo SHalder RMondal S(2023)An Automated Policy Verification and Enforcement Framework for Ethereum Applications2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)10.1109/ICBC56567.2023.10174879(1-5)Online publication date: 1-May-2023
- Caserio CLonetti FMarchetti E(2022)A Formal Validation Approach for XACML 3.0 Access Control PolicySensors10.3390/s2208298422:8(2984)Online publication date: 13-Apr-2022
- Zahoor EIkram AAkhtar SPerrin O(2022)A Formal Approach for the Identification of Authorization Policy Conflicts within Multi-Cloud EnvironmentsJournal of Grid Computing10.1007/s10723-022-09606-120:2Online publication date: 1-Jun-2022
- Show More Cited By