A Formal Security Model for Collaboration in Multi-agency Networks In Proceedings of the 2nd International Workshop on Security in Information Systems - Volume 0ICEIS, 157-169, 2004 , Porto, Portugal