{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:03:34Z","timestamp":1725689014764},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642309540"},{"type":"electronic","value":"9783642309557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30955-7_10","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T09:17:22Z","timestamp":1340011042000},"page":"97-112","source":"Crossref","is-referenced-by-count":4,"title":["HiPoLDS: A Security Policy Language for Distributed Systems"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Dell\u2019Amico","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Serme","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Sabir","family":"Idrees","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anderson","family":"Santana de Olivera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Roudier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: A language and system for composing security policies. Tech. Rep. TR-699-04. Princeton University (2004)","DOI":"10.1145\/1065010.1065047"},{"issue":"4","key":"10_CR2","doi-asserted-by":"crossref","first-page":"619","DOI":"10.3233\/JCS-2009-0364","volume":"18","author":"M.Y. Becker","year":"2010","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: SecPAL: Design and semantics of a decentralized authorization language. J. of Computer Security\u00a018(4), 619\u2013665 (2010)","journal-title":"J. of Computer Security"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/504909.504910","volume":"5","author":"P.A. Bonatti","year":"2002","unstructured":"Bonatti, P.A., di Vimercati, S.D.C., Samarati, P.: An algebra for composing access control policies. ACM Trans. Inf. Syst. Secur.\u00a05(1), 1\u201335 (2002)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bunge, R., Chung, S., Endicott-Popovsky, B., McLane, D.: An operational framework for service oriented architecture network security. In: Proc. HICCS, p. 312 (2008)","DOI":"10.1109\/HICSS.2008.64"},{"key":"10_CR5","unstructured":"CISCO ACE XML Gateway (2010), http:\/\/www.cisco.com\/en\/US\/products\/ps7314\/index.html"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Ramard, T.: Availability enforcement by obligations and aspects identification. In: Proc. ARES, pp. 229\u2013239 (2006)","DOI":"10.1109\/ARES.2006.36"},{"key":"10_CR7","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.\u00a01995, pp. 18\u201338. Springer, Heidelberg (2001)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Dantas, D.S., Walker, D.: Harmless advice. In: Morrisett, J.G., Jones, S.L.P. (eds.) POPL, pp. 383\u2013396. ACM (2006)","DOI":"10.1145\/1111320.1111071"},{"key":"10_CR9","unstructured":"Dell\u2019Amico, M., Idrees, M.S., Roudier, Y., de Oliveira, A.S., Serme, G., Harel, G.: Language definition for security specifications. Deliverable D2.2, The CESSA project (May 2011), http:\/\/cessa.gforge.inria.fr\/lib\/exe\/fetch.php?media=publications:d2-2.pdf"},{"key":"10_CR10","unstructured":"Douence, R., Grall, H., Mej\u00eda, I., Royer, J.C., S\u00fcdhold, M., Idrees, M.S., Roudier, Y., Leroux, J., Rivard, F., Pazzaglia, J., Serme, G.: Survey and requirements analysis. Deliverable D1.1, The CESSA project (June 2010), http:\/\/cessa.gforge.inria.fr\/lib\/exe\/fetch.php?media=publications:d1-1.pdf"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1007\/978-3-540-74835-9_38","volume-title":"Computer Security \u2013 ESORICS 2007","author":"D.J. Dougherty","year":"2007","unstructured":"Dougherty, D.J., Kirchner, C., Kirchner, H., de Oliveira, A.S.: Modular Access Control Via Strategic Rewriting. In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol.\u00a04734, pp. 578\u2013593. Springer, Heidelberg (2007)"},{"key":"10_CR12","unstructured":"Gruschka, N., Luttenberger, N.: Protecting web services from DOS attacks by SOAP message validation. Security and Privacy in Dynamic Environments (2006)"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-28879-1_13","volume-title":"Data Privacy Management and Autonomous Spontaneus Security","author":"M. Sabir Idrees","year":"2012","unstructured":"Sabir Idrees, M., Serme, G., Roudier, Y., de Oliveira, A.S., Grall, H., S\u00fcdholt, M.: Evolving Security Requirements in Multi-layered Service-Oriented-Architectures. In: Garcia-Alfaro, J., Navarro-Arribas, G., Cuppens-Boulahia, N., de Capitani di Vimercati, S. (eds.) DPM 2011 and SETOP 2011. LNCS, vol.\u00a07122, pp. 190\u2013205. Springer, Heidelberg (2012)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Li, J.X., Li, B., Li, L., Che, T.S.: A policy language for adaptive web services security framework. In: ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing, vol. 1, pp. 261\u2013266 (2007)","DOI":"10.1109\/SNPD.2007.455"},{"key":"10_CR15","unstructured":"Moses, T. (ed.): Extensible access control markup language (xacml) version 2.0. Tech. rep. OASIS Standard (2005)"},{"issue":"4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"A.C. Myers","year":"2000","unstructured":"Myers, A.C., Liskov, B.: Protecting privacy using the decentralized label model. ACM Transactions on Software Engineering and Methodology\u00a09(4), 410\u2013442 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10_CR17","unstructured":"CITRIX NetScaler (2010), http:\/\/www.citrix.com\/english\/ps2\/products\/product.asp?contentid=21679"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25271-6_1","volume-title":"Formal Methods for Components and Objects","author":"D. Oheimb von","year":"2011","unstructured":"von Oheimb, D., M\u00f6dersheim, S.: ASLan++ \u2014 A Formal Security Specification Language for Distributed Systems. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a06957, pp. 1\u201322. Springer, Heidelberg (2011)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"de Oliveira, A.S., Wang, E.K., Kirchner, C., Kirchner, H.: Weaving rewrite-based access control policies. In: Ning, P., Atluri, V., Gligor, V.D., Mantel, H. (eds.) FMSE, pp. 71\u201380. ACM (2007)","DOI":"10.1145\/1314436.1314446"},{"issue":"3","key":"10_CR20","first-page":"299","volume":"5","author":"C. Ribeiro","year":"2007","unstructured":"Ribeiro, C., Ferreira, P.: A policy-oriented language for expressing security specifications. International Journal of Network Security\u00a05(3), 299\u2013316 (2007)","journal-title":"International Journal of Network Security"},{"key":"10_CR21","unstructured":"Ribeiro, C., Zuquete, A., Ferreira, P., Guedes, P.: SPL: An access control language for security policies with complex constraints. In: Proc. of NDSS (2001)"},{"key":"10_CR22","unstructured":"Room, S.I.I.R.: XML Firewall Architecture and Best Practices for Configuration and Auditing (2007), http:\/\/www.sans.org\/reading_room\/whitepapers\/firewalls\/xml-firewall-architecture-practices-configuration-auditing_1766"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Serban, C., Zhang, W., Minsky, N.: A decentralized mechanism for application level monitoring of distributed systems. In: 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2009, pp. 1\u201310. IEEE (2009)","DOI":"10.4108\/ICST.COLLABORATECOM2009.8336"},{"key":"10_CR24","unstructured":"Singhal, A., Winograd, T., Scarfone, K.: Guide to Secure Web Services. NIST Publication"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Song, E., Reddy, R., France, R.B., Ray, I., Georg, G., Alexander, R.: Verifiable composition of access control and application features. In: Ferrari, E., Ahn, G.J. (eds.) SACMAT, pp. 120\u2013129. ACM (2005)","DOI":"10.1145\/1063979.1064001"}],"container-title":["Lecture Notes in Computer Science","Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30955-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T14:41:42Z","timestamp":1687531302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30955-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309540","9783642309557"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30955-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}