TLShps: SDN-Based TLS Handshake Protocol Simplification for IoT.

Lei Yan Maode Ma Yan Ma

Published in: SpaCCS (2019)

Keyphrases

management system
lightweight
multiresolution
big data
formal analysis
authentication protocol
coloured petri nets
formal specification
communication protocol
application layer
tcp ip
social media
cloud computing
parameter estimation
security analysis
protocol specification