|
[AMS23]
Alessandro Aldini, Suzana M. B. Maranhão Moreno and Jean-Marc Seigneur.
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance.
In Proc. 20th Annual International Conference on Privacy, Security and Trust (PST'23).
2023.
[Presents a formal language for modelling financial inclusion service, with properties verified using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|