Security Modeling and Analysis of Cross-Protocol IoT Devices.

Mengmeng Ge Jin B. Hong Hani Alzaid Dong Seong Kim

Published in: TrustCom/BigDataSE/ICESS (2017)

Keyphrases

cryptographic protocols
management system
formal analysis
security problems
information security
rfid systems