TY  - RPRT
TI  - EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things
AU  - Bingkun Sun
AU  - Liwei Shen
AU  - Jialin Ren
AU  - Zhen Dong
AU  - Siao Wang
AU  - Xin Peng
PY  - 2023
UR  - https://arxiv.org/abs/2312.03373
ID  - 2312.03373
ER  -