A framework for automating security analysis of the internet of things.

Mengmeng Ge Jin B. Hong Walter Guttmann Dong Seong Kim

Published in: J. Netw. Comput. Appl. (2017)

Keyphrases

security analysis
lightweight
smart card
public key
databases
security requirements
authentication protocol