Skip to content
@AFMUC-Metamodel

AFMUC Metamodel

AFMUC: an aspect-oriented UML Misuse Case extension for modular security threats and mitigations, with weaving algorithm, Coq proofs, and EU-Rent models.
  • Pakistan

Popular repositories Loading

  1. Formal-Proof Formal-Proof Public

    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,…

    Rocq Prover

Repositories

Showing 1 of 1 repositories
  • Formal-Proof Public

    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.

    AFMUC-Metamodel/Formal-Proof’s past year of commit activity
    Rocq Prover 0 GPL-3.0 0 0 0 Updated Nov 1, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…