EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System
Web of Things (WoT) technology standardizes the integration of various IoT devices deployed in daily environments, promoting the capability of applications to automatically sense and regulate the physical environment. Meanwhile, the complex nature of such a ubiquitous software system, where heterogeneous applications, user activities, and environment states collectively influence device behaviors, poses risks of unexpected or even hazardous safety and security violations caused by improper device operations. Existing works on WoT violation identification primarily focus on the sole analysis of software applications, however, lacking consideration of the multi-source violations stemming from the human-cyber-physical ternary spaces, as well as the intricate interplay between environment and devices. Furthermore, the investigation into users’ preferences for violation resolution remains unexplored. To address these limitations, we introduce EnvGuard, an environment-centric approach for customizing safety and security properties, identifying violations, and executing resolutions in the WoT environment. Our evaluation in two real-world WoT systems shows that EnvGuard outperforms previous state-of-the-art works, and confirms its usability, effectiveness, and runtime efficiency.
Sat 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | Session9: AloT & MicroservicesResearch Track / Tool Demonstration Track at Cosmos 3C Chair(s): Qingkai Shi Nanjing University | ||
16:00 15mTalk | EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System Research Track Bingkun Sun Fudan University, Jialin Ren Fudan University, Juntao Luo Fudan University, Liwei Shen Fudan University, Yongqiang Lu Fudan University, Qicai Chen Fudan University, China, Zhen Dong Fudan University, Xin Peng Fudan University | ||
16:30 15mTalk | Privacy-Preserving Authentication Scheme for V2G in social IoT Based on Certificateless Aggregate Signatures Research Track Zhuoqun Xia Changsha University of Science and Technology, Xin Wang Changsha University of Science and Technology | ||
16:45 15mTalk | To Split or to Merge? Exploring Multi-modal Data Flexibly for Failure Classification in Microservices Research Track Xiuhong Tan Changsha University of Science and Technology, China, Tongqing Zhou National University of Defense Technology, China, Yuan Yuan National University of Defense Technology, China, Shiming He Changsha University of Science and Technology, China, Yuqi Li National Supercomputer Center in Tianjin, Jian Zhang National Supercomputer Center in Tianjin | ||
17:00 15mTalk | Dynamic Microservice Resource Optimization Management Based on MAPE Loop Research Track Lu Wang Xidian University, Xu Fan Xidian University, Yaxiao Li , Quanwei Du Xidian University, Jialuo She Xidian University, Qingshan Li Xidian University | ||
17:15 10mTalk | Documenting Microservice Integration with MSAdoc Tool Demonstration Track |
Cosmos 3C is the third room in the Cosmos 3 wing.
When facing the main Cosmos Hall, access to the Cosmos 3 wing is on the left, close to the stairs. The area is accessed through a large door with the number “3”, which will stay open during the event.