IotSan: fortifying the safety of IoT systems
作者： Dang Tu Nguyen , Chengyu Song , Zhiyun Qian , Srikanth V. Krishnamurthy , Edward J. M. Colbert
关键词:
摘要: … A problem specific to IoT systems is that buggy apps, unforeseen … to IoT systems, to alleviate the state explosion associated with model checking. IotSan also automatically translates IoT …
arxiv.org
acm.org
elsevier.com
sci-hub.se 参考文章(65)
Gerard J. Holzmann, The Theory and Practice of A Formal Method: NewCoRe. ifip congress. pp. 35- 44 ,(1994)
Joost-Pieter Katoen, Christel Baier, Principles of Model Checking (Representation and Mind Series) The MIT Press. ,(2008)
Daniel Kroening, Michael Tautschnig, CBMC – C Bounded Model Checker Tools and Algorithms for the Construction and Analysis of Systems. pp. 389- 391 ,(2014) , 10.1007/978-3-642-54862-8_26
Edmund M. Clarke, William Klieber, Miloš Nováček, Paolo Zuliani, Model Checking and the State Explosion Problem LASER Summer School on Software Engineering. pp. 1- 30 ,(2011) , 10.1007/978-3-642-35746-6_1
Yunmok Son, Hocheol Shin, Dongkwan Kim, Youngseok Park, Juhwan Noh, Kibum Choi, Jungwoo Choi, Yongdae Kim, None, Rocking drones with intentional sound noise on gyroscopic sensors usenix security symposium. pp. 881- 896 ,(2015)
Thierry Cattel, Modelization and verification of a multiprocessor realtime OS kernel. formal techniques for (networked and) distributed systems. pp. 55- 70 ,(1994)
Joost-Pieter Katoen, Christel Baier, Principles of Model Checking ,(2008)
Gerard J. Holzmann, Proving the Value of Formal Methods Formal Description Techniques VII. pp. 385- 396 ,(1995) , 10.1007/978-0-387-34878-0_32
Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer, Context-Bounded model checking with ESBMC 1.17 tools and algorithms for construction and analysis of systems. pp. 534- 537 ,(2012) , 10.1007/978-3-642-28756-5_42
John A. Chaves, Formal Methods at AT&T - An Industrial Usage Report formal techniques for (networked and) distributed systems. pp. 83- 90 ,(1991) , 10.1016/B978-0-444-89402-1.50015-1