Author:
Ferrara Anna Lisa,Madhusudan P.,Parlato Gennaro
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Ambit: Verification of Azure RBAC;Proceedings of the 2023 on Cloud Computing Security Workshop;2023-11-26
2. Role of Access Control in Information Security: A Security Analysis Approach;Information Security and Privacy in the Digital World - Some Selected Topics;2023-09-27
3. Security Analysis of Access Control Policies for Smart Homes;Proceedings of the 28th ACM Symposium on Access Control Models and Technologies;2023-05-24
4. Divine and mortal loves;Religious Studies;2023-03-15
5. Ambit: Verification of Azure RBAC;2023