基于时间自动机的物联网网关安全系统的建模及验证
王国卿,庄雷,王瑞民,宋玉,张坤丽
Modeling and verifying based on timed automata of Internet of things gateway security system
Guoqing WANG,Lei ZHUANG,Ruimin WANG,Yu SONG,Kunli ZHANG
通信学报
.
2018, (3): 63
-75
.
DOI: 10.11959/j.issn.1000-436x.2018042