Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints

Bibliographic Information

Title
Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints
Author
W. Kong, K. Ogata, K. Futatsugi

Journal

Related Projects

See more

Details 詳細情報について

  • CRID
    1010282257420750987
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top