Login / Signup
A new method to deduce counterexamples in secure routing protocols based on strand space model.
Xuewen Dong
Chao Yang
Lijie Sheng
Chao Wang
Jianfeng Ma
Published in:
Secur. Commun. Networks (2016)
Keyphrases
</>
analytical model
data streams
computational complexity
sensor networks
routing protocol