Formal Verification of Multi-Party Privacy Protocols Using Probabilistic Automata and Symbolic Abstraction in High-Stakes Data Environments. ISCSITR-IJDS. 2021;2(1):1-7. Accessed October 8, 2025. https://iscsitr.in/index.php/ISCSITR-IJDS/article/view/ISCSITR-IJDS_02_01_001