د. عصام مأمون العزوني

أستاذ مشارك

مقر العين

سيرة شخصية

التعليم

Ph.D. in Software Engineering, McMaster University, Canada
Master of Applied Sciences in Software Engineering, McMaster University, Canada
Bachelor of Engineering (Software Engineering), McMaster University, Canada

الاهتمامات البحثية

Applications of formal methods and machine learning in software engineering
Software modeling
Model transformations
Software performance engineering and Data Science
Smart Contracts and Blockchains.

منشورات مختارة

المواد التدريسية

Software Evolution and Maintenance
Introduction to Artificial Intelligence
Ethical Hacking
Software Measurement and Testing
Data Structures and Algorithms

العضويات

IEEE: Institute of Electrical and Electronics Engineers – Senior Member

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all.

This person’s work contributes towards the following SDG(s):

Access Control Verification in Smart Contracts Using Colored Petri Nets

أكتوبر 22, 2024

Issam Al-Azzoni Saqib Iqbal

This paper presents an approach for the verification of access control in smart contracts written in the Digital Asset Modeling Language (DAML). The approach utilizes Colored Petri Nets (CPNs) and their analysis tool CPN Tools. It is a model-driven-based approach that employs a new meta-model for capturing access control requirements in DAML contracts. The approach is supported by a suite of tools that fully automates all of the steps: parsing DAML code, generating DAML model instances, transforming the DAML models into CPN models, and model checking the generated CPN models. The approach is tested using several DAML scripts involving access control extracted from different domains of blockchain applications.