{"id":"https://openalex.org/W4415584188","doi":"https://doi.org/10.1145/3755881.3755922","title":"EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System","display_name":"EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System","publication_year":2025,"publication_date":"2025-06-20","ids":{"openalex":"https://openalex.org/W4415584188","doi":"https://doi.org/10.1145/3755881.3755922"},"language":null,"primary_location":{"id":"doi:10.1145/3755881.3755922","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3755881.3755922","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3755881.3755922","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Internetware","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3755881.3755922","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051538796","display_name":"Bingkun Sun","orcid":"https://orcid.org/0000-0002-2264-5729"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bingkun Sun","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-2264-5729","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101310056","display_name":"Jialin Ren","orcid":"https://orcid.org/0009-0006-3380-6811"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jialin Ren","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0006-3380-6811","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105698428","display_name":"J. Luo","orcid":"https://orcid.org/0009-0009-7295-3808"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Juntao Luo","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0009-7295-3808","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101551643","display_name":"Liwei Shen","orcid":"https://orcid.org/0000-0002-8107-0590"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liwei Shen","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-8107-0590","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109999895","display_name":"Yu\u2010Ju Lu","orcid":"https://orcid.org/0009-0007-1475-7281"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongqiang Lu","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0007-1475-7281","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029224382","display_name":"Qing\u2010Quan Chen","orcid":"https://orcid.org/0009-0006-1343-2162"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qicai Chen","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0006-1343-2162","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083463420","display_name":"Zhen Dong","orcid":"https://orcid.org/0009-0009-1193-0696"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Dong","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0009-1193-0696","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101854992","display_name":"Xin Peng","orcid":"https://orcid.org/0000-0003-3376-2581"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Peng","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-3376-2581","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I24943067"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38121663,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"545","last_page":"557"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9799000024795532,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.32989999651908875},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.31769999861717224},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.2703000009059906},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.25200000405311584},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.24369999766349792}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5425000190734863},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.49869999289512634},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.32989999651908875},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.31769999861717224},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.2815999984741211},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.25200000405311584},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.2502000033855438},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.24369999766349792},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.23890000581741333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3755881.3755922","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3755881.3755922","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3755881.3755922","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Internetware","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3755881.3755922","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3755881.3755922","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3755881.3755922","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Internetware","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415584188.pdf","grobid_xml":"https://content.openalex.org/works/W4415584188.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W1497376763","https://openalex.org/W1975812213","https://openalex.org/W2022077643","https://openalex.org/W2033014924","https://openalex.org/W2043475427","https://openalex.org/W2089003125","https://openalex.org/W2117189826","https://openalex.org/W2121334200","https://openalex.org/W2487186542","https://openalex.org/W2508433864","https://openalex.org/W2519460064","https://openalex.org/W2613352518","https://openalex.org/W2801040906","https://openalex.org/W2896143299","https://openalex.org/W2897475131","https://openalex.org/W2911962130","https://openalex.org/W2929305171","https://openalex.org/W2935380409","https://openalex.org/W2947175569","https://openalex.org/W2953940064","https://openalex.org/W2983277367","https://openalex.org/W2994778934","https://openalex.org/W3001011951","https://openalex.org/W3003250548","https://openalex.org/W3010644598","https://openalex.org/W3046246673","https://openalex.org/W3095450521","https://openalex.org/W3112108251","https://openalex.org/W3114128268","https://openalex.org/W3115311310","https://openalex.org/W3136780060","https://openalex.org/W3157982943","https://openalex.org/W3192636056","https://openalex.org/W3203006893","https://openalex.org/W3206087679","https://openalex.org/W3213909818","https://openalex.org/W4220836074","https://openalex.org/W4232995102","https://openalex.org/W4242741415","https://openalex.org/W4281675936","https://openalex.org/W4285163447","https://openalex.org/W4289537457","https://openalex.org/W4289921754","https://openalex.org/W4308246500","https://openalex.org/W4321618024","https://openalex.org/W4367046945","https://openalex.org/W4384154477","https://openalex.org/W4386858792","https://openalex.org/W4388900043","https://openalex.org/W4393972928"],"related_works":[],"abstract_inverted_index":{"Web":[0],"of":[1,8,19,32,52,77,83],"Things":[2],"(WoT)":[3],"technology":[4],"standardizes":[5],"the":[6,17,26,29,74,84,89,96,103,134],"integration":[7],"various":[9],"IoT":[10],"devices":[11],"deployed":[12],"in":[13,133,138],"daily":[14],"environments,":[15],"promoting":[16],"capability":[18],"applications":[20],"to":[21],"automatically":[22],"sense":[23],"and":[24,43,58,101,125,130,150,155],"regulate":[25],"physical":[27],"environment.Meanwhile,":[28],"complex":[30],"nature":[31],"such":[33],"a":[34],"ubiquitous":[35],"software":[36,78],"system,":[37],"where":[38],"heterogeneous":[39],"applications,":[40,79],"user":[41],"activities,":[42],"environment":[44,100],"states":[45],"collectively":[46],"influence":[47],"device":[48,64],"behaviors,":[49],"poses":[50],"risks":[51],"unexpected":[53],"or":[54],"even":[55],"hazardous":[56],"safety":[57,124],"security":[59,126],"violations":[60,86],"caused":[61],"by":[62],"improper":[63],"operations.Existing":[65],"works":[66],"on":[67,73],"WoT":[68,135,141],"violation":[69,109],"identification":[70],"primarily":[71],"focus":[72],"sole":[75],"analysis":[76],"however,":[80],"lacking":[81],"consideration":[82],"multi-source":[85],"stemming":[87],"from":[88],"human-cyberphysical":[90],"ternary":[91],"spaces,":[92],"as":[93,95],"well":[94],"intricate":[97],"interplay":[98],"between":[99],"devices.Furthermore,":[102],"investigation":[104],"into":[105],"users'":[106],"preferences":[107],"for":[108,122],"resolution":[110],"remains":[111],"unexplored.To":[112],"address":[113],"these":[114],"limitations,":[115],"we":[116],"introduce":[117],"EnvGuard,":[118],"an":[119],"environment-centric":[120],"approach":[121],"customizing":[123],"properties,":[127],"identifying":[128],"violations,":[129],"executing":[131],"resolutions":[132],"environment.Our":[136],"evaluation":[137],"two":[139],"real-world":[140],"systems":[142],"shows":[143],"that":[144],"Env-Guard":[145],"outperforms":[146],"previous":[147],"state-of-the-art":[148],"works,":[149],"confirms":[151],"its":[152],"usability,":[153],"effectiveness,":[154],"runtime":[156],"efficiency.":[157]},"counts_by_year":[],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-28T00:00:00"}