RT Journal T1 Modeling and verifying based on timed automata of Internet of things gateway security system A1 Guoqing WANG,Lei ZHUANG,Ruimin WANG,Yu SONG,Kunli ZHANG PB Journal on Communications FD 2018-03-01 YR 2018 JF Journal on Communications JO Journal on Communications VO 39 IS 3 SP 63 DO 10.11959/j.issn.1000-436x.2018042 K1 ;IoT gateway;security system;middleware;timed automata;model checking LK {http://www.infocomm-journal.com/txxb/EN/article/article_167119.shtml}