A Review on the Verification Approaches and Tools used to Verify the Correctness of Security Algorithms and Protocols Academic Article

http://dx.doi.org/10.14569/ijacsa.2019.0100621

authors

Al-humaikani, Mohammed Abdulqawi Saleh
AB Rahim, Lukman bin

publication date

2019

published in

International Journal of Advanced Computer Science and Applications Journal

Digital Object Identifier (DOI)

https://doi.org/10.14569/ijacsa.2019.0100621

volume

10

issue

6