Lightweight Modelling and Automatic Analysis of Multicast Key Management Schemes by Mana Taghdiri

@inproceedings{Taghdiri2002LightweightMA,
  title={Lightweight Modelling and Automatic Analysis of Multicast Key Management Schemes by Mana Taghdiri},
  author={Mana Taghdiri},
  year={2002}
}
Alloy, a lightweight modelling language based on relations, is used to construct a framework for modelling a class of key management schemes used in secure multicast, aimed at checking them against some critical correctness properties that should be satisfied by all secure multicast protocols. This framework is used to model pull-based Asynchronous Rekeying Framework (ARF) and Iolus, two very different proposed schemes addressing the scalability issue inherently involved in group key management… CONTINUE READING