Basin, David, et al. “OFMC: A Symbolic Model Checker for Security Protocols”. International Journal of Information Security, vol. 4, no. 3, 2005, pp. 181-08, https://doi.org/10.1007/s10207-004-0055-7.
Basin, D., Mödersheim, S., & Viganò, L. (2005). OFMC: A symbolic model checker for security protocols. International Journal of Information Security, 4(3), 181-208. https://doi.org/10.1007/s10207-004-0055-7
Basin D, Mödersheim S, Viganò L. OFMC: A symbolic model checker for security protocols. International Journal of Information Security. 2005;4(3):181-208.
The first research to cite this article was titled Towards a Quantitative Analysis of Security Protocols and was published in 2006. The most recent citation comes from a 2024 study titled Towards a Quantitative Analysis of Security Protocols . This article reached its peak citation in 2021 , with 21 citations.It has been cited in 78 different journals, 14% of which are open access. Among related journals, the IEEE Access cited this research the most, with 21 citations. The chart below illustrates the annual citation trends for this article.