面向医疗基础设施与数据存储的基于角色的访问控制
密码学与安全
2020-10-22 v1
摘要
基于角色的访问控制（RBAC）是任何现代组织安全的基石。在本报告中，我们基于 RBAC 定义了医疗访问控制结构。我们使用 Alloy 形式逻辑建模工具对系统功能进行建模与验证。我们对系统的静态与动态（或时序）行为进行了建模。我们重点评估了完整性、一致性与进展等性质。
引用
@article{arxiv.2010.11096,
title = {RBAC for Healthcare-Infrastructure and data storage},
author = {Ramesh Narasimman and Izzat Alsmadi},
journal= {arXiv preprint arXiv:2010.11096},
year = {2020}
}