Login / Signup
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