Roberto Gorrieri Fabio Martinelli Marinella Petrocchi Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. 325-364 2008 41 J. Autom. Reasoning 3-4 http://dx.doi.org/10.1007/s10817-008-9112-7 db/journals/jar/jar41.html#GorrieriMP08