Soteria: Automated IoT Safety and Security Analysis.

Z. Berkay Celik Patrick D. McDaniel Gang Tan

Published in: CoRR (2018)

Keyphrases

security analysis
public key
smart card
security requirements
security model
high security
security properties
encryption scheme
authentication protocol
management system
user authentication
authentication scheme
mutual authentication
encryption algorithm
low cost
rfid systems
databases