Bingkun Sun, Jialin Ren, Juntao Luo, Liwei Shen, Yongqiang Lu 0007, Qicai Chen, Zhen Dong, Xin Peng 0001. EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System. In Hong Mei 0001, Jian Lv 0001, Zhi Jin 0001, Xuandong Li, Thomas Zimmermann 0001, Ge Li 0001, Lei Bu, Xin Xia 0001, editors, Proceedings of the 16th International Conference on Internetware, Internetware 2025, Trondheim, Norway, June 20-22, 2025. pages 545-557, ACM, 2025. [doi]
Abstract is missing.