Formal Analysis of Workflow Systems with Security Considerations
Bibliographic Information
- Title
- Formal Analysis of Workflow Systems with Security Considerations
- Author
- Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Journal
-
- Proc.of the 17^<th> International Conference on Software Engineering and Knowledge Engineering (SEKE 2005)
-
Proc.of the 17^<th> International Conference on Software Engineering and Knowledge Engineering (SEKE 2005) 531-536, 2005
- Tweet
Details 詳細情報について
-
- CRID
- 1010000781802278151
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN