Electronic Institutions Role-Based Access Control Model
电子机构基于角色的访问控制模型

根据电子机构的基本概念、结构，提出了电子机构基于角色的访问控制模型，并与传统的基于角色的访问控制模型进行比较。采用重写逻辑Maude工具中面向对象的建模方法对该模型进行建模，并将模型应用到医院管理信息系统中。测试结果表明该模型可以作为一个共享的安全模块内核，对于具体的应用域电子机构只需做一些简单的定义和配置就可以运行。