Open Access
Research Article·pp. 4521–4534·Vol. 29, Issue 10-COct 2026
Finite automata models for secure protocol verification
Rohit Agarwal, Rajesh Kumar Tripathi, Arjit Tomar, Prashant Vijay Thokal, Shwetambari Pandurang Katake, Chhavi Patle
Published Online: 31 Oct 2026DOI: 10.47974/JDMSC-3070
In this paper: Modern digital infrastructures (such as cloud computing, IoT systems and distributed applications) heavily rely on secure communication protocols in which confidentiality, integrity, and authenticatio...
