EEMCS

ter Beek, M. and Lenzini, G. and Petrocchi, M. (2004) Team Automata for Security Analysis. Technical Report TR-CTIT-04-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

ter Beek, M. and Lenzini, G. and Petrocchi, M. (2004) Team Automata for Security (A Survey). In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004), Aug.30-Sept.4, 2004, London, United Kingdom. pp. 105-119. Electronic Notes in Theoretical Computer Science 128 (5). Elsevier. ISSN 1571-0661

ter Beek, M. and Lenzini, G. and Petrocchi, M. (2003) Team Automata for Security Analysis of Multicast/Broadcast Communication. In: ATPN Workshop on Issues in Security and Petri Nets (WISP), 23 June 2003, Eindhoven, The Netherlands. pp. 57-62. Beta Research School for Operations Management and Logistics. ISBN not assigned