广义时空中基于角色的访问控制模型的规范，验证和实施。我们展示了如何运用基于UML的规范环境工具去分析一个应用程序的时空访问控制模型。我们提出了一个可以实现我们模型的架构，并提供了一个协议。-Generalized space in role-based access control model specification, verification and implementation. We show how to use UML-based tool to analyze a regulat