论文标题
医疗保健基础设施和数据存储的RBAC
RBAC for Healthcare-Infrastructure and data storage
论文作者
论文摘要
基于角色的访问控制（RBAC）是任何现代组织安全的基石。在本报告中，我们定义了基于RBAC的医疗保健访问控制结构。我们使用合金形式逻辑建模工具来建模和验证系统功能。我们对系统静态，动态或时间行为进行了建模。我们专注于评估诸如完整性，一致性和进步等属性。
Role based Access control (RBAC) is the cornerstone of security for any modern organization. In this report, we defined a health-care access control structure based on RBAC. We used Alloy formal logic modeling tool to model and validate system functions. We modeled system static and dynamic or temporal behaviours. We focused on evaluating properties such as integrity, conformance and progress.
