{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:41:31Z","timestamp":1743007291933,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319186801"},{"type":"electronic","value":"9783319186818"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-18681-8_11","type":"book-chapter","created":{"date-parts":[[2015,5,6]],"date-time":"2015-05-06T13:17:19Z","timestamp":1430918239000},"page":"133-148","source":"Crossref","is-referenced-by-count":0,"title":["Formal Enforcement of Security Policies on Parallel Systems with Risk Integration"],"prefix":"10.1007","author":[{"given":"Marwa","family":"Ziadia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mejri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Johnson, R., Wang, Z., Gagnon, C., Stavrou, A.: Analysis of Android Applications\u2019 Permissions, Software Security and Reliability Companion (SERE-C). In: Software Security and Reliability Companion (SERE-C), pp. 45\u201346 (2012)","DOI":"10.1109\/SERE-C.2012.44"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.tcs.2004.07.036","volume":"335","author":"J.C.M. Baeten","year":"2005","unstructured":"Baeten, J.C.M.: A brief history of process algebra. Theoretical Computer Science\u00a0335, 131\u2013146 (2005)","journal-title":"Theoretical Computer Science"},{"key":"11_CR3","unstructured":"Langar, M., Mejri, M.: Optimized enforcement of security policies. Foundations of Computer Security, 37\u201342 (2005)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"997","DOI":"10.1016\/j.jsc.2011.05.003","volume":"46","author":"M. Langar","year":"2011","unstructured":"Langar, M., Mejri, M., Adi, K.: Formal enforcement of security policies on concurrent systems. Journal of Symbolic Computation\u00a046, 997\u20131016 (2011)","journal-title":"Journal of Symbolic Computation"},{"key":"11_CR5","first-page":"2","volume":"4","author":"L. Jay","year":"2011","unstructured":"Jay, L., Lujo, B., David, W.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security\u00a04, 2\u201316 (2011)","journal-title":"International Journal of Information Security"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-19751-2_12","volume-title":"Formal Aspects of Security and Trust","author":"R. Khoury","year":"2011","unstructured":"Khoury, R., Tawbi, N.: Corrective enforcement of security policies. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol.\u00a06561, pp. 176\u2013190. Springer, Heidelberg (2011)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-03007-9_12","volume-title":"Data and Applications Security XXIII","author":"H. Ould-Slimane","year":"2009","unstructured":"Ould-Slimane, H., Mejri, M., Adi, K.: Using edit automata for rewriting-based security enforcement. In: Gudes, E., Vaidya, J. (eds.) Data and Applications Security XXIII. LNCS, vol.\u00a05645, pp. 175\u2013190. Springer, Heidelberg (2009)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.cose.2010.11.004","volume":"30","author":"H. Chabot","year":"2011","unstructured":"Chabot, H., Khoury, R., Tawbi, N.: Extending the enforcement power of truncation monitors using static analysis. Computers & Security\u00a030, 194\u2013207 (2011)","journal-title":"Computers & Security"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable Security Policies. ACM Trans. Inf. Syst. Secur.\u00a03, 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1504\/IJGUC.2013.056257","volume":"4","author":"G. Sui","year":"2013","unstructured":"Sui, G., Mejri, M.: FASER Formal and Automatic Security Enforcement by Rewriting by BPA Algebra with Test. Int. J. Grid Util. Comput.\u00a04, 204\u2013211 (2013)","journal-title":"Int. J. Grid Util. Comput."},{"key":"11_CR11","first-page":"84","volume":"182","author":"M. Mejri","year":"2008","unstructured":"Mejri, M., Fujita, H.: Enforcing Security Policies Using Algebraic Approach. New Trends in Software Methodologies, Tools and Techniques\u00a0182, 84\u201398 (2008)","journal-title":"New Trends in Software Methodologies, Tools and Techniques"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Burguera, I., Zurutuza, U., Nadjm-Tehrani, S.: Crowdroid: Behavior-based Malware Detection System for Android. In: Proceedings of the 1st ACM Workshop on Security and Privacy in Smartphones and Mobile Devices, vol.\u00a012, pp. 15\u201326 (2011)","DOI":"10.1145\/2046614.2046619"},{"key":"11_CR13","unstructured":"Permission. Android Developer -API Guides- Android Manifest, \n                        http:\/\/developer.android.com\/guide\/topics\/manifest\/permission-element.html"}],"container-title":["Lecture Notes in Computer Science","Codes, Cryptology, and Information Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18681-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T07:49:42Z","timestamp":1676447382000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-18681-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319186801","9783319186818"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18681-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}