Towards a Formal IoT Security Model.

Tania Martin Dimitrios Geneiatakis Ioannis Kounelis Stéphanie Kerckhof Igor Nai Fovino

Published in: Symmetry (2020)

Keyphrases

security model
access control
public key
security analysis
security requirements
management system
designated verifier
formal model
provably secure
security problems
authentication and key agreement
public key cryptography
encryption scheme
diffie hellman
fine grained
cloud computing
data mining