Abstract: Formal method is useful and important for researching complicated management systems. A state-based model for sec-group management is presented in this paper. Using Z Notation language, group is defined as an association of group members and group keys. G

Key words: Secure group management, Group state, Formal model, Group policy, Z Notation language