Comparing formal models of IoT app coordination analysis-Reference-Cited by-同舟云学术

Comparing formal models of IoT app coordination analysis

Published:2020-11-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment
language:
Short-container-title:

Author:

Stevens Clay¹,Alhanahnah Mohannad²,Yan Qiben³,Bagheri Hamid¹

Affiliation:

1. University of Nebraska-Lincoln, USA

2. University of Wisconsin-Madison, USA

3. Michigan State University, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3416507.3423188

Reference34 articles.

1. Jumping the Air Gap

2. Scalable analysis of interaction threats in IoT systems

3. Sok: Security evaluation of home-based iot deployments;Alrawi Omar;IEEE S&P.,2019

4. A Comparison of State-Based Modelling Tools for Model Validation

5. Jorge Blasco Thomas M. Chen Igor Muttik and Markus Roggenbach. 2018. Detection of app collusion potential using logic programming. J. Network and Computer App. 105 ( 2018 ) 88-104. https://doi.org/10.1016/j.jnca. 2017. 12.008 10.1016/j.jnca.2017.12.008 Jorge Blasco Thomas M. Chen Igor Muttik and Markus Roggenbach. 2018. Detection of app collusion potential using logic programming. J. Network and Computer App. 105 ( 2018 ) 88-104. https://doi.org/10.1016/j.jnca. 2017. 12.008 10.1016/j.jnca.2017.12.008

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Scalable Relational Analysis via Relational Bound Propagation;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

2. A Survey on Conflict Detection in IoT-based Smart Homes;ACM Computing Surveys;2023-11-27

3. Correctness of IoT-based systems: From a DSL to a mechanised analysis;Journal of Computer Languages;2023-11

4. IoTCom: Dissecting Interaction Threats in IoT Systems;IEEE Transactions on Software Engineering;2023-04-01

5. Combining solution reuse and bound tightening for efficient analysis of evolving systems;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18