L'objectif principal de cette thèse est de définir un langage logique de haut niveau qui permet l'expression de politiques de sécurité complexes au sein d'un modèle de contrôle d'accès. Le développement de ce langage se fait en trois temps. Dans un premier temps nous présentons un modèle dynamique basé sur les rôles. Ainsi, nous considérons que l'évolution de l'état de sécurité d'un service dépend de l'exécution de ses fonctionnalités. Dans un deuxième temps nous définissons un formalisme basé sur les attributs qui offre plus de flexibilité en termes de spécifications des conditions de contrôle d'accès, et ajoutons la notion de workflow qui permet de modéliser le comportement d'un service. Dans un dernier temps, nous ajoutons un mécanisme de négociation qui permet à chaque service de définir sa propre politique d'échange avec les autres services dans l'environnement. La conception d'un tel cadre logique unifié facilite l'analyse de sûreté des politiques de sécurité puisque tous les facteurs qui influencent les décisions de contrôle d'accès sont pris en compte dans le même cadre. Ainsi le second objectif de cette thèse est d'étudier d'une part les principales propriétés de contrôle d'accès tels la délégation et la séparation des tâches et d'autre part les propriétés de sécurité pour la communication entre les différents services au niveau de la négociation.

La sécurité des services informatiques d'aujourd'hui dépend significativement de la bonne configuration des systèmes qui sont de plus en plus distribués. Au même temps, la gestion des configurations de sécurité est encore fortement basée sur des activités humaines, qui sont coûteuses et sujettes à erreurs. Au cours de la dernière décennie, il a été reporté à plusieurs reprises qu'une partie significative des incidents de sécurité et des pertes de données a été causée par des configurations incorrectes des systèmes. Pour résoudre ce problème, plusieurs techniques ont été proposées pour automatiser les tâches de gestion des configurations. Beaucoup d'entre elles mettent l'accent sur les phases de planification et de mise en œuvre, où les exigences et les politiques de sécurité abstraites sont conçues, harmonisées et transformées dans des configurations concrètes. Ces techniques nécessitent souvent d'opérer sur des politiques formelles ou très structurées qui se prêtent à un raisonnement automatisé, mais qui sont rarement disponibles dans la pratique. Cependant, moins d'attention a été consacrée aux phases de gestion de suivi et de changement des configurations, qui complètent les étapes précédentes en détectant et en corrigeant les erreurs afin d'assurer que les changements de configuration n'exposent pas le système à des menaces de sécurité. Les objectifs et les contributions de cette thèse se concentrent sur ce deuxième point de vue, de façon pragmatique sur la base des configurations de sécurité concrètes. En particulier, nous proposons trois contributions visant à analyser et à vérifier des configurations de sécurité

Cette thèse analyse certaines formes de gouvernance de la jeunesse en matière de politiques de sécurité publique, celles-ci étant perçues comme des réponses de l’Etat à l’accroissement et à la généralisation d’un sentiment d’insécurité et de peur dans la société contemporaine. Pour ce faire, j’interroge des pratiques de gouvernementalité qui se manifestent dans les périphéries urbaines - et, en particulier, chez les jeunes qui y habitent - en les considérant comme le résultat d’un changement et d’une intensification de la façon dont l’Etat pratique la gouvernance des conduites. L’approche théorico-méthodologique utilisée ici se situe à l’interface des études de genre, des études culturelles et de l’anthropologie politique, s’appuyant notamment sur des perspectives qui proposent un rapprochement critique avec la théorisation foucaldienne. Le travail s’inscrit donc dans le champ d’une ethnographie post-moderne, à partir d’une combinaison de méthodologies et de modèles d’écriture divers. Pour procéder à mon analyse, j’ai choisi deux terrains de recherche. Le premier a été le quartier Guajuviras, à Canoas, ville de la région métropolitaine de Porto Alegre, dans l’Etat du Rio Grande do Sul, Brésil. Ce quartier accueille des actions du Programa Nacional de Segurança Pública e Cidadania (Pronasci), (Programme National de Sécurité Publique et de Citoyenneté), développées là-bas sous le nom Território de Paz (Territoire de Paix). Le deuxième terrain a été la ville de Grigny Centre, située dans la région métropolitaine de Paris et considérée comme l’une des plus « explosives » de la périphérie parisienne. J’y ai analysé un ensemble d’actions de prévention et de répression de la criminalité dans le cadre des politiques de la ville. Les sources de recherche ont été ainsi constituées : 1) documents officiels de la presse et tracts de diffusion ; 2) récits littéraires, musicaux et filmiques ; 3) annotations des souvenirs de terrain, transcriptions de groupes de discussion et entretiens ; 4) images photographiques. Les différents matériaux ont été analysés dans la perspective d’une analyse culturelle, ancrée dans la théorisation foucaldienne. Il a été possible de mettre en évidence le fait que les politiques de sécurité soient devenues des éléments capitaux dans l’agenda politique des deux pays, avec des propositions de solutions adressées aux jeunes hommes issus, surtout, des groupes considérés en situation de risque et de vulnérabilité sociale. Le Território de Paz au Brésil, se caractérise par une certaine technique de gouvernement. Il organise des activités de manière à (essayer) de réguler la diversité de la vie juvénile. En France, l’Etat procède de manière à criminaliser et à culpabiliser la jeunesse pauvre, arabe et noire, pour des situations considérées auparavant comme de simples incivilités. En ce qui concerne les jeunes et l’élaboration de leurs formes identitaires, fortement traversées par des marqueurs de classe, race et genre au Brésil, et de genre et race / ethnie en France, il a été possible de mettre en exergue une force vitale encore peu valorisée comme puissance de changement : il s’agit de la capacité des jeunes à élaborer des théories sur leurs propres conditions et trajectoires personnelles. En effet, les jeunes perçoivent l’écart entre ce qui leur parait important pour leurs vies et ce que leur proposent ou leur offrent les politiques de l’Etat. / Esta tese analisa determinadas formas de governamento da juventude em políticas de segurança pública, entendendo-as como respostas do Estado à expansão e à generalização de um sentimento de insegurança e medo na sociedade contemporânea. Para isso, discuto práticas de governamentalidade que atingem as periferias urbanas e, de modo particular, os/as jovens que lá habitam, considerando-as como resultados de uma alteração e uma intensificação dos modos como o Estado exerce o governo das condutas. A abordagem teórico-metodológica situa-se na interface dos estudos de gênero, dos estudos culturais e da antropologia política, principalmente as perspectivas que propõem uma aproximação crítica com a teorização foucaultiana; o trabalho posiciona-se no campo de uma etnografia pós-moderna, a partir de uma combinação de metodologias e de modos de escrita. Para efetivar minha análise elegi dois lócus de pesquisa. Um deles foi o bairro Guajuviras, em Canoas, cidade da região metropolitana de Porto Alegre, no Rio Grande do Sul, Brasil. O bairro recebe ações do Programa Nacional de Segurança Pública e Cidadania (Pronasci), ali implementadas com o nome de Território de Paz. O segundo lócus foi a cidade de Grigny Centre, na região metropolitana de Paris, na França, considerada uma das cidades mais “explosivas” entre as periferias parisienses; analisei um conjunto de ações de prevenção e repressão à criminalidade situadas nas politiques de la ville. Constituíram fontes de pesquisa: (i) documentos oficiais, de órgãos de imprensa e panfletos de divulgação; (ii) narrativas literárias, musicais e fílmicas; (iii) anotações das recordações de campo, transcrições de grupos de discussão e entrevistas; (iv) imagens fotográficas. Os materiais foram analisados na perspectiva da análise cultural, ancorada na teorização foucaultiana. Foi possível evidenciar que as políticas de segurança tornaram-se elementos centrais da agenda política dos dois países, com propostas de soluções dirigidas aos jovens homens, principalmente de grupos considerados em situação de risco e vulnerabilidade social. O Território de Paz, no Brasil, se caracteriza como uma tecnologia de governamento. Organiza atividades de modo a (tentar) regular a diversidade da vida juvenil. As ações do Estado francês operam de modo a criminalizar e a culpabilizar a juventude pobre, árabe e negra por situações consideradas anteriormente como simples incivilidades. Com relação às elaborações dos/das jovens e de suas formações identitárias, fortemente atravessadas por marcadores de classe raça e gênero no Brasil, e de gênero e raça/etnia na França, foi possível trazer à tona uma força vital que pouco tem sido valorizada como potência de mudança: trata-se da capacidade dos/das jovens de elaborarem teorias sobre suas próprias condições e trajetórias. Com efeito, os/as jovens reconhecem a disjunção entre o que seria importante nas suas vidas e o que as ações de Estado lhes propõem ou oferecem. / This paper analyses certain forms of “governamentality” of the youth, as far as public security policies are concerned. Such policies are understood as reactions from the State to the expansion and generalization of a feeling of insecurity and fear in contemporary society. To that end, I discuss “governmentality” practices directed to suburban areas and in particular to the youngsters that live there. Such practices result from the intensification of State control over youngster behaviors. The theoretical-methodological approach results from the interaction of gender studies, cultural studies and political anthropology, in particular, the perspectives that maintain a critical proximity with Foucault’s thinking. Hence, this paper is situated in the field of post-modern ethnography resulting from a combination of methodologies and distinct narratives. To carry out my analysis, I have chosen two distinct research locations. One of such locations was the Guajuviras borough in Canoas, in the suburban area of Porto Alegre, Rio Grande do Sul, Brazil. The National Program of Public Security and Citizenship (PRONASCI, from the acronym in Portuguese) carries out actions in Guajuviras borough. Those actions are implemented under the title of Território de Paz (Land of Peace). The second location was the town of Grigny Centre in the suburban area of Paris, France. Grigny Centre is considered one of the “hottest spots” among Paris suburban areas. I carried out the analysis of preventive and repressive measures to combat criminality in the context of politiques de la ville. The research sources employed were the following: (i) official documents, press reports and leaflets; (ii) literature, music and film; (iii) notes from field visits, transcripts of group discussions and interviews; (iv) photos. Such materials were assessed on the basis of the cultural analysis taking into account Foucault theoretical elements. Evidence confirmed that public security policies have become central elements in the political agenda of both countries. Based on that, solutions were proposed aiming at young men in situations of social risk and vulnerability. The Brazilian government initiative Território da Paz constitutes a “governamentality” technology. It organizes its activities (in an attempt) to regulate the diversity of situations in the life of juveniles. The actions by the French State, on the other hand, are carried out in a way that result in criminalizing and generating a sense of guilty in the poor youths of Arab or African origin for actions and situations that in the past were considered only as misdemeanors. As to the rationalizations from young men and women and to their identity construction, they were characterized by markers of class, race and gender in Brazil and, in France, by markers of race/ethnicity. It was possible to bring to the surface a vital energy linked to those rationalizations that has not been properly evaluated as an enabler for change. It represents the potential of young men and women to formulate their own theories regarding their own condition and life trajectories. It is my perception that young men and women acknowledge the existence o what is relevant to their lives and what is proposed or provided by the actions from the State.

Cette thèse étudie les politiques de sécurité et de défense développées dans la corne de l’Afrique. Notre objectif principal est de montrer qu’en Somalie, en Érythrée, en Éthiopie et à Djibouti les facteurs politiques, historiques, économiques et sociaux se combinent pour expliquer la situation d’insécurité totale qui règne dans la région. Sa position géostratégique fait d’elle, une zone très convoitée pour mieux lutter contre le terrorisme et la piraterie. Cet avantage géographique est peu rentabilisé à cause des guerres civiles, des contentieux territoriaux et des catastrophes naturelles qui ont engendré l’une des plus grandes crises humanitaires et alimentaires au monde. Devant cet état de fait, les politiques de sécurité et défense, qu’elles soient régionales et continentale, semblent être impuissantes. Les échecs de ces politiques découlent, d’une part ; des discordes entre les chefs d’État et, d’autre part ; du manque de moyens financiers des États, de l’Union africaine et de ses organismes sous régionaux (l’IGAD et le COMESA). En étudiant le cas de Djibouti, nous montrerons que la politique de sécurité nationale souffre de plusieurs maux. En effet, la corruption, le clientélisme, le tribalisme et le détournement des deniers publics affaiblissent la politique sécuritaire et incitent les populations appauvries aux soulèvements. Djibouti, étant l’un des pays le plus stable de la région, constitue un baromètre pour mieux mesurer les nouvelles menaces qui déstabiliseraient la zone. Pays limitrophes des foyers du terrorisme et de la piraterie, il est le choix d’implantation, par excellence, des bases militaires françaises, américaines, japonaise et de plusieurs autres contingents. Ainsi, en bénéficiant de l’aide et de la protection de ces États, il devient, par conséquent, une cible des groupes terroristes. L’apport sécuritaire et économique des bases sont indéniables. Cependant, elles ne manquent pas d’impacter négativement sur son environnement social. / This thesis studies the politics of security and defence that have been developed in the Horn of Africa. Our main objective is to show that in Somalia, Eritrea, Ethiopia and Djibouti there are political, historical, economical and sociological factors that explain the prevailing insecurity within the region. Its geostrategic position makes it a coveted area for fighting terrorism and piracy. Nevertheless this geographical advantage is not as profitable as it could be because of civil wars, boundary disputes and natural disasters that have generated one of the world’s biggest humanitarian and food crisis. Security and defence policies, whether regional or continental, have shown to be powerless when facing these realities. The failures of these policies are due to disagreements between Heads of State and to the lack of financial resources within States, the African Union and its sub-regional agencies such as IGAD and COMESA. By studying the case of Djibouti we will prove that national security policies have been weakened by corruption, clientelism and tribalism, which has lead to the insurgence of the impoverished population. Because Djibouti is one of the most stable States in the region, it serves as a barometer that measures new treats to the stability of the zone. As a neighbouring country to the hotbeds of terrorism and piracy, Djibouti is where the French, the American and the Japanese have settled their military bases; it has also consequently become the target of terrorist groups. The military bases have certainly improved the security and the economy of the area but they have also had a negative impact on its social environment.

Cette thèse analyse certaines formes de gouvernance de la jeunesse en matière de politiques de sécurité publique, celles-ci étant perçues comme des réponses de l’Etat à l’accroissement et à la généralisation d’un sentiment d’insécurité et de peur dans la société contemporaine. Pour ce faire, j’interroge des pratiques de gouvernementalité qui se manifestent dans les périphéries urbaines - et, en particulier, chez les jeunes qui y habitent - en les considérant comme le résultat d’un changement et d’une intensification de la façon dont l’Etat pratique la gouvernance des conduites. L’approche théorico-méthodologique utilisée ici se situe à l’interface des études de genre, des études culturelles et de l’anthropologie politique, s’appuyant notamment sur des perspectives qui proposent un rapprochement critique avec la théorisation foucaldienne. Le travail s’inscrit donc dans le champ d’une ethnographie post-moderne, à partir d’une combinaison de méthodologies et de modèles d’écriture divers. Pour procéder à mon analyse, j’ai choisi deux terrains de recherche. Le premier a été le quartier Guajuviras, à Canoas, ville de la région métropolitaine de Porto Alegre, dans l’Etat du Rio Grande do Sul, Brésil. Ce quartier accueille des actions du Programa Nacional de Segurança Pública e Cidadania (Pronasci), (Programme National de Sécurité Publique et de Citoyenneté), développées là-bas sous le nom Território de Paz (Territoire de Paix). Le deuxième terrain a été la ville de Grigny Centre, située dans la région métropolitaine de Paris et considérée comme l’une des plus « explosives » de la périphérie parisienne. J’y ai analysé un ensemble d’actions de prévention et de répression de la criminalité dans le cadre des politiques de la ville. Les sources de recherche ont été ainsi constituées : 1) documents officiels de la presse et tracts de diffusion ; 2) récits littéraires, musicaux et filmiques ; 3) annotations des souvenirs de terrain, transcriptions de groupes de discussion et entretiens ; 4) images photographiques. Les différents matériaux ont été analysés dans la perspective d’une analyse culturelle, ancrée dans la théorisation foucaldienne. Il a été possible de mettre en évidence le fait que les politiques de sécurité soient devenues des éléments capitaux dans l’agenda politique des deux pays, avec des propositions de solutions adressées aux jeunes hommes issus, surtout, des groupes considérés en situation de risque et de vulnérabilité sociale. Le Território de Paz au Brésil, se caractérise par une certaine technique de gouvernement. Il organise des activités de manière à (essayer) de réguler la diversité de la vie juvénile. En France, l’Etat procède de manière à criminaliser et à culpabiliser la jeunesse pauvre, arabe et noire, pour des situations considérées auparavant comme de simples incivilités. En ce qui concerne les jeunes et l’élaboration de leurs formes identitaires, fortement traversées par des marqueurs de classe, race et genre au Brésil, et de genre et race / ethnie en France, il a été possible de mettre en exergue une force vitale encore peu valorisée comme puissance de changement : il s’agit de la capacité des jeunes à élaborer des théories sur leurs propres conditions et trajectoires personnelles. En effet, les jeunes perçoivent l’écart entre ce qui leur parait important pour leurs vies et ce que leur proposent ou leur offrent les politiques de l’Etat. / Esta tese analisa determinadas formas de governamento da juventude em políticas de segurança pública, entendendo-as como respostas do Estado à expansão e à generalização de um sentimento de insegurança e medo na sociedade contemporânea. Para isso, discuto práticas de governamentalidade que atingem as periferias urbanas e, de modo particular, os/as jovens que lá habitam, considerando-as como resultados de uma alteração e uma intensificação dos modos como o Estado exerce o governo das condutas. A abordagem teórico-metodológica situa-se na interface dos estudos de gênero, dos estudos culturais e da antropologia política, principalmente as perspectivas que propõem uma aproximação crítica com a teorização foucaultiana; o trabalho posiciona-se no campo de uma etnografia pós-moderna, a partir de uma combinação de metodologias e de modos de escrita. Para efetivar minha análise elegi dois lócus de pesquisa. Um deles foi o bairro Guajuviras, em Canoas, cidade da região metropolitana de Porto Alegre, no Rio Grande do Sul, Brasil. O bairro recebe ações do Programa Nacional de Segurança Pública e Cidadania (Pronasci), ali implementadas com o nome de Território de Paz. O segundo lócus foi a cidade de Grigny Centre, na região metropolitana de Paris, na França, considerada uma das cidades mais “explosivas” entre as periferias parisienses; analisei um conjunto de ações de prevenção e repressão à criminalidade situadas nas politiques de la ville. Constituíram fontes de pesquisa: (i) documentos oficiais, de órgãos de imprensa e panfletos de divulgação; (ii) narrativas literárias, musicais e fílmicas; (iii) anotações das recordações de campo, transcrições de grupos de discussão e entrevistas; (iv) imagens fotográficas. Os materiais foram analisados na perspectiva da análise cultural, ancorada na teorização foucaultiana. Foi possível evidenciar que as políticas de segurança tornaram-se elementos centrais da agenda política dos dois países, com propostas de soluções dirigidas aos jovens homens, principalmente de grupos considerados em situação de risco e vulnerabilidade social. O Território de Paz, no Brasil, se caracteriza como uma tecnologia de governamento. Organiza atividades de modo a (tentar) regular a diversidade da vida juvenil. As ações do Estado francês operam de modo a criminalizar e a culpabilizar a juventude pobre, árabe e negra por situações consideradas anteriormente como simples incivilidades. Com relação às elaborações dos/das jovens e de suas formações identitárias, fortemente atravessadas por marcadores de classe raça e gênero no Brasil, e de gênero e raça/etnia na França, foi possível trazer à tona uma força vital que pouco tem sido valorizada como potência de mudança: trata-se da capacidade dos/das jovens de elaborarem teorias sobre suas próprias condições e trajetórias. Com efeito, os/as jovens reconhecem a disjunção entre o que seria importante nas suas vidas e o que as ações de Estado lhes propõem ou oferecem. / This paper analyses certain forms of “governamentality” of the youth, as far as public security policies are concerned. Such policies are understood as reactions from the State to the expansion and generalization of a feeling of insecurity and fear in contemporary society. To that end, I discuss “governmentality” practices directed to suburban areas and in particular to the youngsters that live there. Such practices result from the intensification of State control over youngster behaviors. The theoretical-methodological approach results from the interaction of gender studies, cultural studies and political anthropology, in particular, the perspectives that maintain a critical proximity with Foucault’s thinking. Hence, this paper is situated in the field of post-modern ethnography resulting from a combination of methodologies and distinct narratives. To carry out my analysis, I have chosen two distinct research locations. One of such locations was the Guajuviras borough in Canoas, in the suburban area of Porto Alegre, Rio Grande do Sul, Brazil. The National Program of Public Security and Citizenship (PRONASCI, from the acronym in Portuguese) carries out actions in Guajuviras borough. Those actions are implemented under the title of Território de Paz (Land of Peace). The second location was the town of Grigny Centre in the suburban area of Paris, France. Grigny Centre is considered one of the “hottest spots” among Paris suburban areas. I carried out the analysis of preventive and repressive measures to combat criminality in the context of politiques de la ville. The research sources employed were the following: (i) official documents, press reports and leaflets; (ii) literature, music and film; (iii) notes from field visits, transcripts of group discussions and interviews; (iv) photos. Such materials were assessed on the basis of the cultural analysis taking into account Foucault theoretical elements. Evidence confirmed that public security policies have become central elements in the political agenda of both countries. Based on that, solutions were proposed aiming at young men in situations of social risk and vulnerability. The Brazilian government initiative Território da Paz constitutes a “governamentality” technology. It organizes its activities (in an attempt) to regulate the diversity of situations in the life of juveniles. The actions by the French State, on the other hand, are carried out in a way that result in criminalizing and generating a sense of guilty in the poor youths of Arab or African origin for actions and situations that in the past were considered only as misdemeanors. As to the rationalizations from young men and women and to their identity construction, they were characterized by markers of class, race and gender in Brazil and, in France, by markers of race/ethnicity. It was possible to bring to the surface a vital energy linked to those rationalizations that has not been properly evaluated as an enabler for change. It represents the potential of young men and women to formulate their own theories regarding their own condition and life trajectories. It is my perception that young men and women acknowledge the existence o what is relevant to their lives and what is proposed or provided by the actions from the State.

Cette thèse analyse certaines formes de gouvernance de la jeunesse en matière de politiques de sécurité publique, celles-ci étant perçues comme des réponses de l’Etat à l’accroissement et à la généralisation d’un sentiment d’insécurité et de peur dans la société contemporaine. Pour ce faire, j’interroge des pratiques de gouvernementalité qui se manifestent dans les périphéries urbaines - et, en particulier, chez les jeunes qui y habitent - en les considérant comme le résultat d’un changement et d’une intensification de la façon dont l’Etat pratique la gouvernance des conduites. L’approche théorico-méthodologique utilisée ici se situe à l’interface des études de genre, des études culturelles et de l’anthropologie politique, s’appuyant notamment sur des perspectives qui proposent un rapprochement critique avec la théorisation foucaldienne. Le travail s’inscrit donc dans le champ d’une ethnographie post-moderne, à partir d’une combinaison de méthodologies et de modèles d’écriture divers. Pour procéder à mon analyse, j’ai choisi deux terrains de recherche. Le premier a été le quartier Guajuviras, à Canoas, ville de la région métropolitaine de Porto Alegre, dans l’Etat du Rio Grande do Sul, Brésil. Ce quartier accueille des actions du Programa Nacional de Segurança Pública e Cidadania (Pronasci), (Programme National de Sécurité Publique et de Citoyenneté), développées là-bas sous le nom Território de Paz (Territoire de Paix). Le deuxième terrain a été la ville de Grigny Centre, située dans la région métropolitaine de Paris et considérée comme l’une des plus « explosives » de la périphérie parisienne. J’y ai analysé un ensemble d’actions de prévention et de répression de la criminalité dans le cadre des politiques de la ville. Les sources de recherche ont été ainsi constituées : 1) documents officiels de la presse et tracts de diffusion ; 2) récits littéraires, musicaux et filmiques ; 3) annotations des souvenirs de terrain, transcriptions de groupes de discussion et entretiens ; 4) images photographiques. Les différents matériaux ont été analysés dans la perspective d’une analyse culturelle, ancrée dans la théorisation foucaldienne. Il a été possible de mettre en évidence le fait que les politiques de sécurité soient devenues des éléments capitaux dans l’agenda politique des deux pays, avec des propositions de solutions adressées aux jeunes hommes issus, surtout, des groupes considérés en situation de risque et de vulnérabilité sociale. Le Território de Paz au Brésil, se caractérise par une certaine technique de gouvernement. Il organise des activités de manière à (essayer) de réguler la diversité de la vie juvénile. En France, l’Etat procède de manière à criminaliser et à culpabiliser la jeunesse pauvre, arabe et noire, pour des situations considérées auparavant comme de simples incivilités. En ce qui concerne les jeunes et l’élaboration de leurs formes identitaires, fortement traversées par des marqueurs de classe, race et genre au Brésil, et de genre et race / ethnie en France, il a été possible de mettre en exergue une force vitale encore peu valorisée comme puissance de changement : il s’agit de la capacité des jeunes à élaborer des théories sur leurs propres conditions et trajectoires personnelles. En effet, les jeunes perçoivent l’écart entre ce qui leur parait important pour leurs vies et ce que leur proposent ou leur offrent les politiques de l’Etat. / Esta tese analisa determinadas formas de governamento da juventude em políticas de segurança pública, entendendo-as como respostas do Estado à expansão e à generalização de um sentimento de insegurança e medo na sociedade contemporânea. Para isso, discuto práticas de governamentalidade que atingem as periferias urbanas e, de modo particular, os/as jovens que lá habitam, considerando-as como resultados de uma alteração e uma intensificação dos modos como o Estado exerce o governo das condutas. A abordagem teórico-metodológica situa-se na interface dos estudos de gênero, dos estudos culturais e da antropologia política, principalmente as perspectivas que propõem uma aproximação crítica com a teorização foucaultiana; o trabalho posiciona-se no campo de uma etnografia pós-moderna, a partir de uma combinação de metodologias e de modos de escrita. Para efetivar minha análise elegi dois lócus de pesquisa. Um deles foi o bairro Guajuviras, em Canoas, cidade da região metropolitana de Porto Alegre, no Rio Grande do Sul, Brasil. O bairro recebe ações do Programa Nacional de Segurança Pública e Cidadania (Pronasci), ali implementadas com o nome de Território de Paz. O segundo lócus foi a cidade de Grigny Centre, na região metropolitana de Paris, na França, considerada uma das cidades mais “explosivas” entre as periferias parisienses; analisei um conjunto de ações de prevenção e repressão à criminalidade situadas nas politiques de la ville. Constituíram fontes de pesquisa: (i) documentos oficiais, de órgãos de imprensa e panfletos de divulgação; (ii) narrativas literárias, musicais e fílmicas; (iii) anotações das recordações de campo, transcrições de grupos de discussão e entrevistas; (iv) imagens fotográficas. Os materiais foram analisados na perspectiva da análise cultural, ancorada na teorização foucaultiana. Foi possível evidenciar que as políticas de segurança tornaram-se elementos centrais da agenda política dos dois países, com propostas de soluções dirigidas aos jovens homens, principalmente de grupos considerados em situação de risco e vulnerabilidade social. O Território de Paz, no Brasil, se caracteriza como uma tecnologia de governamento. Organiza atividades de modo a (tentar) regular a diversidade da vida juvenil. As ações do Estado francês operam de modo a criminalizar e a culpabilizar a juventude pobre, árabe e negra por situações consideradas anteriormente como simples incivilidades. Com relação às elaborações dos/das jovens e de suas formações identitárias, fortemente atravessadas por marcadores de classe raça e gênero no Brasil, e de gênero e raça/etnia na França, foi possível trazer à tona uma força vital que pouco tem sido valorizada como potência de mudança: trata-se da capacidade dos/das jovens de elaborarem teorias sobre suas próprias condições e trajetórias. Com efeito, os/as jovens reconhecem a disjunção entre o que seria importante nas suas vidas e o que as ações de Estado lhes propõem ou oferecem. / This paper analyses certain forms of “governamentality” of the youth, as far as public security policies are concerned. Such policies are understood as reactions from the State to the expansion and generalization of a feeling of insecurity and fear in contemporary society. To that end, I discuss “governmentality” practices directed to suburban areas and in particular to the youngsters that live there. Such practices result from the intensification of State control over youngster behaviors. The theoretical-methodological approach results from the interaction of gender studies, cultural studies and political anthropology, in particular, the perspectives that maintain a critical proximity with Foucault’s thinking. Hence, this paper is situated in the field of post-modern ethnography resulting from a combination of methodologies and distinct narratives. To carry out my analysis, I have chosen two distinct research locations. One of such locations was the Guajuviras borough in Canoas, in the suburban area of Porto Alegre, Rio Grande do Sul, Brazil. The National Program of Public Security and Citizenship (PRONASCI, from the acronym in Portuguese) carries out actions in Guajuviras borough. Those actions are implemented under the title of Território de Paz (Land of Peace). The second location was the town of Grigny Centre in the suburban area of Paris, France. Grigny Centre is considered one of the “hottest spots” among Paris suburban areas. I carried out the analysis of preventive and repressive measures to combat criminality in the context of politiques de la ville. The research sources employed were the following: (i) official documents, press reports and leaflets; (ii) literature, music and film; (iii) notes from field visits, transcripts of group discussions and interviews; (iv) photos. Such materials were assessed on the basis of the cultural analysis taking into account Foucault theoretical elements. Evidence confirmed that public security policies have become central elements in the political agenda of both countries. Based on that, solutions were proposed aiming at young men in situations of social risk and vulnerability. The Brazilian government initiative Território da Paz constitutes a “governamentality” technology. It organizes its activities (in an attempt) to regulate the diversity of situations in the life of juveniles. The actions by the French State, on the other hand, are carried out in a way that result in criminalizing and generating a sense of guilty in the poor youths of Arab or African origin for actions and situations that in the past were considered only as misdemeanors. As to the rationalizations from young men and women and to their identity construction, they were characterized by markers of class, race and gender in Brazil and, in France, by markers of race/ethnicity. It was possible to bring to the surface a vital energy linked to those rationalizations that has not been properly evaluated as an enabler for change. It represents the potential of young men and women to formulate their own theories regarding their own condition and life trajectories. It is my perception that young men and women acknowledge the existence o what is relevant to their lives and what is proposed or provided by the actions from the State.

Concevoir et mettre en œuvre des méthodes pour la spécification, l'analyse et la vérification de logiciels et de systèmes sont les principaux moteurs des activités de recherche présentées dans ce manuscrit. Dans ce cadre, nos travaux se positionnent dans la catégorie dite des méthodes formelles appartenant à la communauté plus large du génie logiciel. A l'interface des travaux théoriques et applicatifs, notre objectif est de contribuer aux méthodes permettant d'assurer la correction et la sûreté des systèmes (fonctionnalité, sécurité, fiabilité, ...) en développant ou en améliorant des langages de spécification, des techniques et des outils permettant leur analyse formelle. Dans ce but, nous nous sommes attaché dans cette thèse à proposer et à étudier un cadre formel permettant la définition de politiques de sécurité et la vérification de leurs propriétés. A cet effet, nous avons proposé un cadre pour la spécification de politiques de sécurité basé sur une approche modulaire dans laquelle une politique est vue comme la composition d'un modèle de sécurité et d'une configuration. Nous avons investigué les possibilités offertes par de telles spécifications lorsque les modèles sont exprimés au moyen de contraintes du premier ordre et les configurations au moyen de programmes logiques. En particulier, nous avons proposé un algorithme permettant de transformer une politique exprimée dans un modèle donné vers une autre politique équivalente (au sens où elle engendre les mêmes autorisations) exprimée dans un autre modèle. Dans un second temps, nous nous sommes proposé de tenir compte des aspects dynamiques de la configuration d'une politique vue comme un état du système sur lequel la politique est mise en œuvre et où chaque action est associée à une procédure de modification des états. Nous avons proposé un langage formel simple pour spécifier séparément les systèmes et les politiques de sécurité puis avons donné une sémantique des spécifications exprimées dans ce cadre sous la forme de systèmes de réécriture. Nous nous sommes ensuite attachés à montrer que les systèmes de réécriture obtenus permettent l'étude de propriétés de sécurité. Dans une troisième partie, nous nous sommes focalisé sur les mécanismes permettant la mise en œuvre de politiques de sécurité dans les réseaux. Dans ce cadre, nous avons proposé une spécification des firewalls et de leurs compositions basée sur les automates d'arbres et les systèmes de réécriture puis avons montré en quoi ces spécifications nous permettent d'analyser de façon automatique les politiques de sécurité sous-jacentes.

La sécurité des services informatiques d'aujourd'hui dépend significativement de la bonne configuration des systèmes qui sont de plus en plus distribués. Au même temps, la gestion des configurations de sécurité est encore fortement basée sur des activités humaines, qui sont coûteuses et sujettes à erreurs. Au cours de la dernière décennie, il a été reporté à plusieurs reprises qu'une partie significative des incidents de sécurité et des pertes de données a été causée par des configurations incorrectes des systèmes. Pour résoudre ce problème, plusieurs techniques ont été proposées pour automatiser les tâches de gestion des configurations. Beaucoup d'entre elles mettent l'accent sur les phases de planification et de mise en œuvre, où les exigences et les politiques de sécurité abstraites sont conçues, harmonisées et transformées dans des configurations concrètes. Ces techniques nécessitent souvent d'opérer sur des politiques formelles ou très structurées qui se prêtent à un raisonnement automatisé, mais qui sont rarement disponibles dans la pratique. Cependant, moins d'attention a été consacrée aux phases de gestion de suivi et de changement des configurations, qui complètent les étapes précédentes en détectant et en corrigeant les erreurs afin d'assurer que les changements de configuration n'exposent pas le système à des menaces de sécurité. Les objectifs et les contributions de cette thèse se concentrent sur ce deuxième point de vue, de façon pragmatique sur la base des configurations de sécurité concrètes. En particulier, nous proposons trois contributions visant à analyser et à vérifier des configurations de sécurité / The security of nowadays IT services significantly depends on the correct configuration of increasingly distributed information systems. At the same time, the management of security configurations is still heavily centered on human activities, which are costly and prone to error. Over the last decade it has been repeatedly reported that a significant share of security incidents and data breaches are caused by inaccurate systems configuration. To tackle this problem, several techniques have been proposed to increase the automation in configuration management tasks. Many of them focus on planning and implementation, i.e., the phases where abstract security requirements and policies are elicited, harmonized, de-conflicted and transformed into concrete configurations. As such, these techniques often require formal or highly structured input policies amenable to automated reasoning, which are rarely available in practice. In contrast, less attention has been dedicated to the monitoring and change management phases, which complement the above steps by detecting and remediating configuration errors and by ensuring that configuration changes do not expose the system to security threats. The objectives and contributions of this thesis take the latter perspective and, as such, they pragmatically work on the basis of concrete security configurations. In particular, we propose three contributions that move from more concrete syntax-based configuration analysis towards increasingly abstract semantic reasoning

Les cyber-attaques pourraient engendrer des pertes qui sont de plus en plus importantes pour les utilisateurs finaux et les fournisseurs de service. Ces attaques sont, en outre, élevées par une myriade des ressources infectées et comptent surtout sur les réseaux pour être contrôlées, se propager ou endommager. Face à ces risques, il y a un besoin essentiel qui se manifeste dans la réponse à ces nombreuses attaques par des stratégies de défense efficaces. Malgré les multitudes efforts dévouées pour mettre en œuvre des techniques de défense complètes afin de se protéger contre les attaques réseaux; les approches proposées n’ont pas parvenus à satisfaire toutes les exigences. Les stratégies de défense impliquent un processus de détection complété par des actions de mitigation. Parallèlement à l’importance accordée à la conception des stratégies de détection, il est essentiel de fermer la boucle de sécurité avec des techniques efficaces permettant d’atténuer les impacts des différentes attaques. Dans cette thèse, nous proposons une technique pour réagir aux attaques qui abusent les ressources du réseau, par exemple, DDoS, botnet, distribution des vers, etc. La technique proposée s’appuie sur des approches de gestion du trafic et utilise le standard Multiprotocol Label Switching (MPLS) pour gérer le trafic diagnostiqué comme abusant du réseau, tout en invoquant les processus de détection. Les objectifs de notre technique peuvent être résumés comme suit: d’une part, fournir les moyens — par la qualité de service et schémas de routage — à séparer les flux suspects des légitimes, et d’autre part de prendre le contrôle des flux suspects. Nous bénéficions de l’extension du MPLS au niveau d’inter-domaine pour permettre une coopération entre les fournisseurs, permettant par suite la construction d’un mécanisme de défense à grande échelle. Nous développons un système afin de compléter les aspects de gestion de la technique proposée. Ce système effectue plusieurs tâches telles que l’extraction de données d’alerte, l’adaptation de la stratégie et la configuration des équipements. Nous modélisons le système en utilisant une approche de regroupement et un langage de politiques de sécurité afin de gérer de manière cohérente et automatique le contexte et l’environnement dans lequel la technique de mitigation est exécutée. Enfin, nous montrons l’applicabilité de la technique et du système à travers des différentes simulations tout en évaluant la qualité de service dans des réseaux MPLS. L’application de la technique a démontré son efficacité dans non seulement la mitigation des impacts des attaques mais aussi dans l’offre des avantages financiers aux acteurs de la chaîne de sécurité, à savoir les fournisseurs de service / Cyber attacks cause considerable losses not only for end-users but also service providers. They are fostered by myriad of infected resources and mostly rely on network resources for whether propagating, controlling or damaging. There is an essential need to address these numerous attacks by efficient defence strategies. Researchers have dedicated large resources without reaching a comprehensive method to protect from network attacks. Defence strategies involve first a detection process, completed by mitigation actions. Research on detection is more active than on mitigation. Yet, it is crucial to close the security loop with efficient technique to mitigate counter attacks and their effects. In this thesis, we propose a novel technique to react to attacks that misuse network resources, e.g., DDoS, Botnet, worm spreading, etc. Our technique is built upon network traffic management techniques. We use the Multiprotocol Label Switching (MPLS) technology to manage the traffic diagnosed to be part of a network misuse by detection processes. The goals of our technique can be summarized as follows: first to provide the means — via QoS and routing schemes — to segregate the suspicious flows from the legitimate traffic; and second, to take control over suspicious flows. We profit from the enhancement on the inter-domain MPLS to permit a cooperation among providers building a large-scale defence mechanism. We develop a system to complete the management aspects of the proposed technique. This system performs tasks such as alert data extraction, strategy adaptation and equipments configurations. We model the system using a clustering method and a policy language in order to consistently and automatically manage the mitigation context and environment in which the proposed technique is running. Finally, we show the applicability of the technique and the system through simulation. We evaluate and analyse the QoS and financial impacts inside MPLS networks. The application of the technique demonstrates its effectiveness and reliability in not only alleviating attacks but also providing financial benefits for the different players in the mitigation chain, i.e., service providers