“Formal Verification of Multi-Party Privacy Protocols Using Probabilistic Automata and Symbolic Abstraction in High-Stakes Data Environments”, ISCSITR-IJDS, vol. 2, no. 1, pp. 1–7, Apr. 2021, Accessed: Oct. 08, 2025. [Online]. Available: https://iscsitr.in/index.php/ISCSITR-IJDS/article/view/ISCSITR-IJDS_02_01_001