TARU PUBLICATIONS
Author

Chhavi Patle

Department of Computer Science and Engineering, Rungta College of Engineering and Technology, Rungta International Skills University, Bhilai, Chhattisgarh, 490024, India

Published papers
1
Citations
0
Views
9
Downloads
7

Publications

1 paper
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...

AbstractReferencesFull Text PDF (568 KB)Views: 9Downloads: 7Citations: 0