{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:00:06Z","timestamp":1725544806402},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341840"},{"type":"electronic","value":"9783540341857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754008_22","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"341-356","source":"Crossref","is-referenced-by-count":12,"title":["Test Generation for Network Security Rules"],"prefix":"10.1007","author":[{"given":"Vianney","family":"Darmaillacq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Claude","family":"Fernandez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Groz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Mounier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Richier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Abou El Kalam, A., El Baida, R., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Mi\u00e8ge, A., Saurel, C., Trouessin, G.: Organization Based Access Control. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks (2003)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Benferhat, S., Baida, R.E., Cuppens, F.: A Stratification-Based Approach for Handling Conflicts in Access Control. In: 8th ACM Symposium on Access Control Models and Technologies (2003)","DOI":"10.1145\/775412.775437"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Sans, T.: Nomad: A security model with non atomic actions and deadlines. In: 18th IEEE Computer Security Foundations Workshop (CSFW-18 2005), Aix-en-Provence, France, pp. 186\u2013196 (2005)","DOI":"10.1109\/CSFW.2005.20"},{"key":"22_CR4","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Sans, T., Mi\u00e8ge, A.: A formal approach to specify and deploy a network security policy. In: Second Workshop on Formal Aspects in Security and Trust, FAST (2004)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder Policy Specification Language. In: International Workshop on Policies for Distributed Systems and Networks (2001)","DOI":"10.1007\/3-540-44569-2_2"},{"key":"22_CR6","unstructured":"Darmaillacq, V., Fernandez, J.-C., Groz, R., Mounier, L., Richier, J.-L.: \u00c9l\u00e9ments de mod\u00e9lisation pour le test de politiques de s\u00e9curit\u00e9. In: Colloque sur les RIsques et la S\u00e9curit\u00e9 d\u2019Internet et des Syst\u00e8mes, CRiSIS, Bourges, France (2005)"},{"key":"22_CR7","unstructured":"Darmaillacq, V., Stouls, N.: D\u00e9veloppement formel d\u2019un moniteur d\u00e9tectant les violations de politiques de s\u00e9curit\u00e9 de r\u00e9seaux. In: AFADL2006 - Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels, Paris (March 2006)"},{"key":"22_CR8","unstructured":"ITU. Framework on formal methods in conformance testing. ITU-T Recommendation Z.500, ITU (1997)"},{"key":"22_CR9","unstructured":"Lobo, J., Bhatia, R., Naqvi, S.: A Policy Description Language. In: AAAI 1999 (1999)"},{"key":"22_CR10","unstructured":"Meyer, J.-C., Dignum, F., Wieringa, R.: The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective. Technical Report UU-CS-1994-38, Utrecht University (1994)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: I.C.S. Press (ed.) 18th Annual Symposium on Foundations of Computer Science (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11430230_16","volume-title":"Testing of Communicating Systems","author":"D. Senn","year":"2005","unstructured":"Senn, D., Basin, D., Caronni, G.: Firewall Conformance Testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, pp. 226\u2013241. Springer, Heidelberg (2005)"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Virmani, A., Lobo, J., Kohli, M.: Netmon: Network Management for the SARAS Softswitch. In: IEEE\/IFIP Network Operations and Management Symposium (2000)","DOI":"10.1109\/NOMS.2000.830430"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic Logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:04:04Z","timestamp":1619507044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11754008_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}