Formal Analysis of Workflow Systems with Security Considerations.

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

Browse the full SEKE paper archive.