Vol. 2 No. 1 (2021): ISCSITR- INTERNATIONAL JOURNAL OF DATA SCIENCE (ISCSITR-IJDS)

Volume-2, issue-1, January-December 2021

Published:

Articles

Formal Verification of Multi-Party Privacy Protocols Using Probabilistic Automata and Symbolic Abstraction in High-Stakes Data Environments

Lena Hoffmann (Author)

1-7
- PDF