Vac - Verifier of Administrative Role-Based Access Control Policies-Reference-Cited by-同舟云学术

Vac - Verifier of Administrative Role-Based Access Control Policies

Published:2014 Issue: Volume: Page:184-191
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Ferrara Anna Lisa,Madhusudan P.,Nguyen Truc L.,Parlato Gennaro

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_12

Reference31 articles.

1. Lecture Notes in Computer Science;F. Alberti,2011

2. Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV: A New Symbolic Model Checker, http://nusmv.fbk.eu

3. Lecture Notes in Computer Science;A. Cimatti,2002

4. de Moura, L., Berdine, J., Bjorner, N.: Z3 High-performance Theorem Prover, http://z3.codeplex.com

5. Ferraiolo, D., Kuhn, R.: Role-Based Access Control. In: 15th NIST-NCSC National Computer Security Conference, pp. 554–563. Springer (1992)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SMT-Based Verification of NGAC Policies;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06

2. A Survey on Empirical Security Analysis of Access-control Systems: A Real-world Perspective;ACM Computing Surveys;2022-12-07

3. Combining solution reuse and bound tightening for efficient analysis of evolving systems;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18

4. A Role-Based Administrative Model for Administration of Heterogeneous Access Control Policies and its Security Analysis;Information Systems Frontiers;2021-07-21

5. Adventures in the Analysis of Access Control Policies;Future Data and Security Engineering;2019