Lightweight modelling and automatic analysis of multicast key management schemes

Abstract

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2003.Includes bibliographical references (leaves 66-69).by Mana Taghdiri.S.M