{"id":"https://openalex.org/W4403648275","doi":"https://doi.org/10.3390/computers13110274","title":"Access Control Verification in Smart Contracts Using Colored Petri Nets","display_name":"Access Control Verification in Smart Contracts Using Colored Petri Nets","publication_year":2024,"publication_date":"2024-10-22","ids":{"openalex":"https://openalex.org/W4403648275","doi":"https://doi.org/10.3390/computers13110274"},"language":"en","primary_location":{"id":"doi:10.3390/computers13110274","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers13110274","pdf_url":"https://www.mdpi.com/2073-431X/13/11/274/pdf?version=1729593003","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"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":"Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-431X/13/11/274/pdf?version=1729593003","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067093386","display_name":"Issam Al-Azzoni","orcid":"https://orcid.org/0000-0002-2758-8145"},"institutions":[{"id":"https://openalex.org/I161913731","display_name":"Al Ain University","ror":"https://ror.org/023abrt21","country_code":"AE","type":"education","lineage":["https://openalex.org/I161913731"]}],"countries":["AE"],"is_corresponding":true,"raw_author_name":"Issam Al-Azzoni","raw_affiliation_strings":["College of Engineering, Al Ain University, Al Ain 64141, United Arab Emirates"],"raw_orcid":"https://orcid.org/0000-0002-2758-8145","affiliations":[{"raw_affiliation_string":"College of Engineering, Al Ain University, Al Ain 64141, United Arab Emirates","institution_ids":["https://openalex.org/I161913731"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101714379","display_name":"Saqib Iqbal","orcid":"https://orcid.org/0000-0001-8311-6129"},"institutions":[{"id":"https://openalex.org/I161913731","display_name":"Al Ain University","ror":"https://ror.org/023abrt21","country_code":"AE","type":"education","lineage":["https://openalex.org/I161913731"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Saqib Iqbal","raw_affiliation_strings":["College of Engineering, Al Ain University, Al Ain 64141, United Arab Emirates"],"raw_orcid":"https://orcid.org/0000-0001-8311-6129","affiliations":[{"raw_affiliation_string":"College of Engineering, Al Ain University, Al Ain 64141, United Arab Emirates","institution_ids":["https://openalex.org/I161913731"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067093386"],"corresponding_institution_ids":["https://openalex.org/I161913731"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1782},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1782},"fwci":1.337,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87144067,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"13","issue":"11","first_page":"274","last_page":"274"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9995999932289124,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9995999932289124,"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/T11045","display_name":"Privacy, Security, and Data Protection","score":0.9247999787330627,"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9050999879837036,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.7969207763671875},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6415919065475464},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5395793914794922},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.49451157450675964},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4665859341621399},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.30785688757896423},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23075804114341736},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16953659057617188},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.04753461480140686}],"concepts":[{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.7969207763671875},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6415919065475464},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5395793914794922},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.49451157450675964},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4665859341621399},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.30785688757896423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23075804114341736},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16953659057617188},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.04753461480140686},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/computers13110274","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers13110274","pdf_url":"https://www.mdpi.com/2073-431X/13/11/274/pdf?version=1729593003","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"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":"Computers","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:9e9b6988d8e94d75ab609917f8825406","is_oa":true,"landing_page_url":"https://doaj.org/article/9e9b6988d8e94d75ab609917f8825406","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":"Computers, Vol 13, Iss 11, p 274 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/computers13110274","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers13110274","pdf_url":"https://www.mdpi.com/2073-431X/13/11/274/pdf?version=1729593003","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"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":"Computers","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403648275.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1931082782","https://openalex.org/W2119153084","https://openalex.org/W2137482403","https://openalex.org/W2538848838","https://openalex.org/W2604844934","https://openalex.org/W2799066791","https://openalex.org/W2804791132","https://openalex.org/W2897525439","https://openalex.org/W2899381463","https://openalex.org/W2911193845","https://openalex.org/W2961680519","https://openalex.org/W2962584186","https://openalex.org/W3009529394","https://openalex.org/W3096316084","https://openalex.org/W3116313671","https://openalex.org/W3120558584","https://openalex.org/W4229075980","https://openalex.org/W4230706480","https://openalex.org/W4234256248","https://openalex.org/W4249484115","https://openalex.org/W4251392686","https://openalex.org/W4292434208","https://openalex.org/W4300127641","https://openalex.org/W4311925389","https://openalex.org/W4367311043","https://openalex.org/W4390665482","https://openalex.org/W4399398977","https://openalex.org/W6763563850"],"related_works":["https://openalex.org/W2140509105","https://openalex.org/W1547843988","https://openalex.org/W3146178872","https://openalex.org/W4235907447","https://openalex.org/W1551257573","https://openalex.org/W4205128724","https://openalex.org/W4230983483","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W2040849466"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"an":[3],"approach":[4,23,39,54,91],"for":[5,45],"the":[6,16,67,77,86],"verification":[7],"of":[8,60,66,105],"access":[9,47,99],"control":[10,48,100],"in":[11,15,50],"smart":[12],"contracts":[13],"written":[14],"Digital":[17],"Asset":[18],"Modeling":[19],"Language":[20],"(DAML).":[21],"The":[22,53,90],"utilizes":[24],"Colored":[25],"Petri":[26],"Nets":[27],"(CPNs)":[28],"and":[29,83],"their":[30],"analysis":[31],"tool":[32],"CPN":[33,81,88],"Tools.":[34],"It":[35],"is":[36,55,92],"a":[37,42,58],"model-driven-based":[38],"that":[40,62],"employs":[41],"new":[43],"meta-model":[44],"capturing":[46],"requirements":[49],"DAML":[51,70,73,78,96],"contracts.":[52],"supported":[56],"by":[57],"suite":[59],"tools":[61],"fully":[63],"automates":[64],"all":[65],"steps:":[68],"parsing":[69],"code,":[71],"generating":[72],"model":[74,84],"instances,":[75],"transforming":[76],"models":[79],"into":[80],"models,":[82],"checking":[85],"generated":[87],"models.":[89],"tested":[93],"using":[94],"several":[95],"scripts":[97],"involving":[98],"extracted":[101],"from":[102],"different":[103],"domains":[104],"blockchain":[106],"applications.":[107]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}