A framework for analyzing a class of key management schemes used in secure multicast.

1) Mana Taghdiri and Daniel Jackson.
A Lightweight Formal Analysis of a Multicast Key Management Scheme.
Proc. of the 23rd IFIP International Conference on Formal
Techniques for Networked and Distributed Systems (FORTE).
pp 240-256, October 2003. LNCS 2767.

2) Mana Taghdiri.
Lightweight Modelling and Automatic Analysis of Multicast Key Management Schemes.
MIT Masters Thesis, December 2002.