关键词: 安全组管理 组状态 形式模型 组策略 Z Notation语言 安全性 管理模型 安全状态 形式化方法

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