{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:34:05Z","timestamp":1725838445017},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319268224"},{"type":"electronic","value":"9783319268231"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26823-1_11","type":"book-chapter","created":{"date-parts":[[2015,11,19]],"date-time":"2015-11-19T08:52:17Z","timestamp":1447923137000},"page":"144-159","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Environment for MANET Organization and Security"],"prefix":"10.1007","author":[{"given":"Aida Ben Chehida","family":"Douss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryma","family":"Abassi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nihel Ben","family":"Youssef","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sihem Guemara El","family":"Fatmi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,20]]},"reference":[{"key":"11_CR1","unstructured":"Sharma, S.K., Kumar, R., Gangwar, A., Pakhre, K.: Routing protocols and security issues in MANET: a survey. Int. J. Emerg. Technol. Adv. Eng. (IJETAE) 4(4), April 2014"},{"key":"11_CR2","unstructured":"Lindsay, P.A.: \u201cSpecification and validation of a network security policy model\u201d, Technical report. 97\u201305, Software Verification Research Centre, the University of Queensland, April 1997"},{"key":"11_CR3","unstructured":"IEEE Guide to Software Requirements Specification. ANSI \/ IEEE Std 830 (1998)"},{"key":"11_CR4","first-page":"329","volume":"4","author":"R Abassi","year":"2009","unstructured":"Abassi, R., Guemara El Fatmi, S.: A novel validation method for firewall security policy. J. Inf. Assur. Secur. 4, 329\u2013337 (2009)","journal-title":"J. Inf. Assur. Secur."},{"key":"11_CR5","first-page":"248","volume":"4","author":"BP Kumar","year":"2013","unstructured":"Kumar, B.P., Sekhar, P.C., Papanna, N., Bhushan, B.B.: A survey on MANET security challenges and routing protocol. Int. J. Comput. Technol. Appl. (IJCTA) 4, 248\u2013256 (2013)","journal-title":"Int. J. Comput. Technol. Appl. (IJCTA)"},{"key":"11_CR6","unstructured":"Nassuora, A.B., Hussein, A.R.H.: CBPMD: a new weighted distributed clustering algorithm for mobile Ad hoc networks (MANETs). Am. J. Sci. Res. 22, 43\u201356 (2011). ISSN, 1450\u2013223X"},{"key":"11_CR7","unstructured":"Youssef, N.B., Bouhoula, A., Jasquemard, F.: Automatic verification of conformance of firewall configurations to security policies. In: Proceedings of the IEEE Symposium on Computers and Communications, ISCC 2009, Sousse, Tunisia (2009)"},{"key":"11_CR8","unstructured":"El Hassani, A.A., El Kalam, A.A., Bouhoula, A., Abassi, R., Ouahman, A.A.: Integrity-OrBAC: a new model to preserve critical infrastructures integrity. Int. J. Inf. Secur. (2014)"}],"container-title":["Lecture Notes in Computer Science","Cryptology and Network Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26823-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T16:09:18Z","timestamp":1559318958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26823-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319268224","9783319268231"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26823-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}