Author:
Almehrej Abdulaziz,Freitas Leo,Modesti Paolo
Publisher
Springer International Publishing
Reference14 articles.
1. Almehrej, A., Freitas, L., Modesti, P.: Security analysis of the Open Banking Account and Transaction API Protocol.
arXiv:2003.12776
(2020)
2. Basin, D., Mödersheim, S., Viganò, L.: OFMC: a symbolic model checker for security protocols. Int. J. Inf. Secur. 4(3), 181–208 (2005).
https://doi.org/10.1007/s10207-004-0055-7
3. Bugliesi, M., Calzavara, S., Mödersheim, S., Modesti, P.: Security protocol specification and verification with AnBx. J. Inf. Secur. Appl. 30, 46–63 (2016).
https://doi.org/10.1016/j.jisa.2016.05.004
4. Dierks, T., Rescorla, E.: The Transport Layer Security (TLS) Protocol Version 1.2, August 2008.
https://tools.ietf.org/html/rfc5246
. Accessed 22 Aug 2019
5. Lecture Notes in Computer Science;L Freitas,2018