Publisher
Springer International Publishing
Reference32 articles.
1. Karanjeet Choudhary, Gurjot Singh Gaba, Ismail Butun, and Pardeep Kumar. MAKE-IT - A lightweight mutual authentication and key exchange protocol for industrial internet of things. Sensors, 20(18):5166, 2020.
2. Véronique Cortier and Steve Kremer, editors. Formal Models and Techniques for Analyzing Security Protocols. IOS Press, 2011.
3. Cas J. F. Cremers, Pascal Lafourcade, and Philippe Nadeau. Comparing state spaces in automatic security protocol analysis. In Formal to Practical Security, LNCS 5458. Springer, 2009.
4. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms. The MIT Press, 2009.
5. Manik Lal Das, Pardeep Kumar, and Andrew Martin. Secure and privacy-preserving RFID authentication scheme for internet of things applications. Wirel. Pers. Commun., 110(1):339–353, 2020.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献