Wouter Teepe Reind P. van de Riet Martin S. Olivier WorkFlow Analyzed for Security and Privacy in Using Databases. 353-364 2003 11 Journal of Computer Security 3 db/journals/jcs/jcs11.html#TeepeRO03