Temporal Verification in Secure Group Communication System Design | IEEE Conference Publication | IEEE Xplore