AFMUC Metamodel Formal Verification and Validation

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: iqbal, shumaila
DOI: 10.5281/zenodo.17555881
Cited by: 0

Abstract

Implementation of the AFMUC metamodel, a UML Misuse Case extension using Aspect-Oriented Modeling to modularize crosscutting security threats and mitigations. Includes the formal weaving algorithm, Coq-verified proofs, and Papyrus models based on the EU-Rent case study.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
26 April 2026