A Lightweight Formal Analysis of a Multicast Key Management Scheme.

Mana Taghdiri, Daniel Jackson

Browse the full FORTE paper archive.