A Formal Approach to Automatic Testing of Security Policies Specified in XACML-Reference-Cited by-同舟云学术

A Formal Approach to Automatic Testing of Security Policies Specified in XACML

Published:2015 Issue: Volume: Page:367-374
ISSN:0302-9743
Container-title:Foundations and Practice of Security
language:
Short-container-title:

Author:

Aouadi Mohamed H.E.,Toumi Khalifa,Cavalli Ana

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-17040-4_25

Reference11 articles.

1. Lecture Notes in Computer Science;N Damianou,2001

2. Toumi, K., Cavalli, A., El Maarabani, M.: Role based interoperability security policies in collaborative systems. In: 2012 International Conference on Collaboration Technologies and Systems (CTS), pp. 471–477. IEEE (2012)

3. Godik, S., Anderson, A., Parducci, B., Humenn, P., Vajjhala, S.: Oasis extensible access control 2 markup language (XACML) 3, Technical report, OASIS, Technical Report (2002)

4. Bertolino, A., Daoudagh, S., Lonetti, F., Marchetti, E., Schilders, L.: Automated testing of extensible access control markup language-based access control systems. IET Softw. 7(4), 203–212 (2013)

5. Felderer, M., Agreiter, B., Zech, P., Breu, R.: A classification for model-based security testing. In: The Third International Conference on Advances in System Testing and Validation Lifecycle, VALID 2011, pp. 109–114 (2011)

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

1. Automatic Generation of Security Requirements for Cyber-Physical Systems;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2021

2. An approach for deploying and monitoring dynamic security policies;Computers & Security;2016-05