A stateful multicast key distribution protocol based on identity-based encryption | IEEE Conference Publication | IEEE Xplore