Analytical models for the scalability of dynamic group-key agreement protocols and secure file sharing systems