T. Ali, “Z Notation Formalization of Blockchain Healthcare Document Sharing Based on CRBAC”, jictra, pp. 16–29, Jun. 2018, Accessed: Oct. 10, 2026. [Online]. Available: https://jictra.com.pk/index.php/jictra/article/view/78