C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Analysis of SDN Authentication Protocol with Mechanized Protocol Verifier in the Symbolic Model.
Lili Yao
Jiabing Liu
Dejun Wang
Jing Li
Bo Meng
Published in:
Int. J. Netw. Secur. (2018)
Keyphrases
</>
formal analysis
authentication protocol
ban logic
lightweight
real time
high dimensional
end to end
reverse engineering
agent model