Article
An iomt image crypto-system based on spatial watermarking and asymmetric encryption
نوفمبر 20, 2024
Article
Radiation-shielding concrete: A review of materials, performance, and the impact of radiation on concrete properties
نوفمبر 15, 2024
Article
اكتشاف مشتقات ثيازول جديدة تحتوي على سقالة بيرازول كمنشطات PPAR-γ، ومثبطات ألفا جلوكوزيداز، وألفا أميليز، وكوكس-2؛ التصميم والتوليف والدراسة الحاسوبية
نوفمبر 01, 2024
Article
Response of Overhanging RC Beams Strengthened with Various Schemes of Externally Bonded CFRP Strips
نوفمبر 01, 2024
Article
Access Control Verification in Smart Contracts Using Colored Petri Nets
أكتوبر 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...
Displaying 171-176 of 749 result(s).