Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints
書誌事項
- タイトル
- Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints
- 著者
- W. Kong, K. Ogata, K. Futatsugi
収録刊行物
-
- Intl. J. of Software Eng. and Knowledge Eng 17(1)
-
Intl. J. of Software Eng. and Knowledge Eng 17(1) 3-32, 2007