[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

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