A Model-Based Approach for Vulnerability Analysis of IoT Security Protocols: the Z-Wave Case Study
COMPUTERS & SECURITY（2023）
关键词
Z-Wave protocol,IoT security,MITM,Formal verification,Abstract state machines,ASMETA
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要