EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bingkun Sun' in GoogleThis author has not been identified. Look up 'Jialin Ren' in GoogleThis author has not been identified. Look up 'Juntao Luo' in GoogleThis author has not been identified. Look up 'Liwei Shen' in GoogleThis author has not been identified. Look up 'Yongqiang Lu 0007' in GoogleThis author has not been identified. Look up 'Qicai Chen' in GoogleThis author has not been identified. Look up 'Zhen Dong' in GoogleThis author has not been identified. Look up 'Xin Peng 0001' in Google

runs on WebDSL