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