MainReads

Discover Books. Explore Knowledge.

Home » Academic Articles & Research Papers

Academic Articles & Research Papers

Search and discover peer-reviewed scholarly literature, open-access articles, and research citations across DOAJ, PubMed Central, and OpenAlex.

Reset
Showing 3 of 3 academic articles

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN

Tanuja Shailesh, Ashalatha Nayak, Devi Prasad • Cogent Engineering (2024)

Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is...

DOAJ Open Access (DOAJ) DOI: 10.1080/23311916.2024.2375100

An Improved Blockchain-Based Lightweight Vehicle-to-Infrastructure Handover Authentication Protocol for Vehicular Ad Hoc Networks

Shengbao Wang, Yixiao Wu, Kang Wen, Xin Zhou et al. • Mathematics (2025)

We conduct a cryptanalysis of the Vehicle-to-Infrastructure (V2I) handover authentication protocol newly developed by Son et al., which incorporates blockchain technology for authentication purposes. Although this approach is notably effici...

DOAJ Open Access (DOAJ) DOI: 10.3390/math13071118

Lightweight Anonymous Group Authentication and Quantum-Cloud Key Distribution Based on PUF for Classical Network Environments

Huanjie Zhang, Yang Chen, Shenghao Chen, Zilong Zhao et al. • Sensors (2026)

With the rapid development of quantum computing, in response to its disruptive threats to traditional cryptosystems and the urgent demand for lightweight and highly scalable secure group communication among resource-constrained devices in l...

DOAJ Open Access (DOAJ) DOI: 10.3390/s26154840