中文摘要: 电子机构是人类机构代理的副本，为提供支持、信任和合法性商业应用而具体设计。它是以网络为基础的，一种虚拟的管制环境，然而在现有的研究中，并没有实现电子机构基于角色的访问控制。本文根据电子机构的基本概念，提出了电子机构基于角色的访问控制模型，并从系统权限、身份认证以及访问控制的角度，研究电子机构的安全性。描述了重写逻辑Maude工具建模的方法和过程。最后，用重写逻辑Maude工具实现了网上购物系统的登录身份认证。