Formal Modeling and Security Analysis for OpenFlow-Based Networks.

Yongxin Zhao Xi Wu Jing Liu Yilong Yang

Published in: ICECCS (2018)

Keyphrases

security analysis
public key
security requirements
smart card
high security
security properties
social networks
authentication protocol
user authentication
encryption scheme
computer networks
formal model
mutual authentication