3 P. Giorgini G. Manson H. Mouratidis 2003 Modelling Secure Multiagent Systems. 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (2003) pub