{"id":"https://openalex.org/W2947392770","doi":"https://doi.org/10.1145/3322431.3325107","title":"Expat","display_name":"Expat","publication_year":2019,"publication_date":"2019-05-28","ids":{"openalex":"https://openalex.org/W2947392770","doi":"https://doi.org/10.1145/3322431.3325107","mag":"2947392770"},"language":"en","primary_location":{"id":"doi:10.1145/3322431.3325107","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3322431.3325107","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3322431.3325107","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM Symposium on Access Control Models and Technologies","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/3322431.3325107","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077699614","display_name":"Moosa Yahyazadeh","orcid":null},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Moosa Yahyazadeh","raw_affiliation_strings":["University of Iowa, Iowa City, IA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Iowa, Iowa City, IA, USA","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055624391","display_name":"Proyash Podder","orcid":null},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Proyash Podder","raw_affiliation_strings":["Florida International University, Miami, FL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Florida International University, Miami, FL, USA","institution_ids":["https://openalex.org/I19700959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081564551","display_name":"Endadul Hoque","orcid":"https://orcid.org/0000-0002-6682-9618"},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Endadul Hoque","raw_affiliation_strings":["Florida International University, Miami, FL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Florida International University, Miami, FL, USA","institution_ids":["https://openalex.org/I19700959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070136662","display_name":"Omar Chowdhury","orcid":"https://orcid.org/0000-0002-1356-6279"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Omar Chowdhury","raw_affiliation_strings":["University of Iowa, Iowa City, IA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Iowa, Iowa City, IA, USA","institution_ids":["https://openalex.org/I126307644"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.8672,"has_fulltext":true,"cited_by_count":28,"citation_normalized_percentile":{"value":0.91797223,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9977999925613403,"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.9977999925613403,"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/T11424","display_name":"Security and Verification in Computing","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11800","display_name":"User Authentication and Security Systems","score":0.9811999797821045,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7684743404388428},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.7304888963699341},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6704944968223572},{"id":"https://openalex.org/keywords/home-automation","display_name":"Home automation","score":0.5568464994430542},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4646892547607422},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4639856815338135},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.44613510370254517},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4293382465839386},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4075166881084442},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33309614658355713},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1808285117149353},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17197468876838684},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1621570587158203},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09221893548965454}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7684743404388428},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.7304888963699341},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6704944968223572},{"id":"https://openalex.org/C507571656","wikidata":"https://www.wikidata.org/wiki/Q848436","display_name":"Home automation","level":2,"score":0.5568464994430542},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4646892547607422},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4639856815338135},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.44613510370254517},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4293382465839386},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4075166881084442},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33309614658355713},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1808285117149353},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17197468876838684},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1621570587158203},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09221893548965454},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3322431.3325107","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3322431.3325107","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3322431.3325107","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM Symposium on Access Control Models and Technologies","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3322431.3325107","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3322431.3325107","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3322431.3325107","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM Symposium on Access Control Models and Technologies","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5899999737739563,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3890757328","display_name":null,"funder_award_id":"N6600118C4006","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G6163323745","display_name":"CRII: SaTC: A Principled Approach Aiding the Development of a Compliant Internet PKI","funder_award_id":"1657124","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2947392770.pdf","grobid_xml":"https://content.openalex.org/works/W2947392770.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W2003797911","https://openalex.org/W2121381561","https://openalex.org/W2293605433","https://openalex.org/W2354520588","https://openalex.org/W2358552375","https://openalex.org/W2408302068","https://openalex.org/W2474516640","https://openalex.org/W2508433864","https://openalex.org/W2619642597","https://openalex.org/W2686848947","https://openalex.org/W2751531621","https://openalex.org/W2789198628","https://openalex.org/W2791710451","https://openalex.org/W2792078641","https://openalex.org/W2803355841","https://openalex.org/W2885045113","https://openalex.org/W2889033824","https://openalex.org/W2890188242","https://openalex.org/W2896143299","https://openalex.org/W2901665206","https://openalex.org/W2929305171","https://openalex.org/W2936320085","https://openalex.org/W2947175569","https://openalex.org/W3098804373"],"related_works":["https://openalex.org/W2154641962","https://openalex.org/W830599432","https://openalex.org/W3041171771","https://openalex.org/W1967474012","https://openalex.org/W4323536981","https://openalex.org/W4246426965","https://openalex.org/W2100557470","https://openalex.org/W2117543524","https://openalex.org/W2378548130","https://openalex.org/W2366067337"],"abstract_inverted_index":{"This":[0],"paper":[1],"focuses":[2],"on":[3,35,100,118],"developing":[4,20],"a":[5,94,101,155,184,253],"security":[6,109],"mechanism":[7],"geared":[8],"towards":[9],"appified":[10],"smart-home":[11,102],"platforms.":[12],"Such":[13],"platforms":[14],"often":[15,87],"expose":[16],"programming":[17,230],"interfaces":[18],"for":[19,161,240],"automation":[21,56,145,168],"apps":[22,57,90,146],"that":[23,136],"mechanize":[24],"different":[25],"tasks":[26],"among":[27],"smart":[28],"sensors":[29],"and":[30,110,247],"actuators":[31],"(e.g.,":[32,69,116,191],"automatically":[33],"turning":[34,117],"the":[36,39,48,65,70,107,119,143,166,188,227,234,243],"AC":[37],"when":[38,121],"room":[40],"temperature":[41],"is":[42,72,124],"above":[43],"80":[44],"F).":[45],"Due":[46],"to":[47,64,186,198],"lack":[49],"of":[50,165,174,194,242,256],"effective":[51,172],"access":[52,63],"control":[53],"mechanisms,":[54],"these":[55,89,175],"can":[58,97,202,223,250],"not":[59,73],"only":[60,264],"have":[61],"unrestricted":[62],"user's":[66,108],"sensitive":[67],"information":[68],"user":[71,79,137,163,185,260],"at":[74,125,147],"home)":[75],"but":[76],"also":[77,182],"violate":[78],"expectations":[80,138,164,176,261],"by":[81,104,142,206,233,258],"performing":[82],"undesired":[83],"actions.":[84],"As":[85],"users":[86],"obtain":[88],"from":[91],"unvetted":[92],"sources,":[93],"malicious":[95],"app":[96,229],"wreak":[98],"havoc":[99],"system":[103],"either":[105],"violating":[106],"privacy,":[111],"or":[112],"creating":[113],"safety":[114],"hazards":[115],"oven":[120],"no":[122],"one":[123,241],"home).":[126],"To":[127,149],"mitigate":[128,252],"such":[129],"threats,":[130],"we":[131],"propose":[132],"Expat":[133,153,181,210,239],"which":[134,196,222],"ensures":[135],"are":[139],"never":[140],"violated":[141],"installed":[144,167],"runtime.":[148],"achieve":[150],"this":[151],"goal,":[152],"provides":[154],"platform-agnostic,":[156],"formal":[157,200],"specification":[158],"language":[159],"UEI":[160,213],"capturing":[162],"apps'":[169],"behavior.":[170],"For":[171],"authoring":[173],"(as":[177],"policies)":[178],"in":[179,215],"UEI,":[180],"allows":[183],"check":[187],"desired":[189],"properties":[190],"consistency,":[192],"entailment)":[193],"them;":[195],"due":[197],"their":[199],"semantics":[201],"be":[203,224],"easily":[204],"discharged":[205],"an":[207,218],"SMT":[208],"solver.":[209],"then":[211],"enforces":[212],"policies":[214],"situ":[216],"with":[217],"inline":[219],"reference":[220],"monitor":[221],"realized":[225],"using":[226],"same":[228],"interface":[231],"exposed":[232],"underlying":[235],"platform.":[236],"We":[237],"instantiate":[238],"representative":[244],"platforms,":[245],"OpenHAB,":[246],"demonstrate":[248],"it":[249],"effectively":[251],"wide":[254],"array":[255],"threats":[257],"enforcing":[259],"while":[262],"incurring":[263],"modest":[265],"performance":[266],"overhead.":[267]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2019-06-07T00:00:00"}