An updated view on centralized secure group communications - Naranjo J.; Casado L. (Logic Journal of IGPL, 2013)