Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Formal Analysis of Workflow Systems with Security Considerations
SEKE, 2005.
@inproceedings{SEKE-2005-KongOF,
author = "Weiqiang Kong and Kazuhiro Ogata and Kokichi Futatsugi",
booktitle = "{Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-16-0",
pages = "531--536",
title = "{Formal Analysis of Workflow Systems with Security Considerations}",
year = 2005,
}