Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks