{"id":"https://openalex.org/W7128627507","doi":"https://doi.org/10.1093/cybsec/tyag004","title":"Formal methods for socio-technical security in eXtended Reality (XR): state-of-the-art and research agenda","display_name":"Formal methods for socio-technical security in eXtended Reality (XR): state-of-the-art and research agenda","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7128627507","doi":"https://doi.org/10.1093/cybsec/tyag004"},"language":"en","primary_location":{"id":"doi:10.1093/cybsec/tyag004","is_oa":true,"landing_page_url":"https://doi.org/10.1093/cybsec/tyag004","pdf_url":null,"source":{"id":"https://openalex.org/S2735156331","display_name":"Journal of Cybersecurity","issn_l":"2057-2085","issn":["2057-2085","2057-2093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Cybersecurity","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1093/cybsec/tyag004","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072935100","display_name":"Megha Quamara","orcid":"https://orcid.org/0000-0001-9380-6916"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Megha Quamara","raw_affiliation_strings":["King\u2019s College London Department of Informatics, , London, WC2B 4BG ,"],"raw_orcid":"https://orcid.org/0000-0001-9380-6916","affiliations":[{"raw_affiliation_string":"King\u2019s College London Department of Informatics, , London, WC2B 4BG ,","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Luca Vigan\u00f2","orcid":"https://orcid.org/0000-0001-9916-271X"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Luca Vigan\u00f2","raw_affiliation_strings":["King\u2019s College London Department of Informatics, , London, WC2B 4BG ,"],"raw_orcid":"https://orcid.org/0000-0001-9916-271X","affiliations":[{"raw_affiliation_string":"King\u2019s College London Department of Informatics, , London, WC2B 4BG ,","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067535646","display_name":"Viktor Schmuck","orcid":"https://orcid.org/0000-0002-4308-1352"},"institutions":[{"id":"https://openalex.org/I164213776","display_name":"King's College - North Carolina","ror":"https://ror.org/022f44628","country_code":"US","type":"education","lineage":["https://openalex.org/I164213776"]},{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Viktor Schmuck","raw_affiliation_strings":["King\u2019s College London Department of Engineering, , London, WC2R 2LS ,"],"raw_orcid":"https://orcid.org/0000-0002-4308-1352","affiliations":[{"raw_affiliation_string":"King\u2019s College London Department of Engineering, , London, WC2R 2LS ,","institution_ids":["https://openalex.org/I164213776","https://openalex.org/I183935753"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059459055","display_name":"Oya \u00c7eliktutan","orcid":"https://orcid.org/0000-0002-7213-6359"},"institutions":[{"id":"https://openalex.org/I164213776","display_name":"King's College - North Carolina","ror":"https://ror.org/022f44628","country_code":"US","type":"education","lineage":["https://openalex.org/I164213776"]},{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Oya Celiktutan","raw_affiliation_strings":["King\u2019s College London Department of Engineering, , London, WC2R 2LS ,"],"raw_orcid":"https://orcid.org/0000-0002-7213-6359","affiliations":[{"raw_affiliation_string":"King\u2019s College London Department of Engineering, , London, WC2R 2LS ,","institution_ids":["https://openalex.org/I164213776","https://openalex.org/I183935753"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1864,"currency":"USD","value_usd":1864},"apc_paid":{"value":1864,"currency":"USD","value_usd":1864},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11094179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12034","display_name":"Digital and Cyber Forensics","score":0.06260000169277191,"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"}},"topics":[{"id":"https://openalex.org/T12034","display_name":"Digital and Cyber Forensics","score":0.06260000169277191,"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"}},{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.05290000140666962,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10888","display_name":"Augmented Reality Applications","score":0.05090000107884407,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.6582000255584717},{"id":"https://openalex.org/keywords/mainstream","display_name":"Mainstream","score":0.6460999846458435},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.636900007724762},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5479000210762024},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4381999969482422},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.400299996137619},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.4000999927520752}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7081999778747559},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6582000255584717},{"id":"https://openalex.org/C2777617010","wikidata":"https://www.wikidata.org/wiki/Q18957","display_name":"Mainstream","level":2,"score":0.6460999846458435},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.636900007724762},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5479000210762024},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4381999969482422},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.400299996137619},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.4000999927520752},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3702999949455261},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.33340001106262207},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.29820001125335693},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.29019999504089355},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C13159133","wikidata":"https://www.wikidata.org/wiki/Q365674","display_name":"Security engineering","level":5,"score":0.27730000019073486},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25949999690055847},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25839999318122864},{"id":"https://openalex.org/C24119478","wikidata":"https://www.wikidata.org/wiki/Q679871","display_name":"Systems analysis","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/cybsec/tyag004","is_oa":true,"landing_page_url":"https://doi.org/10.1093/cybsec/tyag004","pdf_url":null,"source":{"id":"https://openalex.org/S2735156331","display_name":"Journal of Cybersecurity","issn_l":"2057-2085","issn":["2057-2085","2057-2093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Cybersecurity","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1093/cybsec/tyag004","is_oa":true,"landing_page_url":"https://doi.org/10.1093/cybsec/tyag004","pdf_url":null,"source":{"id":"https://openalex.org/S2735156331","display_name":"Journal of Cybersecurity","issn_l":"2057-2085","issn":["2057-2085","2057-2093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Cybersecurity","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5650930404663086}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":102,"referenced_works":["https://openalex.org/W13765794","https://openalex.org/W32301753","https://openalex.org/W91389817","https://openalex.org/W798152072","https://openalex.org/W1495408127","https://openalex.org/W1574030932","https://openalex.org/W1793101635","https://openalex.org/W1866123214","https://openalex.org/W1878401237","https://openalex.org/W1944403676","https://openalex.org/W1994367916","https://openalex.org/W2010504063","https://openalex.org/W2039430275","https://openalex.org/W2041582099","https://openalex.org/W2042526012","https://openalex.org/W2045676119","https://openalex.org/W2064023884","https://openalex.org/W2065588383","https://openalex.org/W2074086222","https://openalex.org/W2080605827","https://openalex.org/W2097365905","https://openalex.org/W2101508170","https://openalex.org/W2105061375","https://openalex.org/W2113589671","https://openalex.org/W2115309705","https://openalex.org/W2126514505","https://openalex.org/W2130851407","https://openalex.org/W2135907989","https://openalex.org/W2141535462","https://openalex.org/W2150189917","https://openalex.org/W2166423024","https://openalex.org/W2169983600","https://openalex.org/W2170824506","https://openalex.org/W2209913494","https://openalex.org/W2212082856","https://openalex.org/W2225196477","https://openalex.org/W2291789678","https://openalex.org/W2507474852","https://openalex.org/W2565301887","https://openalex.org/W2568236422","https://openalex.org/W2578142825","https://openalex.org/W2611317831","https://openalex.org/W2766353613","https://openalex.org/W2785355036","https://openalex.org/W2811344726","https://openalex.org/W2811472820","https://openalex.org/W2898301736","https://openalex.org/W2901979139","https://openalex.org/W2908340204","https://openalex.org/W2911978475","https://openalex.org/W2954457885","https://openalex.org/W2972135887","https://openalex.org/W2980712870","https://openalex.org/W2981460602","https://openalex.org/W3030742098","https://openalex.org/W3033293603","https://openalex.org/W3048033757","https://openalex.org/W3083287224","https://openalex.org/W3093836561","https://openalex.org/W3095598284","https://openalex.org/W3097629519","https://openalex.org/W3127500242","https://openalex.org/W3138047676","https://openalex.org/W3159220190","https://openalex.org/W3195011050","https://openalex.org/W3196878016","https://openalex.org/W3208467797","https://openalex.org/W4210694415","https://openalex.org/W4214886549","https://openalex.org/W4221105860","https://openalex.org/W4226255860","https://openalex.org/W4247198503","https://openalex.org/W4284692366","https://openalex.org/W4285125406","https://openalex.org/W4288046477","https://openalex.org/W4288760261","https://openalex.org/W4296983654","https://openalex.org/W4304688471","https://openalex.org/W4306410648","https://openalex.org/W4308885549","https://openalex.org/W4308935891","https://openalex.org/W4310044468","https://openalex.org/W4311955999","https://openalex.org/W4312741232","https://openalex.org/W4312857547","https://openalex.org/W4319017555","https://openalex.org/W4367310459","https://openalex.org/W4368228243","https://openalex.org/W4385724403","https://openalex.org/W4388982576","https://openalex.org/W4391253793","https://openalex.org/W4391426655","https://openalex.org/W4391462029","https://openalex.org/W4392806456","https://openalex.org/W4394729335","https://openalex.org/W4394880928","https://openalex.org/W4401261782","https://openalex.org/W4402557738","https://openalex.org/W4402784416","https://openalex.org/W4404312705","https://openalex.org/W4408384515","https://openalex.org/W4409870883"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"The":[1],"revolutionary":[2],"opportunities":[3],"presented":[4],"by":[5,59],"eXtended":[6],"Reality":[7],"(XR)":[8],"technologies":[9],"will":[10],"only":[11],"materialize":[12],"if":[13],"modeling":[14,77,96,150,155],"and":[15,39,53,56,73,78,97,104,117,133,151,156,176,179,239],"analysis":[16,152,157],"activities,":[17],"undertaken":[18],"during":[19,42,75],"the":[20,48,82,173,204],"engineering":[21],"process":[22],"of":[23,145,161,207],"XR":[24,107,212,237,248],"systems,":[25,238],"are":[26,250],"directed":[27],"towards":[28],"ensuring":[29],"their":[30],"social":[31],"acceptance.":[32],"By":[33],"this,":[34],"we":[35,89,139,171,195],"mean":[36],"integrating":[37],"human":[38,83],"technical":[40],"aspects":[41,246],"system":[43,49,76],"development":[44],"to":[45,64,218,230],"ensure":[46],"that":[47,202],"guarantees":[50,67],"communication":[51],"security":[52,100,235,241],"data":[54],"privacy,":[55],"is":[57,68],"trusted":[58],"end":[60],"users.":[61],"One":[62],"approach":[63],"achieve":[65],"these":[66,136],"through":[69],"rigorous,":[70],"formal":[71,208,226,253],"specification":[72],"verification":[74],"analysis,":[79],"explicitly":[80],"considering":[81],"factor.":[84],"Accordingly,":[85],"in":[86,106,210,236,247,252],"this":[87],"survey,":[88],"systematically":[90],"investigate":[91],"6":[92],"mainstream":[93],"formalisms":[94],"for":[95,183,225,240],"analyzing":[98],"socio-technical":[99,234,245],"concerns,":[101],"encompassing":[102],"privacy":[103],"trust,":[105],"systems.":[108],"We":[109],"consider":[110],"both":[111],"desired":[112],"concerns":[113],"(e.g.,":[114,120],"requirements,":[115],"properties)":[116],"undesired":[118],"ones":[119],"threats,":[121],"attacks).":[122],"Our":[123],"investigation":[124,189],"incorporates":[125],"34":[126],"state-of-the-art":[127],"approaches":[128],"comprising":[129],"languages,":[130],"techniques,":[131],"frameworks,":[132],"tools,":[134],"leveraging":[135],"formalisms,":[137],"which":[138],"compare":[140],"against":[141],"a":[142,191,222],"diverse":[143],"set":[144],"criteria:":[146],"(1)":[147],"expressivity,":[148],"(2)":[149],"complexity,":[153],"(3)":[154],"constructs,":[158],"(4)":[159],"power":[160],"inference,":[162],"(5)":[163],"user-friendliness,":[164],"(6)":[165],"applicability.":[166],"Based":[167],"on":[168,244],"our":[169,188],"findings,":[170],"identify":[172],"current":[174],"gaps":[175],"considerable":[177],"challenges":[178],"suggest":[180],"an":[181],"agenda":[182],"future":[184],"research.":[185],"To":[186],"guide":[187],"from":[190,221],"more":[192,232],"practical":[193],"perspective,":[194],"also":[196],"present":[197],"two":[198],"real-world":[199],"pilot":[200],"studies":[201],"illustrate":[203],"potential":[205],"application":[206],"methods":[209,227],"specific":[211],"applications.":[213],"This":[214],"work":[215],"thus":[216],"aims":[217],"provide":[219],"insights":[220],"twofold":[223],"perspective:":[224],"researchers":[228],"seeking":[229],"learn":[231],"about":[233],"practitioners":[242],"focused":[243],"who":[249],"interested":[251],"approaches.":[254]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2026-02-12T00:00:00"}