Les protocoles cryptographiques sont cruciaux pour sécuriser les transactions électroniques. La confiance en ces protocoles peut être augmentée par l'analyse formelle de leurs propriétés de sécurité.<br />Bien que beaucoup de travaux aient été dédiés pour les protocoles classiques comme le protocole de Needham-Schroeder, très peu de travaux s'adressent à la classe des protocoles de groupe dont les caractéristiques principales sont : les propriétés de sécurité spécifiques qu'ils doivent satisfaire, et le nombre arbitraire des participants qu'ils impliquent. <br /> Cette thèse comprend deux contributions principales. La première traite la première caractéristique des protocoles de groupe. <br />Pour cela, nous avons défini un modèle appelé modèle de services que nous avons utilisé pour proposer une stratégie de recherche d'attaques se basant sur la résolution de contraintes. L'approche proposée a permis de retrouver d'anciennes attaques et d'en découvrir de nouvelles sur quelques protocoles de groupe. Certaines attaques ont aussi pu être généralisées pour couvrir le cas de $n$ participants. La deuxième contribution principale de cette thèse consiste à définir un modèle synchrone qui généralise les modèles standards de protocoles en permettant les listes non bornées à l'intérieur des messages. Ceci est assuré par l'introduction d'un nouvel opérateur appelé $mpair$ qui représente une liste construite sur un même patron. Dans ce modèle étendu, nous avons proposé une procédure de décision pour une classe particulière des protocoles de groupe appelée classe de protocoles bien-tagués avec clefs autonomes, en présence d'un intrus actif et avec des clefs composées.

Le bien-être des élèves en milieu scolaire est un enjeu qui suscite de plus en plus d’intérêt depuis quelques années. Les adolescents de première génération d’immigration identifiés comme EHDAA et scolarisés en classe d’adaptation scolaire fermée, eux, sont susceptibles de vivre des enjeux inhérents à leur statut particulier qui peuvent grandement affecter leur bien-être. Alors que 67,1% des élèves dans les écoles de Montréal sont issus de l'immigration (Réseau Réussite Montréal, 2019), les données quant à leur présence dans les classes d’adaptation scolaires, elles, sont difficilement accessibles, bien que des études antérieures aient dénoncé une surreprésentation de certaines communautés au sein des effectifs ÉHDAA de la province (McAndrew et al., 2011). Les difficultés liées à l’adolescence à et au contexte migratoire, conjuguées à un statut EHDAA sont des croisements peu étudiés au sein des écrits (Collins et Borri-Anadón, 2021), d’autant plus qu’aucune étude ne s’est attardée, à notre connaissance, à leurs impacts sur le bien-être de ces jeunes. Cette étude de cas multiple, réalisée auprès de trois adolescents issus de première génération d’immigration scolarisés en classe d’adaptation scolaire a pour but de documenter et de décrire les répercussions du processus de catégorisation, du modèle de service ainsi que de l’approche catégorielle sur le bien-être des élèves. Nos données témoignent d’un processus de catégorisation vécu d’une manière somme toute positive, alors que l’annonce de la catégorisation et du changement de modèle de service, elle est vécue comme un choc. Des sentiments d’exclusion, de discrimination, d’injustice et des enjeux d’estime de soi et de relations interpersonnelles ont également été relevés. / The well-being of adolescent students has become an increasingly important issue in recent years. First-generation immigrant adolescents identified as having disabilities or learning difficulties (EHDAA) and enrolled in closed special education classes are likely to experience challenges inherent to their particular status that can greatly affect their well-being. While 67.1% of students in Montreal schools come from immigrant backgrounds (Réseau Réussite Montréal, 2019), data regarding their presence in special education classes is difficult to access, although previous studies have highlighted an overrepresentation of certain communities within the EHDAA population in the province (McAndrew et al., 2011). The challenges associated with adolescence and the migratory context, combined with an EHDAA status, are intersections that have received limited attention in the literature (Collins and Borri-Anadón, 2021), particularly as no study, to our knowledge, has specifically examined their impact on the well-being of these young individuals. This multiple case study, conducted with three first-generation immigrant adolescents enrolled in special education classes, aims to document and describe the repercussions of the categorization process, the service model, and the categorical approach on students' well-being. Our data indicates that the categorization process was generally experienced in a positive manner, whereas the announcement of categorization and the change in the service model was perceived as a shock. Feelings of exclusion, discrimination, injustice, as well as self-esteem and interpersonal relationship issues were also identified.

Au Québec, le nombre d’élèves en difficulté d’adaptation et d’apprentissage (EHDAA) ne cesse d’augmenter (MEQ, 2021) et 40 % de ces élèves-là n’obtiendront pas de diplôme d’études secondaires (Guéricolas, 2018). Par conséquent, en 2020, la Réponse à l’intervention, modèle d’intervention à paliers multiples, prend de l’importance au Québec (MEES, 2020). Comme un pourcentage d’élève en difficulté ne progresse pas, nous nous questionnons sur l’approche d’évaluation qui permettrait d’informer le personnel scolaire sur les interventions qui pourront aider ces élèves. Une des approches est l’évaluation dynamique (ÉD) (Overton, 2016) qui permet d’évaluer le potentiel d’apprentissage de l’apprenant par le biais d’enseignement de stratégie (médiation). Le but de la présente étude est d’explorer les apports et les limites de l’ÉD dans un contexte de RàI, au secondaire. Pour ce faire, les objectifs spécifiques sont les suivants : 1) Décrire une passation d’ÉD (en particulier la relation des trois pôles : la tâche, l’apprenant ou le médiateur) réalisée auprès d’un ÉHDAA se trouvant au secondaire dans un contexte de RàI ; 2) Décrire la relation entre la tâche et l’apprenant de même que les interactions (interventions cognitives et disciplinaires, niveaux d’assistance) entre le médiateur et l’apprenant ; 3) Décrire la progression de l’apprenant en réponse aux stratégies de médiation. Afin d’atteindre les différents objectifs, nous avons dans un premier temps établi une liste de six niveaux d’assistance, inspirée de Aldama (2017), de façon à pouvoir identifier les stratégies cognitives et de médiation en fonction du niveau d’assistance, allant de peu d’assistance à une assistance extrême. Nous avons par la suite observé et analysé les enregistrements vidéo de deux sessions d’une évaluation dynamique et tenu un entretien avec la personne qui a réalisé l’ÉD pour valider nos interprétations. Dans nos analyses, nous avons tenu compte du dossier de l’apprenant et des différentes observations faites. Enfin, nous avons consigné le tout dans une grille d’observations et d’analyse de résultats. Par le biais des données secondaires récoltées, nous avons relevé un lien entre le niveau d’assistance et le type d’interventions faites, nous avons également relevé la progression de l’apprenant à la suite des interventions. En conclusion, nous avons été en mesure d’observer la relation des trois pôles, analyser les différentes interactions ainsi que la progression de l’apprenant en réponse aux stratégies de médiation. Nous avons identifié les apports et les limites d’une ÉD en contexte de RÀI. Finalement, ces informations nous ont permis de formuler de pistes d’intervention pouvant soutenir la progression d’un apprenant. / In Quebec, the number of students with learning difficulties continues to increase (MEQ, 2021), and 40% of these students will not obtain a high school diploma (Guéricolas, 2018). Thus, in 2020, Response to Intervention, a multi-level intervention model, gained importance in Quebec (MEES, 2020). Since a percentage of students in difficulty are not progressing, we question the assessment approach that would inform school personnel on interventions that can help these students. One approach is dynamic assessment (DA) (Overton, 2016) which assesses learner learning potential through mediated instruction. The general purpose of this study is to explore the contributions and limitations of DA in an RTI context, at the secondary level. To this end, the specific objectives are as follows: 1) To describe a DA (in particular the relationship of the three poles: the task, the learner or the mediator) done with a special needs student who is in high school and in an RTI context; 2) To describe the relationship between the task and the learner as well as the interactions (cognitive and disciplinary interventions, levels of assistance) between the mediator and the learner; 3) To describe the learner's progress based on his or her responses to the mediation strategies. In order to achieve the different specific objectives, we first established a list of six levels of assistance, inspired by Aldama (2017), so that we could identify cognitive and mediation strategies according to the level of assistance, ranging from little assistance to extreme assistance. We subsequently observed and analyzed video recordings of two sessions of a dynamic assessment and held an interview with the person who conducted the DA to validate our interpretations. In our analyses, we considered the learner's file and all the observations. Finally, we recorded everything in a chart that analyses all the data from the video. Through the data collected, we found a link between the level of assistance and the type of interventions made, and we also noted the learner's progress following the interventions. In conclusion, we were able to observe the relationship between the three poles, analyze the different interactions as well as the learner's progression in response to the mediation strategies, and then we identified the advantages and limits of a DA in an RTI context. Finally, this information allowed us to formulate interventions and strategies that could support the learner's progress.