{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:15Z","timestamp":1750306035341,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T00:00:00Z","timestamp":1510617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,14]]},"DOI":"10.1145\/3167486.3167519","type":"proceedings-article","created":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T13:20:46Z","timestamp":1516108846000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration"],"prefix":"10.1145","author":[{"given":"A.","family":"Lasbahani","sequence":"first","affiliation":[{"name":"RMI Laboratory FST, Univ. Hassan 1, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Chhiba","sequence":"additional","affiliation":[{"name":"RMI Laboratory FST, Univ. Hassan 1, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Tabyaoui","sequence":"additional","affiliation":[{"name":"RMI Laboratory FST, Univ. Hassan 1, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Mjihil","sequence":"additional","affiliation":[{"name":"IR2M Laboratory FST, Univ. Hassan 1, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,14]]},"reference":[{"issue":"8","key":"e_1_3_2_1_1_1","first-page":"1655","article-title":"Mjihil, Model Driven Architecture Approach for Application Security Integration","volume":"95","author":"Lasbahani A.","year":"2017","unstructured":"A. Lasbahani , M. Chhiba , and A. Tabyaoui , O. Mjihil, Model Driven Architecture Approach for Application Security Integration , Journal of Theoretical and Applied Information , Vol. 95 ( 8 ), pp. 1655 -- 1668 , April , 2017 . A. Lasbahani, M. Chhiba, and A. Tabyaoui, O. Mjihil, Model Driven Architecture Approach for Application Security Integration, Journal of Theoretical and Applied Information, Vol. 95(8), pp. 1655--1668, April, 2017.","journal-title":"Journal of Theoretical and Applied Information"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125810"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647246.719477"},{"key":"e_1_3_2_1_4_1","unstructured":"C.\n      Wolter M.\n      Meznel C.\n      Meinel Modeling security goals in business processes Vol. \n  127\n   of \n  LNI pp. \n  201\n  --\n  216\n  . \n  K\u00f6llen 2008\n  .  C. Wolter M. Meznel C. Meinel Modeling security goals in business processes Vol. 127 of LNI pp. 201--216. K\u00f6llen 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.25"},{"key":"e_1_3_2_1_6_1","first-page":"513","volume-title":"IEEE Computer Society on ICWS","author":"Satoh F.","year":"2007","unstructured":"F. Satoh , Y. Yamaguchi, Generic security policy transformation framework for ws-security , IEEE Computer Society on ICWS , pp. 513 -- 520 , 2007 . F. Satoh, Y. Yamaguchi, Generic security policy transformation framework for ws-security, IEEE Computer Society on ICWS, pp. 513--520, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2008.72"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES-1.2008.82"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/647246.719625"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2005.83"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.016"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri-Nets for Systems Engineering","author":"Girault C.","year":"2003","unstructured":"C. Girault , R. Valk , Petri-Nets for Systems Engineering . Springer , 2003 , Berlin. C. Girault, R. Valk, Petri-Nets for Systems Engineering. Springer, 2003, Berlin."},{"key":"e_1_3_2_1_13_1","volume-title":"Applying UML and Patterns","author":"Larman C.","year":"2002","unstructured":"C. Larman , Applying UML and Patterns , 3 rd Edition, Prentice Hall , ISBN 0-13-148906-2, 2002 . C. Larman, Applying UML and Patterns, 3rd Edition, Prentice Hall, ISBN 0-13-148906-2, 2002.","edition":"3"}],"event":{"name":"ICCWCS'17: International Conference on Computing and Wireless Communication Systems","acronym":"ICCWCS'17","location":"Larache Morocco"},"container-title":["Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167486.3167519","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167486.3167519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:57Z","timestamp":1750215777000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167486.3167519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,14]]},"references-count":13,"alternative-id":["10.1145\/3167486.3167519","10.1145\/3167486"],"URL":"https:\/\/doi.org\/10.1145\/3167486.3167519","relation":{},"subject":[],"published":{"date-parts":[[2017,11,14]]},"assertion":[{"value":"2017-11-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}