Subject
Hardware and Architecture,Software
Reference17 articles.
1. Samir Ouchani, Towards a security reinforcement mechanism for social cyber-physical systems, in: Smart Applications and Data Analysis - Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25–26, 2020, Proceedings, 2020, pp. 59–73.
2. A survey on access control in IoT: models, architectures and research opportunities;Alnefaie;Int. J. Secur. Netw.,2021
3. Samir Ouchani, Ensuring the functional correctness of IoT through formal modeling and verification, in: 8th International Conference Model and Data Engineering, MEDI 2018, LNCS Springer Proceedings, 2018, pp. 401–417.
4. PRISM 4.0: Verification of probabilistic real-time systems;Kwiatkowska,2011
5. Security analysis of socio-technical physical systems;Lenzini;Comput. Electr. Eng.,2015
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献