Access Control Verification in Smart Contracts Using Colored Petri Nets
Published in: Computers
Oct 22, 2024
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
Published in: Computers in Human Behavior Reports
Oct 21, 2024
Cyber threats are one of the main concerns in this growing technology epoch. To tackle this issue, highly skilled and motivated cybersecurity professionals are increasingly in demand to prevent, detect, respond to, or even mitigate the effects of such threats. However, the world faces a workforce shortage of qualified cybersecurity professionals and practitioners. To address this dilemma, several cybersecurity educational programs have been introduced, such as specialized cybersecurity courses ...
On computation of solution for (2+1) dimensional fractional order general wave equation
Published in: Partial Differential Equations in Applied Mathematics
Oct 03, 2024
In this research article, we handle a class of (2+1) dimensional wave equations under fractional-order derivatives using an iterative integral transform due to Laplace. The concerned derivative is taken in the Caputo's sense. The proposed method is a purely algebraic manipulation approach to compute solutions without a priori knowledge of geometry and physical meaning related to the proposed problem. In fact, in this procedure, we combine two novel techniques, Laplace transforms (LT) and iterat...