Formal Verification of Multi-Party Privacy Protocols Using Probabilistic Automata and Symbolic Abstraction in High-Stakes Data Environments. ISCSITR-IJDS [Internet]. 2021 Apr. 17 [cited 2025 Oct. 8];2(1):1-7. Available from: https://iscsitr.in/index.php/ISCSITR-IJDS/article/view/ISCSITR-IJDS_02_01_001