Formal Analysis of Workflow Systems with Security Considerations
書誌事項
- タイトル
- Formal Analysis of Workflow Systems with Security Considerations
- 著者
- Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
収録刊行物
-
- 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