{"id":"https://openalex.org/W4414002931","doi":"https://doi.org/10.3390/jcp5030066","title":"Analyzing Action Interference of Administrative Obligations for SMT-Based Verification","display_name":"Analyzing Action Interference of Administrative Obligations for SMT-Based Verification","publication_year":2025,"publication_date":"2025-09-04","ids":{"openalex":"https://openalex.org/W4414002931","doi":"https://doi.org/10.3390/jcp5030066"},"language":"en","primary_location":{"id":"doi:10.3390/jcp5030066","is_oa":true,"landing_page_url":"https://doi.org/10.3390/jcp5030066","pdf_url":"https://www.mdpi.com/2624-800X/5/3/66/pdf?version=1756971923","source":{"id":"https://openalex.org/S4210232532","display_name":"Journal of Cybersecurity and Privacy","issn_l":"2624-800X","issn":["2624-800X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"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 and Privacy","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2624-800X/5/3/66/pdf?version=1756971923","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032050668","display_name":"Vladislav Dubrovenski","orcid":"https://orcid.org/0009-0008-9367-6398"},"institutions":[{"id":"https://openalex.org/I75421653","display_name":"University of Missouri\u2013Kansas City","ror":"https://ror.org/01w0d5g70","country_code":"US","type":"education","lineage":["https://openalex.org/I75421653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vladislav Dubrovenski","raw_affiliation_strings":["Division of Computing, Analytics and Mathematics, School of Science and Engineering, University of Missouri-Kansas City, Kansas City, MO 64110, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Division of Computing, Analytics and Mathematics, School of Science and Engineering, University of Missouri-Kansas City, Kansas City, MO 64110, USA","institution_ids":["https://openalex.org/I75421653"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002783173","display_name":"Yi Chen","orcid":"https://orcid.org/0000-0001-7960-8374"},"institutions":[{"id":"https://openalex.org/I75421653","display_name":"University of Missouri\u2013Kansas City","ror":"https://ror.org/01w0d5g70","country_code":"US","type":"education","lineage":["https://openalex.org/I75421653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Leo Chen","raw_affiliation_strings":["Division of Computing, Analytics and Mathematics, School of Science and Engineering, University of Missouri-Kansas City, Kansas City, MO 64110, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Division of Computing, Analytics and Mathematics, School of Science and Engineering, University of Missouri-Kansas City, Kansas City, MO 64110, USA","institution_ids":["https://openalex.org/I75421653"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080541939","display_name":"Dianxiang Xu","orcid":"https://orcid.org/0000-0003-4529-3540"},"institutions":[{"id":"https://openalex.org/I75421653","display_name":"University of Missouri\u2013Kansas City","ror":"https://ror.org/01w0d5g70","country_code":"US","type":"education","lineage":["https://openalex.org/I75421653"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Dianxiang Xu","raw_affiliation_strings":["Division of Computing, Analytics and Mathematics, School of Science and Engineering, University of Missouri-Kansas City, Kansas City, MO 64110, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Division of Computing, Analytics and Mathematics, School of Science and Engineering, University of Missouri-Kansas City, Kansas City, MO 64110, USA","institution_ids":["https://openalex.org/I75421653"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5080541939"],"corresponding_institution_ids":["https://openalex.org/I75421653"],"apc_list":{"value":1000,"currency":"CHF","value_usd":1207},"apc_paid":{"value":1000,"currency":"CHF","value_usd":1207},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26322677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"3","first_page":"66","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9882000088691711,"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9876999855041504,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interference","display_name":"Interference (communication)","score":0.6602694988250732},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.555202066898346},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5315413475036621},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.36763668060302734},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.2960139513015747},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07403045892715454}],"concepts":[{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.6602694988250732},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.555202066898346},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5315413475036621},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.36763668060302734},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.2960139513015747},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07403045892715454},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/jcp5030066","is_oa":true,"landing_page_url":"https://doi.org/10.3390/jcp5030066","pdf_url":"https://www.mdpi.com/2624-800X/5/3/66/pdf?version=1756971923","source":{"id":"https://openalex.org/S4210232532","display_name":"Journal of Cybersecurity and Privacy","issn_l":"2624-800X","issn":["2624-800X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"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 and Privacy","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:1298b10a9f184180b6007238b6033c6a","is_oa":true,"landing_page_url":"https://doaj.org/article/1298b10a9f184180b6007238b6033c6a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Cybersecurity and Privacy, Vol 5, Iss 3, p 66 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/jcp5030066","is_oa":true,"landing_page_url":"https://doi.org/10.3390/jcp5030066","pdf_url":"https://www.mdpi.com/2624-800X/5/3/66/pdf?version=1756971923","source":{"id":"https://openalex.org/S4210232532","display_name":"Journal of Cybersecurity and Privacy","issn_l":"2624-800X","issn":["2624-800X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"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 and Privacy","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2058718307","display_name":"Interdisciplinary Graduate Training through Research in Artificial Intelligence and Secure Networked Sensing to Mitigate the Crisis of Alcohol and Drug Abuse","funder_award_id":"2152057","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7821517585","display_name":"FMitF: Track II: SMT-Based Reachability Analyzer of NGAC Policies","funder_award_id":"2318891","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"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414002931.pdf","grobid_xml":"https://content.openalex.org/works/W4414002931.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1965071108","https://openalex.org/W1967269525","https://openalex.org/W1997862012","https://openalex.org/W2053570754","https://openalex.org/W2053741629","https://openalex.org/W2068189899","https://openalex.org/W2339314863","https://openalex.org/W2427738745","https://openalex.org/W2498950568","https://openalex.org/W2567805712","https://openalex.org/W2568995548","https://openalex.org/W2735855164","https://openalex.org/W2767748837","https://openalex.org/W2805976392","https://openalex.org/W2898136424","https://openalex.org/W2908957302","https://openalex.org/W2981962609","https://openalex.org/W3032535963","https://openalex.org/W3167415215","https://openalex.org/W4226421312","https://openalex.org/W4231640108","https://openalex.org/W4243718193","https://openalex.org/W4313480746","https://openalex.org/W4377967735","https://openalex.org/W4385485102","https://openalex.org/W4391937125","https://openalex.org/W4396523542"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Obligations":[0],"in":[1,43,65,74,120],"the":[2,9,33,40,75,85,114,125,128,140],"Next-Generation":[3],"Access":[4],"Control":[5],"(NGAC)":[6],"standard":[7],"enable":[8],"development":[10],"of":[11,77,118,145],"security-intensive":[12],"workflow":[13],"systems":[14],"where":[15],"access":[16,26,146],"privileges":[17],"evolve":[18],"over":[19],"time.":[20],"However,":[21],"specifying":[22],"obligations":[23,57,79,119],"for":[24,87,113],"dynamic":[25],"requirements":[27],"poses":[28],"challenges,":[29],"with":[30],"errors":[31],"having":[32],"potential":[34,86],"to":[35,39,55,134],"cause":[36],"significant":[37],"harm":[38],"authorization":[41],"state":[42],"NGAC":[44,60,121],"applications.":[45],"To":[46,95],"identify":[47],"and":[48,107,131,143],"rectify":[49],"such":[50],"errors,":[51],"our":[52],"work":[53],"aims":[54],"verify":[56],"by":[58],"translating":[59],"policies":[61],"into":[62,80],"logical":[63,111],"formulas":[64,112],"SMTs":[66],"(Satisfiability":[67],"Modulo":[68],"Theories).":[69],"A":[70],"primary":[71],"challenge":[72],"lies":[73],"formalization":[76,142],"procedural":[78],"declarative":[81],"SMT":[82],"formulas,":[83],"given":[84],"interference":[88],"among":[89,104],"administrative":[90],"actions":[91,106],"within":[92],"an":[93],"obligation.":[94],"address":[96],"this":[97,99],"issue,":[98],"paper":[100],"analyzes":[101],"all":[102],"conflicts":[103],"obligation":[105],"formalizes":[108],"them":[109],"as":[110],"correct":[115],"SMT-based":[116],"verification":[117,144],"policies.":[122],"We":[123],"implemented":[124],"approach":[126],"using":[127],"cvc5":[129],"solver":[130],"applied":[132],"it":[133],"real-world":[135],"systems.":[136],"The":[137],"results":[138],"illustrate":[139],"successful":[141],"control":[147],"requirements.":[148]},"counts_by_year":[],"updated_date":"2026-08-24T07:32:12.397491","created_date":"2025-10-10T00:00:00"}