Get started
Author

魏福山

Observed name: Fushan Wei
ORCID: 0000-0003-2790-7254
Observed ORCID: 0000-0003-2790-7254
OpenAlex ID: A5011367348
A dynamic and lightweight anonymous authentication protocol for wireless sensor networks
2026 · Yongliu Ma, Yuqian Ma, et al. · Internet of Things
LLM-assisted Verification of Protocol Implementations for Logic Flaws Using TLA+
2026 · Kai Tian, Xi Chen, et al. · International Conference on Computer Supported Cooperative Work in Design (CSCWD)
Spec-SMT: Detecting Logic Flaws in SSH Implementations via Adversarial Trace Synthesis
2026 · Kai Tian, Chunxiang Gu, et al. · International Conference on Computer and Communication Systems (ICCCS)
Outsourced data modification algorithm with assistance of multi-assistants in cloud computing
2017 · Jian Shen, Jun Shen, et al. · International Journal of Sensor Networks
“6．8”特大爆炸案现场重建中的dna分析
2006 · 宋金平, 魏福山, et al. · 中国法医学杂志
Works count: 6
Citation count:
H-index:
I10-index:
Year
Topic
Type