{"id":"https://openalex.org/W2889303410","doi":"https://doi.org/10.1504/ijes.2018.10015744","title":"Static compliance checking beyond separation of duty constraints","display_name":"Static compliance checking beyond separation of duty constraints","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2889303410","doi":"https://doi.org/10.1504/ijes.2018.10015744","mag":"2889303410"},"language":"en","primary_location":{"id":"doi:10.1504/ijes.2018.10015744","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijes.2018.10015744","pdf_url":null,"source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035720671","display_name":"Qing Tang","orcid":"https://orcid.org/0000-0003-0805-7506"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing Tang","raw_affiliation_strings":["School of Software and Microelectronics, Peking University, Yiheyuan Road No. 5, Haidian District, 100871, Beijing, China; School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","School of Software and Microelectronics, Peking University, Yiheyuan Road No. 5, Haidian District, 100871, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software and Microelectronics, Peking University, Yiheyuan Road No. 5, Haidian District, 100871, Beijing, China; School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","institution_ids":["https://openalex.org/I20231570","https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Software and Microelectronics, Peking University, Yiheyuan Road No. 5, Haidian District, 100871, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102376547","display_name":"Yang Luo","orcid":"https://orcid.org/0009-0000-3645-3632"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Luo","raw_affiliation_strings":["School of Software and Microelectronics, Peking University, Yiheyuan Road No. 5, Haidian District, 100871, Beijing, China; School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","School of Software and Microelectronics, Peking University, Yiheyuan Road No. 5, Haidian District, 100871, Beijing, China","School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software and Microelectronics, Peking University, Yiheyuan Road No. 5, Haidian District, 100871, Beijing, China; School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","institution_ids":["https://openalex.org/I20231570","https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Software and Microelectronics, Peking University, Yiheyuan Road No. 5, Haidian District, 100871, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038605749","display_name":"Bo Yang","orcid":"https://orcid.org/0000-0003-0149-8683"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Bo","raw_affiliation_strings":["School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035296513","display_name":"Chunhe Xia","orcid":"https://orcid.org/0000-0003-4424-8449"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunhe Xia","raw_affiliation_strings":["School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Beijing Key Laboratory of Network Technology, Beihang University, XueYuan Road No. 37, HaiDian District, 100191, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1074655,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"5","first_page":"423","last_page":"423"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9878000020980835,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.977400004863739,"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/separation-of-duties","display_name":"Separation of duties","score":0.7206421494483948},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7134253978729248},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5878204107284546},{"id":"https://openalex.org/keywords/compliance","display_name":"Compliance (psychology)","score":0.5680098533630371},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5562750697135925},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5489755272865295},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5393590331077576},{"id":"https://openalex.org/keywords/duty","display_name":"Duty","score":0.4993565082550049},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.42428058385849},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36962103843688965},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3253723382949829},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.1928611397743225},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.13231822848320007},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11596149206161499},{"id":"https://openalex.org/keywords/role-based-access-control","display_name":"Role-based access control","score":0.08011117577552795},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.07106921076774597}],"concepts":[{"id":"https://openalex.org/C100587491","wikidata":"https://www.wikidata.org/wiki/Q1474665","display_name":"Separation of duties","level":4,"score":0.7206421494483948},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7134253978729248},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5878204107284546},{"id":"https://openalex.org/C2781460075","wikidata":"https://www.wikidata.org/wiki/Q1399332","display_name":"Compliance (psychology)","level":2,"score":0.5680098533630371},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5562750697135925},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5489755272865295},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5393590331077576},{"id":"https://openalex.org/C2779103253","wikidata":"https://www.wikidata.org/wiki/Q878070","display_name":"Duty","level":2,"score":0.4993565082550049},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.42428058385849},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36962103843688965},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3253723382949829},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.1928611397743225},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.13231822848320007},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11596149206161499},{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.08011117577552795},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.07106921076774597},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijes.2018.10015744","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijes.2018.10015744","pdf_url":null,"source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2145857528","https://openalex.org/W2600281731","https://openalex.org/W2380657131","https://openalex.org/W2545624517","https://openalex.org/W3127282541","https://openalex.org/W2100245805","https://openalex.org/W2386430324","https://openalex.org/W2134167896","https://openalex.org/W2789003864","https://openalex.org/W2085879742"],"abstract_inverted_index":{"Compliance":[0],"requirements,":[1],"such":[2],"as":[3],"separation":[4,49],"of":[5,9,50,123],"duty":[6,51],"and":[7,37,58],"binding":[8],"duty,":[10],"have":[11,24],"to":[12,61,70,76,92,99,112],"be":[13],"satisfied":[14],"in":[15,104],"many":[16],"application":[17],"domains.":[18],"Existing":[19],"compliance":[20,72],"checking":[21],"frameworks":[22],"either":[23],"limited":[25],"expressiveness":[26],"or":[27],"rely":[28],"on":[29,84,120],"model":[30],"checking,":[31],"which":[32],"has":[33],"small":[34],"applicable":[35],"range":[36],"low":[38,100],"efficiency.":[39],"To":[40],"overcome":[41],"these":[42],"limitations,":[43],"we":[44],"improve":[45],"high":[46,80,96],"level":[47,81,97,101],"expression":[48],"algebra":[52],"to:":[53],"1)":[54,88],"describe":[55,67],"both":[56],"SoD":[57],"BoD":[59],"constraints":[60,102],"make":[62,77],"it":[63],"more":[64],"expressive;":[65],"2)":[66,107],"user-task":[68],"relationship":[69],"perform":[71],"checking.":[73],"In":[74],"order":[75],"the":[78,94,121],"improved":[79,95],"policy":[82],"act":[83],"concrete":[85],"process,":[86],"we:":[87],"construct":[89],"mapping":[90],"rules":[91],"translate":[93],"policies":[98],"described":[103],"description":[105],"logic;":[106],"propose":[108],"a":[109,127],"reasoning":[110],"framework":[111],"check":[113],"for":[114],"business":[115],"process":[116],"compliance.":[117],"We":[118],"report":[119],"applicability":[122],"our":[124],"approach":[125],"via":[126],"case":[128],"study.":[129]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}