Updated weekly. Details via Crossref

Crossref	Scopus	Google Scholar
1	1	Search

2025	A novel symbolic model for analyzing Internet of Things protocols based on event logic Computers & Security Zehuan Li, Meihua Xiao, Yangping Xu, Fangping Chen, Huaibin Shao, Sufen Yan