{"id":"https://openalex.org/W4307346192","doi":"https://doi.org/10.1145/3558819.3558821","title":"The Runtime model checking Method for Zero Trust Security Policy","display_name":"The Runtime model checking Method for Zero Trust Security Policy","publication_year":2022,"publication_date":"2022-09-23","ids":{"openalex":"https://openalex.org/W4307346192","doi":"https://doi.org/10.1145/3558819.3558821"},"language":"en","primary_location":{"id":"doi:10.1145/3558819.3558821","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3558819.3558821","pdf_url":null,"source":{"id":"https://openalex.org/S4363608855","display_name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","raw_type":"proceedings-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/A5018076186","display_name":"Zhi Niu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210098582","display_name":"ZTE (China)","ror":"https://ror.org/00rjhhq63","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210098582"]},{"id":"https://openalex.org/I4391767749","display_name":"State Key Laboratory of Mobile Networks and Mobile Multimedia Technology","ror":"https://ror.org/05cd55294","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210098582","https://openalex.org/I4391767749"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhi Niu","raw_affiliation_strings":["ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China"],"affiliations":[{"raw_affiliation_string":"ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China","institution_ids":["https://openalex.org/I4210098582","https://openalex.org/I4391767749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054157294","display_name":"Luming Dong","orcid":null},"institutions":[{"id":"https://openalex.org/I4210098582","display_name":"ZTE (China)","ror":"https://ror.org/00rjhhq63","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210098582"]},{"id":"https://openalex.org/I4391767749","display_name":"State Key Laboratory of Mobile Networks and Mobile Multimedia Technology","ror":"https://ror.org/05cd55294","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210098582","https://openalex.org/I4391767749"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Luming Dong","raw_affiliation_strings":["ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China"],"affiliations":[{"raw_affiliation_string":"ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China","institution_ids":["https://openalex.org/I4210098582","https://openalex.org/I4391767749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017180879","display_name":"Yong Zhu","orcid":"https://orcid.org/0000-0001-6217-088X"},"institutions":[{"id":"https://openalex.org/I4210098582","display_name":"ZTE (China)","ror":"https://ror.org/00rjhhq63","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210098582"]},{"id":"https://openalex.org/I4391767749","display_name":"State Key Laboratory of Mobile Networks and Mobile Multimedia Technology","ror":"https://ror.org/05cd55294","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210098582","https://openalex.org/I4391767749"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Zhu","raw_affiliation_strings":["ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China"],"affiliations":[{"raw_affiliation_string":"ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China","institution_ids":["https://openalex.org/I4210098582","https://openalex.org/I4391767749"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5018076186"],"corresponding_institution_ids":["https://openalex.org/I4210098582","https://openalex.org/I4391767749"],"apc_list":null,"apc_paid":null,"fwci":0.8722,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78481481,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"8","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9998000264167786,"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.9998000264167786,"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/T11424","display_name":"Security and Verification in Computing","score":0.9983999729156494,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9894000291824341,"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.8092032074928284},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.6488845348358154},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5459557771682739},{"id":"https://openalex.org/keywords/network-security-policy","display_name":"Network security policy","score":0.5176197290420532},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.5147554874420166},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5066762566566467},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.48658907413482666},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.46496516466140747},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.454183965921402},{"id":"https://openalex.org/keywords/logic-model","display_name":"Logic model","score":0.42025917768478394},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.4200684130191803},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4153733253479004},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4106985926628113},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.25434815883636475},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24195155501365662},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.21875151991844177},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.17547929286956787},{"id":"https://openalex.org/keywords/public-administration","display_name":"Public administration","score":0.11203479766845703}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8092032074928284},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.6488845348358154},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5459557771682739},{"id":"https://openalex.org/C117110713","wikidata":"https://www.wikidata.org/wiki/Q3394676","display_name":"Network security policy","level":4,"score":0.5176197290420532},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.5147554874420166},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5066762566566467},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.48658907413482666},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.46496516466140747},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.454183965921402},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.42025917768478394},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.4200684130191803},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4153733253479004},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4106985926628113},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25434815883636475},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24195155501365662},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.21875151991844177},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.17547929286956787},{"id":"https://openalex.org/C3116431","wikidata":"https://www.wikidata.org/wiki/Q31728","display_name":"Public administration","level":1,"score":0.11203479766845703},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3558819.3558821","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3558819.3558821","pdf_url":null,"source":{"id":"https://openalex.org/S4363608855","display_name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7099999785423279,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W327452528","https://openalex.org/W2120237629","https://openalex.org/W2154765153","https://openalex.org/W2296772897","https://openalex.org/W2413344125","https://openalex.org/W2962170189"],"related_works":["https://openalex.org/W2188814192","https://openalex.org/W1519114293","https://openalex.org/W2151761340","https://openalex.org/W2087536126","https://openalex.org/W2111277540","https://openalex.org/W3094039898","https://openalex.org/W2173238669","https://openalex.org/W2130339907","https://openalex.org/W2375663084","https://openalex.org/W2114705216"],"abstract_inverted_index":{"The":[0],"policy":[1,37,45,53,57,63,73,82,89,112,118,142,188,195],"administrator":[2],"is":[3,12,59],"a":[4,62,122],"zero":[5],"trust":[6],"dynamic":[7],"authority":[8],"determination":[9],"component,":[10],"which":[11],"mainly":[13],"responsible":[14],"for":[15,116],"the":[16,25,28,33,36,44,52,56,72,81,88,93,97,100,104,107,111,117,125,129,134,141,146,165,170,173,176,182,187,192],"management,":[17],"storage":[18],"and":[19,30,70,109,145,151,167,180,184,189],"evaluation":[20,26,183],"of":[21,27,32,96,99,106,128,172,178,186,191],"policies.":[22],"Aiming":[23],"at":[24],"security":[29,166,194],"effectiveness":[31,190],"policies":[34],"in":[35,51],"administrator,":[38],"this":[39,132],"paper":[40],"proposes":[41],"to":[42,91,120,159,163],"introduce":[43],"model":[46,78,161],"online":[47],"service":[48],"verification":[49,95],"component":[50],"administrator.":[54],"First,":[55],"file":[58],"formalized":[60],"into":[61],"instance":[64,74],"logic":[65,75,84],"specification":[66,76,85],"through":[67],"logical":[68],"abstraction,":[69],"then":[71],"Perform":[77],"check":[79],"with":[80],"abstract":[83],"developed":[86],"by":[87,140],"designer":[90],"realize":[92],"pre-check":[94,108,179],"consistency":[98],"police":[101],"file.":[102],"After":[103],"completion":[105],"verification,":[110],"will":[113],"be":[114],"executed":[115],"manager":[119],"make":[121],"decision":[123],"on":[124],"execution":[126],"point":[127,144],"policy.":[130,174],"At":[131],"time,":[133],"system":[135],"operating":[136],"state":[137],"data":[138],"intercepted":[139],"enforcement":[143],"embedded":[147],"system's":[148],"security,":[149],"compliance,":[150],"legal":[152],"treaty":[153],"form":[154],"process":[155],"specifications":[156],"are":[157,196],"used":[158],"perform":[160],"post-check":[162],"achieve":[164],"alarm":[168],"after":[169],"implementation":[171],"Through":[175],"combination":[177],"post-check,":[181],"testing":[185],"zero-trust":[193],"finally":[197],"realized.":[198]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}