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
-
- Intl. J. of Software Eng. and Knowledge Eng 17(1)
-
Intl. J. of Software Eng. and Knowledge Eng 17(1) 3-32, 2007
- Tweet
Details 詳細情報について
-
- CRID
- 1010282257420750987
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN