TY - 通信学报 A1 - 王国卿,庄雷,王瑞民,宋玉,张坤丽 T1 - 基于时间自动机的物联网网关安全系统的建模及验证 Y1 - 2018-03-01 JF - 通信学报 JO - 通信学报 SP - 63 EP - 75 VL - 39 IS - 3 UR - https://www.infocomm-journal.com/txxb N1 - 10.11959/j.issn.1000-436x.2018042 ER -