{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:05:12Z","timestamp":1725465912216},"publisher-location":"Boston","reference-count":23,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"0387231978"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-23198-6_6","type":"book-chapter","created":{"date-parts":[[2006,3,11]],"date-time":"2006-03-11T19:31:13Z","timestamp":1142105473000},"page":"69-80","source":"Crossref","is-referenced-by-count":3,"title":["Network Security Management: A Formal Evaluation Tool Based on RBAC Policies"],"prefix":"10.1007","author":[{"given":"Romain","family":"Laborde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bassem","family":"Nasser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Grasset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Barr\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelmalek","family":"Benzekri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Samarati P., De Capitani di Vimercati S., \u201cAccess Control Policies, Models and Mechanisms\u201d, Foundations of Security Analysis and Design, R. Focardi and R. Gorrieri (eds), LNCS 2171, Springer-Verlag. 2001.","DOI":"10.1007\/3-540-45608-2_3"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Guttman J., \u201cFiltering postures: Local enforcement for global policies\u201d, IEEE Symposium on Security and Privacy, Oakland CA, USA, 1997.","DOI":"10.1109\/SECPRI.1997.601327"},{"key":"6_CR3","unstructured":"Ehab Al-Shaer and Hazem Hamed, \u201cDiscovery of Policy Anomalies in Distributed Firewalls\u201d, In IEEE INFOCOMM\u201904, March 2004."},{"key":"6_CR4","unstructured":"Y. Bartal., A. Mayer, K. Nissim and A. Wool. \u201cFirmato: A Novel Firewall Management Toolkit.\u201d proceedlngs of 1999 IEEE Symposiumon Security and Privacy, May 1999."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Guttman J., Herzog A., Thayer F., \u201cAuthentication and confidentiality via IPsec\u201d, 6th European Symposium In Computer Security ESORICS, Toulouse, France, 2000.","DOI":"10.1007\/10722599_16"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Z. Fu, F. Wu, H. Huang, K. Loh, F. Gong, I. Baldine and C. Xu \u201cIPSec\/VPN Security Policy: Correctness, Conflict Detection and Resolution\u201d Proceedings of Policy\u20192001 Workshop, January 2001.","DOI":"10.1007\/3-540-44569-2_3"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Yavatkar R., Pendarakis D., Guerin R., \u201cA Framework for Policy-based Admission Control\u201d, RFC 2753, January 2000.","DOI":"10.17487\/rfc2753"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Jennings N.R., Bussmann S., \u201cAgent based Control Systems, why are they suited to engineering complex systems? IEEE Control Systems Magazine, vol 23, No 3, June 2003.","DOI":"10.1109\/MCS.2003.1200249"},{"key":"6_CR9","unstructured":"IBM Corporation, An Architectural Blueprint for Autonomic Computing, IBM white papers, April 2003."},{"key":"6_CR10","unstructured":"http:\/\/www.solsoft.com"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hinrichs S., \u201cPolicy Based Management: bridging the gap\u201d, In 15th Annual Computer Security Applications Conference (ACSAC 99), December 1999.","DOI":"10.1109\/CSAC.1999.816030"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Westerinen A., Schnizlein J., Strassner J., Scherling M., Quinn B., Herzog S., Huynh A., Carlson M., Perry J., Waldbusser S., \u201cTerminology for Policy-Based Management\u201d, RFC 3198, November 2001.","DOI":"10.17487\/rfc3198"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Moore B., Ellesson E., Strassner J., Westerinen A., \u201cPolicy Core Information Model \u2014 Version 1 Specification\u201d, RFC 3060, February 2001.","DOI":"10.17487\/rfc3060"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Arosha K Bandara, Emil C Lupu, Jonathan Moffet, Alessandra Russo,. \u201cA Goal-based Approach to Policy Refinement\u201d, in: Policy 2004, June 2004.","DOI":"10.1109\/POLICY.2004.1309175"},{"key":"6_CR15","unstructured":"Laborde R., Nasser B., Grasset F., Barr\u00e8re F., Benz\u00e9kri A., \u201cA formal approach for the evaluation of network security mechanisms based on RBAC policies\u201d, In WISP\u201904, Electronic Notes in Theoretical Computer Science, Elsevier, to appear."},{"key":"6_CR16","unstructured":"\u201cPrinciples for a Telecommunications Management Network\u201d, ITU-T, M3010, May 1996."},{"key":"6_CR17","unstructured":"\u201cRole-Based Access Control\u201d, ANSI\/INCITS 359-2004, February 2004."},{"key":"6_CR18","unstructured":"R. Peri, \u201cSpecification and verification of security policies\u201d, PhD Dissertation, University of Virginia, January 1996."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Wijesekera D., Jajodia S., \u201cA propositional policy algebra for access control\u201d, ACM Transactions on Information and System Security (TISSEC), vol 6, 2003.","DOI":"10.1145\/762476.762481"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Nyanchama M., Osborn S., \u201cThe role graph model and conflict of interest\u201d, ACM Transactions on Information and System Security (TISSEC), vol 2, 1999.","DOI":"10.1145\/300830.300832"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Moffett J. D., \u201cControl Principle and Role Hierarchies\u201d, 3rd ACM Workshop on Role Based Access Control, Fairfax, VA, 1998.","DOI":"10.1145\/286884.286900"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Crook R., Ince D., Nuseibeh B, \u201cModeling Access Policies using Roles in Requirements Engineering\u201d, Information and Software Technology, 2003, Elsevier","DOI":"10.1016\/S0950-5849(03)00097-1"},{"key":"6_CR23","unstructured":"http:\/\/www.dmtf.org\/standards\/cim"}],"container-title":["IFIP International Federation for Information Processing","Network Control and Engineering for QoS, Security and Mobility, III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-23198-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T04:38:04Z","timestamp":1619498284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-23198-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387231978"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/0-387-23198-6_6","relation":{},"subject":[]}}