Controle de acesso é um tópico de pesquisa importante tanto para a academia quanto para a indústria. Controle de Acesso Baseado em Papéis (CABP) foi desenvolvido no início dos anos 1990, tornando-se um padrão generalizado para controle de acesso em vários produtos e soluções computacionais. Embora modelos CABP sejam largamente aceitos e adotados, ainda existem questões para responder. Um dos principais desafios de pesquisa em segurança baseada em papéis é determinar se uma política de controle de acesso é consistente em um ambiente altamente dinâmico. Nossa pesquisa visa preencher essa lacuna fornecendo um método para analisar políticas CABP com respeito a dois aspectos significativos: segurança e dinamismo envolvendo papéis e objetos. Para este propósito, desenvolvemos um modelo de descrição e simulação de política usando rede de Petri colorida e CPN Tools. O modelo descreve e é capaz de simular vários estados CABP em um contexto de educação a distância típico. Usando este modelo, foi possível analisar o espaço de estados produzido pela rede de Petri colorida em um cenário dinâmico envolvendo a criação de novos papéis e objetos. O resultado da análise de alcançabilidade da rede de Petri da política demonstrou que é possível verificar a consistência de políticas de controle de acesso considerando a dinamicidade de papéis e objetos, e apontou vantagens de aplicabilidade da modelagem de políticas de segurança em ambientes distribuídos utilizando rede de Petri colorida. / Access control is an important research topic both for academia and industry. Role Based Access Control (RBAC) was developed in the early 1990s, becoming a generalized standard of access control for many products and computing solutions. Although RBAC models have been widely accepted and adopted, there are issues to answer. One of the key challenges for role-based security research is to characterize whether an access control policy is consistent in a highly dynamic environment. Our research aims filling this gap providing a method to analyze RBAC policies with respect to two significant aspects: security and dynamics involving roles and objects. For this purpose, we developed a policy description and simulation model using colored Petri net and the CPN Tools. The model describes and is capable to simulate many RBAC states in a typical distance education context. Using this model it was possible to analyze the state space provided by colored Petri net that simulates a dynamic environment and the creation of new roles and objects. The result of the reachability analysis of Petri net policy showed that it is possible to check the consistency of access control policies considering dynamic of roles and objects, and point out the advantages and applicability of modeling security policies in distributed environments using colored Petri net.

Controle de acesso é um tópico de pesquisa importante tanto para a academia quanto para a indústria. Controle de Acesso Baseado em Papéis (CABP) foi desenvolvido no início dos anos 1990, tornando-se um padrão generalizado para controle de acesso em vários produtos e soluções computacionais. Embora modelos CABP sejam largamente aceitos e adotados, ainda existem questões para responder. Um dos principais desafios de pesquisa em segurança baseada em papéis é determinar se uma política de controle de acesso é consistente em um ambiente altamente dinâmico. Nossa pesquisa visa preencher essa lacuna fornecendo um método para analisar políticas CABP com respeito a dois aspectos significativos: segurança e dinamismo envolvendo papéis e objetos. Para este propósito, desenvolvemos um modelo de descrição e simulação de política usando rede de Petri colorida e CPN Tools. O modelo descreve e é capaz de simular vários estados CABP em um contexto de educação a distância típico. Usando este modelo, foi possível analisar o espaço de estados produzido pela rede de Petri colorida em um cenário dinâmico envolvendo a criação de novos papéis e objetos. O resultado da análise de alcançabilidade da rede de Petri da política demonstrou que é possível verificar a consistência de políticas de controle de acesso considerando a dinamicidade de papéis e objetos, e apontou vantagens de aplicabilidade da modelagem de políticas de segurança em ambientes distribuídos utilizando rede de Petri colorida. / Access control is an important research topic both for academia and industry. Role Based Access Control (RBAC) was developed in the early 1990s, becoming a generalized standard of access control for many products and computing solutions. Although RBAC models have been widely accepted and adopted, there are issues to answer. One of the key challenges for role-based security research is to characterize whether an access control policy is consistent in a highly dynamic environment. Our research aims filling this gap providing a method to analyze RBAC policies with respect to two significant aspects: security and dynamics involving roles and objects. For this purpose, we developed a policy description and simulation model using colored Petri net and the CPN Tools. The model describes and is capable to simulate many RBAC states in a typical distance education context. Using this model it was possible to analyze the state space provided by colored Petri net that simulates a dynamic environment and the creation of new roles and objects. The result of the reachability analysis of Petri net policy showed that it is possible to check the consistency of access control policies considering dynamic of roles and objects, and point out the advantages and applicability of modeling security policies in distributed environments using colored Petri net.

O cenário tecnológico é um fator importante a ser considerado ao se trabalhar com Sistemas de Gestão de Segurança da Informação (SGSI). No entanto, nos últimos anos esse cenário se alterou profundamente, aumentando em complexidade de maneira até antes não vista. Caracterizado principalmente por tendências tecnológicas como a terceirização de infraestrutura de TIC, a computação em nuvem e a mobilidade, o cenário externo atual gera grandes novos desafios de segurança. A abordagem típica para tratar com mudanças de cenário em SGSIs é uma revisão da análise de riscos e a implantação de novos controles de segurança. No entanto, frente a um cenário tão disruptivo, riscos podem passar despercebidos, devido à falta de conhecimento sobre os novos elementos introduzidos por esse cenário. Por causa disso, adaptações mais profundas, durante o próprio planejamento do SGSI, são necessárias. Usando a norma de segurança ISO/IEC 27001 como referência, esse trabalho introduz um modelo de suporte que permite a identificação dessas adaptações. Para construir esse modelo, foram inicialmente levantados os riscos referentes a cada uma das três tendências tecnológicas listadas. Esses riscos foram compilados e analisados em conjunto, buscando a identificação de temas de preocupação recorrentes entre eles. Para endereçar cada um dos temas dentro do modelo de suporte, foram levantadas adaptações do SGSI sugeridas na literatura e na prática de segurança. Essas adaptações foram transformadas em pontos de checagem a serem observados durante a execução das duas atividades principais da fase de Planejamento do SGSI da ISO/IEC 27001: definição de políticas de segurança e gestão de riscos. A contribuição principal do trabalho é um modelo de suporte de segurança com o qual as organizações podem adaptar o seu SGSI e assim melhor protegerem suas informações frente ao cenário tecnológico externo descrito. Como contribuição secundária está a sugestão de uma análise unificada com foco em segurança das tendências tecnológicas desse cenário. / The technological scenario is an important factor to be considered while working with Information Security Management Systems (ISMS). However, in the latter years this scenario has changed deeply, increasing in complexity in a way not seen so far. Characterized mainly by the heavy use of ITC infrastructure outsourcing, cloud computing and mobility, the current external scenario creates big new security challenges. The typical approach to handle changes of scenarios in ISMSs is a risk assessment review and deployment of new security controls. However, when considering such a disruptive scenario, some risks may go unnoticed, due to the lack of knowledge of the elements introduced by this scenario. Because of that, deeper adaptations are needed, during the actual ISMS planning. Using the ISO/IEC 27001 as a reference, this research introduces a framework for the identification of these adaptations. To build this framework, risks related to each of the three technological trends mentioned were identified. These risks were compiled and analyzed together, searching for recurring themes of concern among them. To address each of these themes in the framework, ISMS adaptations suggested in the security literature and practice were identified. These adaptations were transformed in checkpoints to be verified during the execution of the two main activities of the ISO/IEC 27001 ISMS Plan phase: security policies definition and risk management. The main contribution of this research is a framework which can help organizations adapt their ISMSs and better protect their information in the technological scenario described. As a secondary contribution is the proposal of a unified security analysis of the distinct security trends of the external scenario.

O cenário tecnológico é um fator importante a ser considerado ao se trabalhar com Sistemas de Gestão de Segurança da Informação (SGSI). No entanto, nos últimos anos esse cenário se alterou profundamente, aumentando em complexidade de maneira até antes não vista. Caracterizado principalmente por tendências tecnológicas como a terceirização de infraestrutura de TIC, a computação em nuvem e a mobilidade, o cenário externo atual gera grandes novos desafios de segurança. A abordagem típica para tratar com mudanças de cenário em SGSIs é uma revisão da análise de riscos e a implantação de novos controles de segurança. No entanto, frente a um cenário tão disruptivo, riscos podem passar despercebidos, devido à falta de conhecimento sobre os novos elementos introduzidos por esse cenário. Por causa disso, adaptações mais profundas, durante o próprio planejamento do SGSI, são necessárias. Usando a norma de segurança ISO/IEC 27001 como referência, esse trabalho introduz um modelo de suporte que permite a identificação dessas adaptações. Para construir esse modelo, foram inicialmente levantados os riscos referentes a cada uma das três tendências tecnológicas listadas. Esses riscos foram compilados e analisados em conjunto, buscando a identificação de temas de preocupação recorrentes entre eles. Para endereçar cada um dos temas dentro do modelo de suporte, foram levantadas adaptações do SGSI sugeridas na literatura e na prática de segurança. Essas adaptações foram transformadas em pontos de checagem a serem observados durante a execução das duas atividades principais da fase de Planejamento do SGSI da ISO/IEC 27001: definição de políticas de segurança e gestão de riscos. A contribuição principal do trabalho é um modelo de suporte de segurança com o qual as organizações podem adaptar o seu SGSI e assim melhor protegerem suas informações frente ao cenário tecnológico externo descrito. Como contribuição secundária está a sugestão de uma análise unificada com foco em segurança das tendências tecnológicas desse cenário. / The technological scenario is an important factor to be considered while working with Information Security Management Systems (ISMS). However, in the latter years this scenario has changed deeply, increasing in complexity in a way not seen so far. Characterized mainly by the heavy use of ITC infrastructure outsourcing, cloud computing and mobility, the current external scenario creates big new security challenges. The typical approach to handle changes of scenarios in ISMSs is a risk assessment review and deployment of new security controls. However, when considering such a disruptive scenario, some risks may go unnoticed, due to the lack of knowledge of the elements introduced by this scenario. Because of that, deeper adaptations are needed, during the actual ISMS planning. Using the ISO/IEC 27001 as a reference, this research introduces a framework for the identification of these adaptations. To build this framework, risks related to each of the three technological trends mentioned were identified. These risks were compiled and analyzed together, searching for recurring themes of concern among them. To address each of these themes in the framework, ISMS adaptations suggested in the security literature and practice were identified. These adaptations were transformed in checkpoints to be verified during the execution of the two main activities of the ISO/IEC 27001 ISMS Plan phase: security policies definition and risk management. The main contribution of this research is a framework which can help organizations adapt their ISMSs and better protect their information in the technological scenario described. As a secondary contribution is the proposal of a unified security analysis of the distinct security trends of the external scenario.

Submitted by Morgana Silva (morgana_linhares@yahoo.com.br) on 2016-06-30T19:20:57Z No. of bitstreams: 1 arquivototal.pdf: 1260370 bytes, checksum: 0b5ac2a913632efcf602f4292d2e24a4 (MD5) / Made available in DSpace on 2016-06-30T19:20:57Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1260370 bytes, checksum: 0b5ac2a913632efcf602f4292d2e24a4 (MD5) Previous issue date: 2016-02-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This Master's Dissertation is engaged in the examination of public food security policies currently promoted in the city of João Pessoa. Its purpose is to analyze the contributions made by such policies to overcome situations of food insecurity still present in the region and, therefore, to effectively guarantee the alimentation right in the lives of local citizens. In Brazil, only from its re-democratization and the consequent changes in law, the alimentation right has become protected from broader and more complete way. Under the influence of international developments and own internal social movements, the democracy was reestablished and the respect for human dignity was erected as the basic foundation of the system. Within this new context, the concept of food security, rather shy and more present in the international arena, became developed nationally, leading to the development of various regulatory provisions, such as the Organic Law on Food and Nutritional Security (LOSAN) This emergence stressed the importance of alimentation as a fundamental human right and, therefore, stressed the imperative role of the State in ensuring its implementation to the entire population. This is where stands the development of public policies in Brazil. They are such state actions that have the power to give effect to the right to alimentation. But to do so, they must be implemented from the actions of all federal entities in the State, including the Municipalities themselves. Thus, given this reality, the present work, to achieve the purpose for which it is proposed, is structured into three chapters. In the first, the historical legal achievements that contributed to the international recognition of the human right to alimentation and to build the concept of food security are approached. In the second, are examined the influence of these achievements in Brazil and the advancement of Brazilian legislation to protect the alimentation right, as well are investigated the public policies promoted by the State to combat food insecurity in the country. Lastly, in the third chapter, a case study is carried out. At that time, is placed emphasis on the examination of public food security policies implemented in João Pessoa and its consequences. From this examination, is noticed, finally, the lack of state action in fulfilling its responsibility in implementing the alimentation right for all local citizens. / A presente Dissertação de Mestrado tem por objeto o exame das políticas públicas de segurança alimentar promovidas atualmente na cidade de João Pessoa. Sua finalidade consiste na análise das contribuições realizadas por tais políticas para superação das situações de insegurança alimentar ainda presentes na região e, por conseguinte, para garantia efetiva do direito à alimentação na vida dos cidadãos locais. No Brasil, somente a partir da sua redemocratização e das consequentes mudanças no plano jurídico, o direito à alimentação passou a ser protegido de maneira mais ampla e completa. Sob a influência dos avanços internacionais e dos próprios movimentos populares internos, a democracia foi reestabelecida e o respeito à dignidade humana foi erigido como fundamento basilar do sistema. Dentro desse novo contexto, o conceito de segurança alimentar, antes tímido e mais presente em âmbito internacional, passou a ser desenvolvido nacionalmente, acarretando a elaboração de diversos dispositivos normativos, a exemplo da Lei Orgânica de Segurança Alimentar e Nutricional (LOSAN). Tal elaboração salientou a importância da alimentação como direito fundamental do ser humano e, por conseguinte, realçou o papel impreterível do Estado em garantir sua concretização a toda população. É nesse ponto que se sobressai o desenvolvimento das políticas públicas no Brasil. São tais ações estatais que têm o condão de conferir efetividade ao direito à alimentação. Porém, para tanto, devem ser implementadas a partir da atuação de todos os entes federativos do Estado, inclusive dos próprios Municípios. Sendo assim, considerando essa realidade, o presente trabalho, para alcançar a finalidade a que se propõe, encontra-se estruturado em três capítulos. No primeiro, abordam-se as conquistas jurídicas históricas que colaboraram para o reconhecimento internacional do direito humano à alimentação e para a construção do conceito de segurança alimentar. No segundo, examinam-se a influência dessas conquistas no Brasil e o avanço da legislação brasileira na proteção ao direito à alimentação, bem como se investigam as políticas públicas promovidas pelo Estado para o combate da insegurança alimentar no país. Por último, no terceiro capítulo, é realizado o estudo de caso. Nessa oportunidade, é colocado em destaque o exame das políticas públicas de segurança alimentar implementadas em João Pessoa e dos seus consequentes desdobramentos. A partir desse exame, constata-se, por fim, a insuficiência da atuação estatal no cumprimento de sua responsabilidade na concretização do direito à alimentação a todos os cidadãos locais.

Made available in DSpace on 2014-07-29T14:49:11Z (GMT). No. of bitstreams: 1 Waltuir Batista Machado.pdf: 3597463 bytes, checksum: ed98ec8919d630f993d0b745be41e0fe (MD5) Previous issue date: 2011-10-06 / This work aims to assess the effects of the National Program for the Strengthening of Family Agriculture on food safety of the family agricultures in the municipality of Itapuranga-Goiás. The focus topic of the research was developed from the question: is it possible from a comparison between agricultures who beneficiate and those who do not beneficiate of PRONAF (NBPs) verify the effects on the crystallization of the elements of food security of households surveyed, assuming the hypothesis that: PRONAF provides productive and social inclusion; affects social and economical indicators of the families; relevantly contributes to improve the levels of food safety of the family agricultures in the programme. In order to pursue the presented goal this study has sequentially dealt with the following stages: (1) it presented the evolution of the public policies towards family agriculture and institutional aspects of PRONAF; (2) it described the family agricultures of the region studied under a social and economical perspective focusing on access to PRONAF; (3) it compared the agricultures BPs and NBPs in order to measure the effects of PRONAF on elements of food safety. The technique of comparative analysis of groups and checking frequencies, based on the collected data, considered the many variables researched. The sample was made up of 70 producers and the sample calculation was determined with a fixed value based on the level of reliability of 90%, whereas the sampling error is 7% and p = 0,85 and q = 0,15. The most important variables in the comparative analysis between BPs and NBPs on the issue of food safety were: health, work, income, housing,schooling, agricultural production, environmental practices, other networks of social protection and the level of food safety. The research results demonstrated that there is a relationship amongst the variables schooling, environmental practices, social protection, income, tradition and habits and PRONAF; on the other hand, there is not such relationship amongst PRONAF and the variables health and food safety. Finally, it is noteworthy that the results, in a general way suggest that food safety does not depend on the participation in PRONAF. / Este trabalho tem por objetivo avaliar os efeitos do Programa Nacional de Fortalecimento da Agricultura Familiar na segurança alimentar dos agricultores familiares do município de Itapuranga-Goiás. O ponto central da pesquisa partiu do seguinte questionamento: é possível a partir de uma comparação entre os agricultores beneficiários (BPs) e os nãos beneficiários do PRONAF (NBPs) verificar os efeitos na cristalização dos elementos de segurança alimentar das famílias pesquisadas, considerando as seguintes hipóteses: o PRONAF propicia inclusão produtiva e social; provoca efeitos nos indicadores socioeconômicos das famílias; contribui significativamente para melhorar os níveis de segurança alimentar dos produtores familiares incluídos no programa. Visando o alcance do objetivo proposto, o estudo perpassou pelas seguintes etapas: (1) apresentou a evolução das políticas públicas para a agricultura familiar e os aspectos institucionais do PRONAF; (2) caracterizou socioeconomicamente os agricultores familiares na região em estudo com recorte no acesso ao PRONAF; (3) analisou comparativamente os produtores BPs e NBPs para a verificação dos efeitos do PRONAF em elementos de segurança alimentar. Foi utilizada a técnica de análise de comparação de grupos e averiguação de frequências, com base nos dados coletados, considerando as várias variáveis pesquisadas. A amostra foi constituída por 70 produtores, sendo o cálculo amostral definido com valor determinado no grau de confiança de 90%, o erro amostral de 7%, e p = 0,85 e q = 0,15. As principais variáveis na análise de comparação entre grupos de BPs e NBPs quanto à questão da segurança alimentar foram: saúde, trabalho, renda, moradia, educação, produção agrícola, práticas ambientais, outras redes de proteção social e, nível de segurança alimentar. Os resultados da pesquisa permitiram verificar que as variáveis, escolaridade, práticas ambientais, proteção social, renda e tradição e costumes há uma relação entre o PRONAF e as mesmas, por outro lado, para as variáveis, saúde e segurança alimentar (fome), não existe relação. Ao fim, destaca-se que os resultados de forma geral sugerem que a segurança alimentar independe da inserção ao PRONAF.

Made available in DSpace on 2016-03-15T19:33:46Z (GMT). No. of bitstreams: 1 Gislene Donizetti Geronimo.pdf: 433501 bytes, checksum: 8be5695f49164c369a208d10adb10752 (MD5) Previous issue date: 2011-08-25 / The Modern State appeared as a new type of State. Characterized for the sovereign power, it was instituted to assure the order and the peace in the State community, as well as providing a legal communitarian order in which the individuals could exert their basic rights and lived with dignity. In this way, the State it is constructed to guarantee to the individual the security to live in society, endorsed by laws which could provide the full exercise of their personal rights. The Modern State appears as a Liberal State or 'Rule of Law', characterized for the legal limitation of State power. It is followed by the Social State, and, later, for the Democratic State of Law, characterized for the consecration of the human rights and by the popular sovereignty. Amongst the consecrated human rights, we also could find the right to the public security which, by the way, always was present in the history of the human kind and in all of the Brazilian Constitutions. The Federal Constitution of Brazil in 1988, regulated the public security as a basic right in its article 5º, also as social right in its article 6º and as a State duty and a responsibility of the brazilian society in its article 144, in which regulated the responsible of police agencies for the exercise of the public security. Still thus, the public security is exerted by agencies that had not been regulated in the Constitution, what generates relative debate which also occur, even though, for the incapacity of the policies constitutionally established in consequence of the highest index of existing crime in our Country. Thus, it is necessary joint action of the State Powers, through its Executive, Legislative and Judiciary branches, and also by the society, in order to elaborate and implement public policies towards the public security, that could contribute to prevent and to contain crime. / O Estado Moderno surgiu como um novo tipo de Estado. Marcado pelo poder soberano, foi instituído com a função de assegurar a ordem e a paz na comunidade jurídica do Estado, assim como para colocar à disposição uma ordem comunitária justa na qual os indivíduos pudessem exercer seus direitos fundamentais e viver com dignidade. Desse modo, surge o Estado para garantir ao indivíduo a segurança para estar em sociedade, respaldado por leis que lhe garantam o pleno exercício de seus direitos. O Estado Moderno se inicia como Estado Liberal ou Estado de Direito, caracterizado pela limitação jurídica ao poder estatal. É sucedido pelo Estado Social, e, depois pelo Estado Democrático de Direito, marcado pela consagração dos direitos humanos e caracterizado pela soberania popular. Dentre os direitos humanos consagrados, encontra-se o direito à segurança, que, aliás, sempre esteve presente na história da humanidade e em todas as constituições brasileiras. A Constituição Federal de 1988 a previu como direito fundamental em seu artigo 5º, como direito social, em seu artigo 6º e como dever do Estado e responsabilidade de todos em seu artigo 144, no qual elencou taxativamente os órgãos policiais responsáveis pelo exercício da segurança pública. Ainda assim, a segurança pública é exercida por órgãos que constitucionalmente não foram previstos, o que gera relativo debate, que ocorre, até mesmo, pela incapacidade das polícias constitucionalmente estabelecidas, ante ao elevadíssimo índice de criminalidade existente em nosso País. Assim, faz-se necessária ação conjunta do Estado, através de seus Poderes Executivo, Legislativo e Judiciário, e da sociedade civil no sentido de elaborar e implementar políticas de segurança pública que contribuam para prevenir e conter a criminalidade existente.

Submitted by Pedro Henrique Butelli (pedrobutelli@gmail.com) on 2015-09-10T20:00:11Z No. of bitstreams: 1 TESE - Butelli.pdf: 3341625 bytes, checksum: 3257ec075d97f78fecd175e94ab63f1c (MD5) / Approved for entry into archive by BRUNA BARROS (bruna.barros@fgv.br) on 2015-09-14T19:27:28Z (GMT) No. of bitstreams: 1 TESE - Butelli.pdf: 3341625 bytes, checksum: 3257ec075d97f78fecd175e94ab63f1c (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2015-10-19T18:15:19Z (GMT) No. of bitstreams: 1 TESE - Butelli.pdf: 3341625 bytes, checksum: 3257ec075d97f78fecd175e94ab63f1c (MD5) / Made available in DSpace on 2015-10-19T18:15:31Z (GMT). No. of bitstreams: 1 TESE - Butelli.pdf: 3341625 bytes, checksum: 3257ec075d97f78fecd175e94ab63f1c (MD5) Previous issue date: 2015-05-21 / This thesis aims on the impact evaluation of the Pacifying Police Units policy, incorporating the causality relations through differences-in-differences regressions with multiple specifications in order to measure the impacts on crime, schooling, income, inequality, possession of assets and immigration. / Esta tese tem como objetivo a avaliação dos primeiros impactos da política de UPPs, buscando incorporar as relações de causalidade envolvidas através de análises de diferenças-em-diferenças com diversas especificações a fim de medir os impactos sobre criminalidade, desempenho escolar,renda, desigualdade, posse de ativos e imigração.