Publisher
Springer International Publishing
Reference44 articles.
1. Alberti, F., Armando, A., Ranise, S.: Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. In: ASIACCS, p. 165 (2011). ISBN 978-1-4503-0564-8. https://doi.org/10.1145/1966913.1966935, https://portal.acm.org/citation.cfm?doid=1966913.1966935
2. Al-Ali, R., Heinrich, R., Hnetynka, P., Juan-Verdejo, A., Seifermann, S., Walter, M.: Modeling of dynamic trust contracts for industry 4.0 systems. In: ECSA-C, ACM (2018). https://doi.org/10.1145/3241403.3241450
3. Caldiera, V.R.B.G., Rombach, H.D.: The goal question metric approach. Encyclopedia Softw. Eng. 528–532 (1994)
4. Basin, D., et al.: Automated analysis of security-design models. Inf. Softw. Technol. 51(5), 815–831 (2009)
5. BloodHound Enterprise. https://bloodhoundenterprise.io/. Assessed 05 Oct 2021
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献