{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:22:51Z","timestamp":1743042171905,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319170398"},{"type":"electronic","value":"9783319170404"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17040-4_25","type":"book-chapter","created":{"date-parts":[[2015,4,4]],"date-time":"2015-04-04T09:05:56Z","timestamp":1428138356000},"page":"367-374","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Approach to Automatic Testing of Security Policies Specified in XACML"],"prefix":"10.1007","author":[{"given":"Mohamed H.E.","family":"Aouadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khalifa","family":"Toumi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Cavalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,5]]},"reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E.C., Sloman, M.: The ponder policy specification language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, pp. 18\u201338. Springer, Heidelberg (2001)"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013477. IEEE (2012)","DOI":"10.1109\/CTS.2012.6261092"},{"key":"25_CR3","unstructured":"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)"},{"issue":"4","key":"25_CR4","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1049\/iet-sen.2012.0101","volume":"7","author":"A Bertolino","year":"2013","unstructured":"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\u2013212 (2013)","journal-title":"IET Softw."},{"key":"25_CR5","unstructured":"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\u2013114 (2011)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Li, K., Mounier, L., Groz, R., Test generation from security policies specified in or-bac. In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, vol. 2. IEEE, pp. 255\u2013260 (2007)","DOI":"10.1109\/COMPSAC.2007.210"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11430230_16","volume-title":"Testing of Communicating Systems","author":"D Senn","year":"2005","unstructured":"Senn, D., Basin, D., Caronni, G.: Firewall conformance testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 226\u2013241. Springer, Heidelberg (2005)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Mallouli, W., Orset, J.-M., Cavalli, A., Cuppens, N., Cuppens, F.: A formal approach for testing security rules. In: Proceedings of the 12th ACM symposium on Access control models and technologies, pp. 127\u2013132. ACM (2007)","DOI":"10.1145\/1266840.1266860"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"El Maarabani, M., Hwang, I., Cavalli, A.: A formal approach for interoperability testing of security rules. In: 2010 Sixth International Conference on Signal-Image Technology and Internet-Based Systems (SITIS), pp. 277\u2013284. IEEE (2010)","DOI":"10.1109\/SITIS.2010.53"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-02138-1_8","volume-title":"Formal Techniques for Distributed Systems","author":"I Hwang","year":"2009","unstructured":"Hwang, I., Lallali, M., Cavalli, A., Verchere, D.: Modeling, validation, and verification of PCEP using the IF language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 122\u2013136. Springer, Heidelberg (2009)"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-0-387-35578-8_3","volume-title":"Formal Methods for Protocol Engineering And Distributed Systems","author":"A Cavalli","year":"1999","unstructured":"Cavalli, A., Lee, D., Rinderknecht, C., Za\u00efdi, F.: Hit-or-jump: An algorithm for embedded testing with applications to in services. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering And Distributed Systems, pp. 41\u201356. Springer, Ney York (1999)"}],"container-title":["Lecture Notes in Computer Science","Foundations and Practice of Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17040-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T07:17:13Z","timestamp":1676445433000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17040-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319170398","9783319170404"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17040-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"5 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}