Specification and verification of workflows with RBAC mechanism and SoD constraints

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

    Research output: Contribution to journalArticlepeer-review

    8 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Specification and verification of workflows with RBAC mechanism and SoD constraints'. Together they form a unique fingerprint.

    Engineering & Materials Science