{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:22:24Z","timestamp":1761805344000,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662544549"},{"type":"electronic","value":"9783662544556"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54455-6_12","type":"book-chapter","created":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T20:44:03Z","timestamp":1490647443000},"page":"253-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Defense in Depth Formulation and Usage in Dynamic Access Control"],"prefix":"10.1007","author":[{"given":"Ridha","family":"Khedri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Owain","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Alabbad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,28]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Burns, J., Cheng, A., Gurung, P., Rajagopalan, S., Rao, P., Rosenbluth, D., Surendran, A.V., Martin, D.M.: Automatic management of network security policy. In: DARPA Information Survivability Conference & Exposition II (DISCEX 2001), vol. 2. pp. 12\u201326. DARPA in cooperation with the IEEE Computer Society\u2019s Technical Committee on Security and Privacy. IEEE, Anaheim, CA, 12\u201314 June 2001","DOI":"10.1109\/DISCEX.2001.932156"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Cheng, P.C., Rohatgi, P., Keser, C., Karger, P., Wagner, G., Reninger, A.: Fuzzy multi-level security: An experiment on quantified risk-adaptive access control. In: IEEE Symposium on Security and Privacy, pp. 222\u2013230, May 2007","DOI":"10.1109\/SP.2007.21"},{"issue":"9","key":"12_CR3","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1109\/32.713325","volume":"24","author":"J Desharnais","year":"1998","unstructured":"Desharnais, J., Frappier, M., Khedri, R., Mili, A.: Integration of sequential scenarios. IEEE Trans. Softw. Eng. 24(9), 695\u2013708 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E Dijkstra","year":"1990","unstructured":"Dijkstra, E., Scholten, C.: Predicate Calculus and Program Semantics. Springer-Verlag New York Inc., New York (1990)"},{"key":"12_CR5","unstructured":"Ferraiolo, D., Kuhn, R.: Role-based access control. In: 15th NIST-NCSC National Computer Security Conference, pp. 554\u2013563 (1992)"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/501978.501980","volume":"4","author":"DF Ferraiolo","year":"2001","unstructured":"Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST standard for role-based access control. ACM Trans. Inf. Syst. Secur. 4(3), 224\u2013274 (2001)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-21070-9_5","volume-title":"Relational and Algebraic Methods in Computer Science","author":"S Foster","year":"2011","unstructured":"Foster, S., Struth, G., Weber, T.: Automated engineering of relational and algebraic methods in Isabelle\/HOL. In: de Swart, H. (ed.) Relational and Algebraic Methods in Computer Science. LNCS, vol. 6663, pp. 52\u201367. Springer, Heidelberg (2011)"},{"key":"12_CR8","series-title":"Springer Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3837-7","volume-title":"A Logical Approach to Discrete Math","author":"D Gries","year":"1993","unstructured":"Gries, D., Schenider, F.: A Logical Approach to Discrete Math. Springer Texts and Monographs in Computer Science. Springer, New York (1993)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/11813040_21","volume-title":"FM 2006: Formal Methods","author":"P H\u00f6fner","year":"2006","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Feature algebra. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 300\u2013315. Springer, Heidelberg (2006). doi:10.1007\/11813040_21"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Algebraic view reconciliation. In: 6th IEEE International Conferences on Software Engineering and Formal Methods, pp. 85\u201394, Cape Town, South Africa, 10\u201314 November 2008","DOI":"10.1109\/SEFM.2008.36"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10270-009-0127-2","volume":"10","author":"P H\u00f6fner","year":"2011","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: An algebra of product families. Softw. Syst. Model. 10(2), 161\u2013182 (2011)","journal-title":"Softw. Syst. Model."},{"key":"12_CR12","first-page":"245","volume":"5","author":"P H\u00f6fner","year":"2011","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Supplementing product families with behaviour. Int. J. Softw. Inf. 5, 245\u2013266 (2011)","journal-title":"Int. J. Softw. Inf."},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-09770-1_10","volume-title":"Trust, Privacy, and Security in Digital Business","author":"J-M Horcas","year":"2014","unstructured":"Horcas, J.-M., Pinto, M., Fuentes, L.: Closing the gap between the specification and enforcement of security policies. In: Eckert, C., Katsikas, S.K., Pernul, G. (eds.) TrustBus 2014. LNCS, vol. 8647, pp. 106\u2013118. Springer, Cham (2014). doi:10.1007\/978-3-319-09770-1_10"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Hu, C.T., Ferraiolo, D.F., Kuhn, D.R., Schnitzer, A., Sandlin, K., Miller, R., Scarfone, K.: Guide to attribute based access control (ABAC) definition and considerations, January 2014","DOI":"10.6028\/NIST.SP.800-162"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/MC.2015.33","volume":"48","author":"V Hu","year":"2015","unstructured":"Hu, V., Kuhn, D., Ferraiolo, D., Voas, J.: Attribute-based access control. Computer 48(2), 85\u201388 (2015)","journal-title":"Computer"},{"issue":"1\u20132","key":"12_CR16","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0167-6423(00)00004-6","volume":"39","author":"R Janicki","year":"2001","unstructured":"Janicki, R., Khedri, R.: On a formal semantics of tabular expressions. Sci. Comput. Program. 39(1\u20132), 189\u2013213 (2001)","journal-title":"Sci. Comput. Program."},{"key":"12_CR17","unstructured":"Khedri, R., Wu, R., Sanga, B.: SCENATOR: a prototype tool for requirements inconsistency detection. In: Wang, F., Lee, I. (eds.) Proceedings of the 1st International Workshop on Automated Technology for Verification and Analysis, pp. 75\u201386. National Taiwan University, Taiwan, Republic of China, 10\u201313 December 2003"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Lippmann, R., Ingols, K., Scott, C., Piwowarski, K., Kratkiewicz, K., Artz, M., Cunningham, R.: Validating and restoring defense in depth using attack graphs. In: MILCOM 2006\u20132006 IEEE Military Communications Conference, pp. 1\u201310, October 2006","DOI":"10.1109\/MILCOM.2006.302434"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11734673_16","volume-title":"Relational Methods in Computer Science","author":"B M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., Struth, G.: wp is wlp. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) Relational Methods in Computer Science. LNCS, vol. 3929, pp. 200\u2013211. Springer, Heidelberg (2006)"},{"key":"12_CR20","unstructured":"Parnas, D.L.: Precise description and specification of software. In: Software Fundamentals. Addison-Wesley (1997)"},{"issue":"8","key":"12_CR21","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1145\/358161.358168","volume":"26","author":"DL Parnas","year":"1983","unstructured":"Parnas, D.L.: A generalized control structure and its formal definition. Commun. ACM 26(8), 572\u2013581 (1983)","journal-title":"Commun. ACM"},{"key":"12_CR22","unstructured":"Parnas, D.L.: Tabular representation of relations. CRL Report 260, Communications Research Laboratory, Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada, October 1992"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-57826-9_133","volume-title":"Higher Order Logic Theorem Proving and its Applications","author":"J Rushby","year":"1993","unstructured":"Rushby, J., Srivas, M.: Using PVS to prove some theorems of David Parnas. In: Joyce, J.J., Seger, C.J.H. (eds.) Higher Order Logic Theorem Proving and its Applications. LNCS, vol. 780, pp. 163\u2013173. Springer, Heidelberg (1993)"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Samarati, P., Vimercati, S.D.C.D.: Access control: policies, models, and mechanisms. In: Revised Versions of Lectures Given During the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures, FOSAD 2000 (2001)","DOI":"10.1007\/3-540-45608-2_3"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Ferraiolo, D., Kuhn, R.: The NIST model for role-based access control: towards a unified standard. In: Proceedings of the Fifth ACM Workshop on Role-based Access Control, pp. 47\u201363, RBAC 2000, NY, USA. ACM, New York (2000)","DOI":"10.1145\/344287.344301"},{"issue":"2","key":"12_CR26","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"RS Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. Computer 29(2), 38\u201347 (1996)","journal-title":"Computer"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Scarfone, K., Hoffman, P.: Guidelines on firewalls and firewall policy. Technical report, National Institute of Standards and Technology (NIST) (2009)","DOI":"10.6028\/NIST.SP.800-41r1"},{"issue":"3","key":"12_CR28","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/2814326","volume":"59","author":"A Vahdat","year":"2016","unstructured":"Vahdat, A., Clark, D., Rexford, J.: A purpose-built global network: Google\u2019s move to SDN (a discussion with Amin Vahdat, David Clark, and Jennifer Rexford). Commun. ACM 59(3), 46\u201354 (2016). http:\/\/doi.acm.org\/10.1145\/2814326","journal-title":"Commun. ACM"},{"issue":"1","key":"12_CR29","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.jlamp.2015.08.004","volume":"85","author":"Q Zhang","year":"2016","unstructured":"Zhang, Q., Khedri, R.: On the weaving process of aspect-oriented product family algebra. J. Logical Algebraic Meth. Program. 85(1), 146\u2013172 (2016). http:\/\/dx.doi.org\/10.1016\/j.jlamp.2015.08.004, special Issue on Formal Methods for Software Product Line Engineering","journal-title":"J. Logical Algebraic Meth. Program."},{"key":"12_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-33826-7_8","volume-title":"Software Engineering and Formal Methods","author":"Q Zhang","year":"2012","unstructured":"Zhang, Q., Khedri, R., Jaskolka, J.: Verification of aspectual composition in feature-modeling. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) Software Engineering and Formal Methods. LNCS, vol. 7504, pp. 109\u2013125. Springer, Heidelberg (2012)"},{"key":"12_CR31","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s12652-013-0201-z","volume":"5","author":"Q Zhang","year":"2014","unstructured":"Zhang, Q., Khedri, R., Jaskolka, J.: An aspect-oriented language for feature-modeling. J. Ambient Intell. Humanized Comput. 5, 343\u2013356 (2014)","journal-title":"J. Ambient Intell. Humanized Comput."}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54455-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:03:33Z","timestamp":1750183413000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54455-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544549","9783662544556"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54455-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"28 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"POST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Principles of Security and Trust","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"post2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/post","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}