R. Pradeep, N. R. Sunitha, V. Ravi, Sushma Verma. Formal Verification of Authentication and Confidentiality for TACACS+ Security Protocol using Scyther. In 10th International Conference on Computing, Communication and Networking Technologies, ICCCNT 2019, Kanpur, India, July 6-8, 2019. pages 1-6, IEEE, 2019. [doi]
Abstract is missing.