{"id":"https://openalex.org/W2783765851","doi":"https://doi.org/10.1145/3167486.3167519","title":"A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration","display_name":"A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration","publication_year":2017,"publication_date":"2017-11-14","ids":{"openalex":"https://openalex.org/W2783765851","doi":"https://doi.org/10.1145/3167486.3167519","mag":"2783765851"},"language":"en","primary_location":{"id":"doi:10.1145/3167486.3167519","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3167486.3167519","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036941086","display_name":"A. Lasbahani","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145365","display_name":"Universit\u00e9 Hassan 1er","ror":"https://ror.org/03cdvht47","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210145365"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"A. Lasbahani","raw_affiliation_strings":["RMI Laboratory FST, Univ. Hassan 1, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RMI Laboratory FST, Univ. Hassan 1, Morocco","institution_ids":["https://openalex.org/I4210145365"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037048825","display_name":"Mostafa Chhiba","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145365","display_name":"Universit\u00e9 Hassan 1er","ror":"https://ror.org/03cdvht47","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210145365"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"M. Chhiba","raw_affiliation_strings":["RMI Laboratory FST, Univ. Hassan 1, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RMI Laboratory FST, Univ. Hassan 1, Morocco","institution_ids":["https://openalex.org/I4210145365"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053533684","display_name":"Abdelmoumen Tabyaoui","orcid":"https://orcid.org/0000-0002-6430-8528"},"institutions":[{"id":"https://openalex.org/I4210145365","display_name":"Universit\u00e9 Hassan 1er","ror":"https://ror.org/03cdvht47","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210145365"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"A. Tabyaoui","raw_affiliation_strings":["RMI Laboratory FST, Univ. Hassan 1, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RMI Laboratory FST, Univ. Hassan 1, Morocco","institution_ids":["https://openalex.org/I4210145365"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006829718","display_name":"Oussama Mjihil","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145365","display_name":"Universit\u00e9 Hassan 1er","ror":"https://ror.org/03cdvht47","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210145365"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"O. Mjihil","raw_affiliation_strings":["IR2M Laboratory FST, Univ. Hassan 1, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IR2M Laboratory FST, Univ. Hassan 1, Morocco","institution_ids":["https://openalex.org/I4210145365"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210145365"],"apc_list":null,"apc_paid":null,"fwci":1.0844,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87567227,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8007628917694092},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.7024664282798767},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.6590619087219238},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5699148178100586},{"id":"https://openalex.org/keywords/security-testing","display_name":"Security testing","score":0.5116439461708069},{"id":"https://openalex.org/keywords/application-security","display_name":"Application security","score":0.4662069082260132},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.44700008630752563},{"id":"https://openalex.org/keywords/security-engineering","display_name":"Security engineering","score":0.43538427352905273},{"id":"https://openalex.org/keywords/security-information-and-event-management","display_name":"Security information and event management","score":0.3460260033607483},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.31005728244781494},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.2256838083267212},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.21642816066741943},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12413179874420166}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8007628917694092},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.7024664282798767},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.6590619087219238},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5699148178100586},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.5116439461708069},{"id":"https://openalex.org/C77109596","wikidata":"https://www.wikidata.org/wiki/Q4781497","display_name":"Application security","level":5,"score":0.4662069082260132},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.44700008630752563},{"id":"https://openalex.org/C13159133","wikidata":"https://www.wikidata.org/wiki/Q365674","display_name":"Security engineering","level":5,"score":0.43538427352905273},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.3460260033607483},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.31005728244781494},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.2256838083267212},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.21642816066741943},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12413179874420166},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3167486.3167519","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3167486.3167519","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W54701845","https://openalex.org/W1486178352","https://openalex.org/W1524147119","https://openalex.org/W1527974694","https://openalex.org/W2010173096","https://openalex.org/W2010698484","https://openalex.org/W2020856901","https://openalex.org/W2109586842","https://openalex.org/W2109884716","https://openalex.org/W2114705216","https://openalex.org/W2161258378","https://openalex.org/W2161901678","https://openalex.org/W6725469198"],"related_works":["https://openalex.org/W2017116761","https://openalex.org/W4206910357","https://openalex.org/W2013238834","https://openalex.org/W2412133583","https://openalex.org/W1811024770","https://openalex.org/W4230385779","https://openalex.org/W2018644264","https://openalex.org/W2467594283","https://openalex.org/W1981397775","https://openalex.org/W4387872582"],"abstract_inverted_index":{"Lately,":[0],"there":[1],"have":[2,54,91,131],"been":[3,55],"many":[4],"types":[5],"of":[6,47,51,102,104,122,168],"study":[7],"works":[8,53],"addressing":[9,56],"the":[10,17,38,45,72,77,83,105,120,123,142,147,166,178,185,193,211,219],"model-driven":[11],"security":[12,18,57,68,148,152,160,186,189],"so":[13,107],"that":[14,31,108,118],"to":[15,76,109,140,145,183,188,209],"incorporate":[16],"verification":[19,59,154],"during":[20,155],"system's":[21,42],"development":[22,157],"process":[23],"or":[24],"modeling":[25],"phase":[26,62],"basing":[27],"on":[28,95,192],"Model-Driven":[29],"Architecture":[30],"deploys":[32],"Unified":[33],"Modelling":[34],"Language":[35,181],"standard":[36],"as":[37],"meta-model":[39,135],"for":[40,136],"different":[41],"abstractions.":[43],"To":[44,127],"best":[46],"our":[48,93],"knowledge,":[49],"most":[50],"these":[52],"rules":[58],"after":[60],"deployment":[61],"and":[63,79,100,113,151,175],"without":[64],"taking":[65],"into":[66],"account":[67],"infrastructure":[69],"generation,":[70],"deducing":[71],"source":[73,220],"code":[74,213,221],"corresponding":[75],"functional":[78,212],"non-functional":[80,96],"aspect":[81],"at":[82],"same":[84],"time.":[85],"In":[86],"this":[87],"current":[88],"work,":[89],"we":[90,130],"concentrated":[92],"efforts":[94],"components,":[97],"business":[98],"logic,":[99],"quality":[101],"services":[103],"systems":[106],"reduce":[110],"design":[111],"mistakes":[112],"generating":[114,218],"secure":[115,169],"software":[116,124,156],"applications":[117],"respect":[119],"criteria's":[121],"engineering":[125],"qualities.":[126],"do":[128],"that,":[129],"proposed":[132],"a":[133],"new":[134,194],"Java":[137],"platform":[138],"allowing":[139],"improve":[141],"MDA":[143],"methodology":[144],"inject":[146],"architecture":[149],"description":[150],"properties":[153,161],"process.":[158],"Therefore,":[159],"will":[162],"be":[163],"described":[164],"in":[165],"form":[167],"models":[170],"represented":[171],"through":[172,177],"Security":[173],"profile":[174],"enriched":[176],"Object":[179],"Constraint":[180],"designed":[182],"add":[184],"constraints":[187],"models.":[190],"Basing":[191],"approach,":[195],"an":[196],"Intermediate":[197],"Structural":[198],"Model":[199,207],"(ISM)":[200],"is":[201],"obtained":[202],"from":[203],"chosen":[204],"Platform":[205],"Specific":[206],"(PSM)":[208],"enrich":[210],"with":[214],"other":[215],"improvements":[216],"instead":[217],"directly.":[222]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}