Login / Signup
MARS: Automated Protocol Analysis Framework for Internet of Things.
Haonan Yan
Xiaoguang Li
Rui Dai
Hui Li
Xingwen Zhao
Fenghua Li
Published in:
IEEE Internet Things J. (2022)
Keyphrases
</>
lightweight
formal analysis
statistical analysis
neural network
video sequences
probabilistic model
main contribution
quantitative analysis
automated analysis
databases
mobile devices
theoretical framework
conceptual framework