{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T04:46:23Z","timestamp":1747284383120},"publisher-location":"New York","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387240500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-24098-5_15","type":"book-chapter","created":{"date-parts":[[2005,10,3]],"date-time":"2005-10-03T17:34:04Z","timestamp":1128360844000},"page":"203-218","source":"Crossref","is-referenced-by-count":22,"title":["A Formal Approach to Specify and Deploy a Network Security Policy"],"prefix":"10.1007","author":[{"given":"F.","family":"Cuppens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Cuppens-Boulahia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Sans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mi\u00e8ge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Bartal, Y., Mayer, A., Nissim, K., and Wool, A. (1999). Firmato: A novel firewall management toolkit. In 20th IEEE Symposium on Security and Privacy, pages 17\u201331, Oakland, California.","key":"15_CR1","DOI":"10.1109\/SECPRI.1999.766714"},{"unstructured":"Checkpoint (2004). Firewall-1. In http:\/\/www.checkpoint.com\/.","key":"15_CR2"},{"unstructured":"Cuppens, F., Cuppens-Boulahia, N., and Mi\u00e8ge, A. (2004a). Inheritance hierarchies in the Or-BAC Model and application in a network environment. In Second Foundations of Computer Security Workshop (FCS'04), Turku, Finland.","key":"15_CR3"},{"unstructured":"Cuppens, F., Cuppens-Boulahia, N., Sans, T., and Mi\u00e8ge, A. (2004b). A Formal Approach to Specify and Deploy a Network Security Policy. In http:\/\/www.rennes.enst-bretagne.fr\/fcuppens\/articles\/fast2004.pdf (full version of the paper presented at FAST 2004).","key":"15_CR4"},{"unstructured":"Cuppens, F. and Mi\u00e8ge, A. (2003a). Conflict management in the Or-BAC model.","key":"15_CR5"},{"doi-asserted-by":"crossref","unstructured":"Cuppens, F. and Mi\u00e8ge, A. (2003b). Modelling contexts in the Or-BAC model. In 19th Annual Computer Security Applications Conference, Las Vegas.","key":"15_CR6","DOI":"10.1109\/CSAC.2003.1254346"},{"unstructured":"Cuppens, F. and Mi\u00e8ge, A. (2004). Administration Model for Or-BAC. Journal of Computer Systems Science and Engineering (CSSE). To appear.","key":"15_CR7"},{"unstructured":"Degu, C. and Bastien, G. (2003). CCP Cisco Secure PIX firewall Advanced Exam Certification Guide.","key":"15_CR8"},{"unstructured":"Hassan, A. and Hudec, L. (2003). Role Based Network Security Model: A Forward Step towards Firewall Management. In Workshop On Security of Information Technologies, Algiers.","key":"15_CR9"},{"doi-asserted-by":"crossref","unstructured":"Kalam, A. A. E., Baida, R. E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Mi\u00e8ge, A., Saurel, C, and Trouessin, G. (2003). Organization Based Access Control. In Proceedings of IEEE 4th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), Lake Come, Italy.","key":"15_CR10","DOI":"10.1109\/POLICY.2003.1206966"},{"unstructured":"Kurland, V. (2003). Firewall Builder. White paper.","key":"15_CR11"},{"doi-asserted-by":"crossref","unstructured":"Mayer, A., Wool, A., and Ziskind, E. (2000). Fang: A Firewall Analysis Engine. In 21th IEEE Symposium on Security and Privacy, pages 177\u2013187, Oakland, California.","key":"15_CR12","DOI":"10.1109\/SECPRI.2000.848455"},{"unstructured":"Russell, R. (2002). Linux 2.4 Packet Filtering. In http:\/\/www.netfilter.org\/documentation\/HOWTO\/\/packet-filtering-HOWTO.html.","key":"15_CR13"},{"issue":"2","key":"15_CR14","doi-asserted-by":"crossref","first-page":"38\u017047","DOI":"10.1109\/2.485845","volume":"29","author":"R. Sandhu","year":"1996","unstructured":"Sandhu, R., Coyne, E. J., Feinstein, H. L., and Youman, C. E. (1996). Role-Based Access Control Models. IEEE Computer, 29(2):38\u017047.","journal-title":"IEEE Computer"},{"unstructured":"Tsaousis, C. (2004). FireHOL, R5 VI. 159. In http:\/\/firehol.sourceforge.net\/.","key":"15_CR15"},{"unstructured":"W3C (2004). Extensible Markup Language (XML) 1.0 (Third Edition). In http:\/\/www.w3.org\/TR\/REC-xml\/.","key":"15_CR16"}],"container-title":["IFIP International Federation for Information Processing","Formal Aspects in Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-24098-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T04:50:29Z","timestamp":1619499029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-24098-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387240500"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/0-387-24098-5_15","relation":{},"subject":[]}}