{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:06:01Z","timestamp":1725516361215},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540698401"},{"type":"electronic","value":"9783540698487"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69848-7_39","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"468-483","source":"Crossref","is-referenced-by-count":3,"title":["AFPL, an Abstract Language Model for Firewall ACLs"],"prefix":"10.1007","author":[{"given":"S.","family":"Pozo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ceballos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","volume-title":"Building Internet Firewalls","author":"D. Chapman","year":"2000","unstructured":"Chapman, D., Zwicky, E.: Building Internet Firewalls, 2nd edn. O\u2019Reilly & Associates, Inc., Sebastopol (2000)","edition":"2"},{"key":"39_CR2","volume-title":"Firewalls and Internet Security","author":"W. Cheswick","year":"2003","unstructured":"Cheswick, W., Belovin, S.: Firewalls and Internet Security, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"},{"issue":"6","key":"39_CR3","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MC.2004.2","volume":"37","author":"A. Wool","year":"2004","unstructured":"Wool, A.: A quantitative study of firewall configuration errors. IEEE Computer\u00a037(6), 62\u201367 (2004)","journal-title":"IEEE Computer"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Bartal, Y., Mayer, A., Nissim, K., Wool, A.: Firmato: A Novel Firewall Management Toolkit. ACM Transactions on Computer Systems\u00a022(4) (2004)","DOI":"10.1145\/1035582.1035583"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder Specification Language. In: Workshop on Policies for Distributed Systems and Networks (Policy2001), HP Labs Bristol, January 29-31 (2001)","DOI":"10.1007\/3-540-44569-2_2"},{"key":"39_CR6","unstructured":"OASIS eXtensible Access Control Markup Language (XACML), http:\/\/www.oasis-open.org\/committees\/xacml\/"},{"key":"39_CR7","unstructured":"Moore, B., Ellesson, E., Strassner, J., Westerinen, A.: Policy Core Information Model (PCIM). IETF RFC 3060 (February 2001)"},{"key":"39_CR8","unstructured":"Rule Markup Language (RuleML), http:\/\/www.ruleml.org\/"},{"key":"39_CR9","unstructured":"Simple Rule Markup Language (SRML): A General XML Rule Representation for Forward-chaining Rules. ILOG, S.A (May 2001)"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"De Capitani di Vimercati, S., Foresti, S., Jajodia, P.: Access control policies and languages. Int. J. Computational Science and Engineering (2007)","DOI":"10.1007\/978-0-387-27696-0_2"},{"key":"39_CR11","volume-title":"XML-based Access Control Languages. Information Security Technical Report","author":"C.A. Ardagna","year":"2004","unstructured":"Ardagna, C.A., Damiani, E., De Capitani di Vimercati, S., Samarati, P.: XML-based Access Control Languages. Information Security Technical Report. Elsevier Science, Amsterdam (2004)"},{"key":"39_CR12","unstructured":"El-Atawy, A.: Survey on the Use of Formal Languages\/Models for the Specification, Verification, and Enforcement of Security Policies\", Technical reports, DePaul University, CTI 06-005 (April 2006)"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"Basin, D., Dorser, J., Lodderstedt, T.: Model Driven Security: from UML Models to Access Control Infrastructures. ACM Transactions on Software Engineering and Methodology\u00a015(1) (January 2006)","DOI":"10.1145\/1125808.1125810"},{"key":"39_CR14","volume-title":"ACM Workshop on Role-Based access control (RBAC)","author":"J. Barkley","year":"1997","unstructured":"Barkley, J.: Comparing simple role based access control models and access control lists. In: ACM Workshop on Role-Based access control (RBAC). ACM, New York (1997)"},{"key":"39_CR15","unstructured":"High Level Firewall Language, http:\/\/www.hlfl.org"},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, B., Al-Shaer, E., Jagadeesan, R., Riely, J., Pitcher, C.: Specifications of a High-level Conflict-free Firewall Policy Language for Multi-domain Networks. In: Proceedings of ACM Symposium on Access Control Models and Technologies (SACMAT 2007) (2007)","DOI":"10.1145\/1266840.1266871"},{"key":"39_CR17","unstructured":"NeTSPoC: A nework Security Policy Compiler, http:\/\/netspoc.berlios.de"},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"Pozo, S., Ceballos, R., Gasca, R.M.: Model Based Development of Firewall Rule Sets: Detecting and Diagnosing Errors. Information and Software Technology Journal (Spring 2008)","DOI":"10.1016\/j.infsof.2008.05.001"},{"key":"39_CR19","volume-title":"International Symposium on Frontiers in Availability, Reliability and Security (FARES), in International Conference on Availability, Reliability and Security (ARES)","author":"S. Pozo","year":"2007","unstructured":"Pozo, S., Ceballos, R., Gasca, R.M.: CSP-based Firewall Rule Set Diagnosis using Security Policies. In: International Symposium on Frontiers in Availability, Reliability and Security (FARES), in International Conference on Availability, Reliability and Security (ARES), Vienna, Austria, April 2007, IEEE Computer Society Press, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69848-7_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:03:39Z","timestamp":1605744219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69848-7_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540698401","9783540698487"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69848-7_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}