Response of Overhanging RC Beams Strengthened with Various Schemes of Externally Bonded CFRP Strips

نوفمبر 01, 2024

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, transfo...

Cybersecurity activities for education and curriculum design: A survey

أكتوبر 21, 2024

Muhusina Ismail Nisha Thorakkattu Madathil Meera Alalawi Saed Alrabaee Mohammad Al Bataineh Suhib Melhem Djedjiga Mouheb