A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

The role of the intelligence service in preventing and combating transnational terrorism

Outrora dominado por ameaças provenientes de Estados-nação, o cenário global actual, dominado por uma rápida mudança de poderes que nos apresenta uma interacção complexa entre múltiplos actores, onde inimigos desconhecidos, anteriormente bem identificados, é actualmente controlado por grupos terroristas bem preparados e bem organizados. Hezbollah é reconhecido como um dos grupos terroristas mais capazes, com uma extensa rede fora do Líbano dedicada a tráfico de droga, armas e seres humanos, tal como o branqueamento de capitais para financiar o terrorismo, representando um grande foco de instabilidade à segurança. Como instrumento de Estado, os serviços de informações detêm a capacidade de estar na linha da frente na prevenção e combate ao terrorismo. Todavia, para compreender este fenómeno é necessário analisar os actores desta ameaça. À luz desta conjuntura, esta dissertação está dividida em três capítulos principais que visam responder às seguintes questões fundamentais: O que é o terrorismo? Como opera um grupo terrorista transnacional? Será que os serviços de informações têm as ferramentas necessárias para prevenir e combater estas ameaças?

Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

What is the best accounting method for financial assets?

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

O Conselho de Estado na monarquia constitucional: uma reflexão preliminar

This article summarises the transformations in the State Council’s functions and membership throughout the Portuguese Constitutional Monarchy, and makes a preliminary attempt to scrutinise the political role played by an institution designed since its inception to advise the monarch. In spite of the parsimony of contemporary sources, and even contradictory empirical evidence, it seems indisputable that in several critical occasions the monarch’s political decisions were influenced by the dominant view in the State Council. Finally, the article presents the collective biography of the 73 individuals appointed to the State Council between 1833 and 1910 – who may be defined as the inner circle of the ruling elite - focusing on basic background features (birthplace, age, education, occupation, noble titles and political experience).

O Poder do Sultão e o Estado Otomano

O estado Otomano representou um dos mais complexos sistemas políticos da história do Islão. O seu sistema burocrático e militar recorria ao recrutamento (devşirme) de não-Muçulmanos composto por crianças provenientes da Romélia para evitar que qualquer membro da sociedade Otomana interviesse na política. Sem raízes estabelecidas na sociedade Otomana a sua lealdade concentrava-se numa instituição: o Sultão. No século dezoito e dezanove o exotismo Otomano cativou muitos dos Europeus, o Sultão foi descrito como o centro da sociedade Otomana com um poder absoluto sobre todos os que a compunham. O poder do Sultão era absolutista, porém, o estado Otomano estava desenhado de uma forma em que a sua estrutura não podia ser alterada, pela sua matiz Islâmica e também para não enfraquecer as bases que mantinham a cúpula de poder. Através da metodologia de process-tracing o nosso estudo analisa a forma como o Sultão obteve e legitimou o seu poder assim como os actores que serviram de contrapeso ao seu poder. No século dezanove, particularmente, nenhum Sultão possuía um poder absoluto, a dificuldade que enfrentavam por parte da sociedade Otomana para realizar reformas mostra que não podiam agir só pela sua vontade. O nosso estudo tem como objectivo criticar Karl Marx e Max Weber, consideramos que simplificam o sistema de governação Otomano. Esperamos expor como se organizava este império como estrutura política e qual o poder do Sultão, considerando o “Círculo de Equidade” como o principal modelo para o seu poder.

O emprego de uma força de segurança de natureza militar nas missões de paz

The conflicts currently taking place around the world demand that the international intervention fits the intensity and extent of the threat. This is particularly important in post-conflict scenarios, leading to a greater participation of the Security Forces in those scenarios, in order to foster lasting peace, enforce the order and improve law enforcement services in those regions. The transition from armed conflict to peacekeeping may entail high risk situations and greater instability periods, so-called “intermediate situations”. Accordingly, in the face of persisting high volatility, a robust response is still required post-conflict. Therefore, it is appropriate to deploy Security Forces with military nature and status, the gendarmeries, which have training and response capabilities similar to Armed Forces in peacekeeping operations. Their double facet as police and military forces enables them to perform police duties in high risk and unsafe environments. In light of these features, the Portuguese gendarmerie, Guarda Nacional Republicana (GNR), is able to carry out tasks in these scenarios, which it has been doing through individual operatives or larger units. This dissertation focuses on the use of Security Forces of military nature in peacekeeping missions, in particular the Portuguese GNR, relying mostly on the inductive approach and using literature research, document analysis, interviews and statistics. After a brief description of international peacekeeping missions, we describe the contribution of Security Forces of a military nature in such operations. Then we introduce and analyse the GNR, focusing on its deployment in different kinds of peacekeeping operations, from its first participation in 1995 until today. We also report some reactions to the performance of GNR. Finally, we discuss whether there is indeed a unique role for this type of forces in international peacekeeping missions.

A (in)segurança privada em Portugal

Along with the food and the comfort, safety has always been one of the human priorities. In pursuit of this objective, man developed self-preservation mechanisms, went to live in society and created rules to control the community life. In the West and in the late eighteenth century, with the creation of states as we know them today, the monopoly of security, among other powers, has been preserved untouched until the last quarter of this century. With the bankruptcy of the welfare state and the rise of the regulatory state, many of the essential tasks for the community have also been carried out by private companies or institutions, including education, health care and security. Although not easy, education and health care have been more opened to be managed by the private sector. Instead, the privatization of the security sector has seen much more resistance. Still, especially in the West, the states have delegated some of the security competences to private companies. Portugal is no exception to the rule and, after a few years of unregulated activity, in 1982 was published the first law regulating the private security. After the initial stages of development (evolution and maturation), which lasted until the early years of the 2000‘s, the private security now seems to have reached maturity. Today, now with a new legal system, composed by Law no. 34/2013, of 16 may, its regulations and complementary legislation, now private security encompasses other activities and competences - becoming, an increasingly complement to public safety. It has also increased the pre-requisites and control mechanisms for private security companies, and strengthened the rules that limit their scope of activity.

Aplicação das medidas de coacção às pessoas colectivas

1. Legal system of coercive measures and applicability to legal persons: the criminal liability of legal persons, application requirements, fundamental principles; 2. Inapplicability of personal freedom coercive measures to legal persons; 3. Application in the specific case of legal persons: term of identity and residence; provision of security, the obligation of periodic presentation, suspension of exercise of functions, activities and rights, conducts prohibitions and obligations; 4. Break of coercive measure imposed on the legal person.

O corpo da Guarda prisional como Órgão de Polícia Criminal e a sua importância na Segurança Interna

The study now presented a research study aimed at the exercise of security activity of the prison guard corps (CGP) in the specific context of the prison system (SP). The study also focused on the phenomenon of globalization and its influence on the current panorama of world crime and their relationship with the prison security object of study was the security activity of the CGP on the current inmate population, as well as the typology of crimes inherent to it and that requires the interpretation of the amendment to the correctional paradigm. In the preparation of the study we have tried to identify the legal framework of the profession based on the main laws and decree-laws governing the institution DGRSP and CGP's career. The difficulties and constraints were analyzed the performance of the security function of the CGP, resulting from the infrastructure, the interaction with the inmates and the need of assigning the status of Criminal Police (OPC). Really connected the relevant importance of OPC so the Corporation can establish a cooperation interaction and sharing of information with different security forces. We noted the importance of the CGP being OPC status before the framework for its action in work situations, specifically, on gatehouses, prison wings, area, and high-complexity operations such as escorts and riot control interventions.The explanation of this study enabled us to assess the importance of the actions of a police officer of the elements of the CGP for maintaining internal security. The analyses and studies were complemented by twenty years of career and exercise of the activity of the master's degree, during which time he served as guard and head of the CGP, the intervention Group and Prison Security, the Lisbon Prison, Prison, Prison of Caxias, Sintra and Monsanto.

Sistema de segurança interna : a unificação do sistema em Portugal

A aceleração do ritmo de mudança verificado nas sociedades atuais, tem sido impulsionado pela globalização, fenómeno decorrente da evolução das tecnologias da informação, das telecomunicações, das comunicações e transportes e do desaparecimento de fronteiras. Viver na “aldeia global” ou à escala global como o previu Marshall McLuhan (1964) no livro Understanding Media, é hoje uma realidade inquestionável. As consequências desta transformação foram múltiplas quer do ponto de vista dos benefícios, quer do ponto de vista dos problemas gerados. No plano da segurança, face ao multiculturalismo envolvido e ao aumento crescente do crime transfronteiriço, tornou-se essencial a partilha de informação a nível internacional tendo em vista o seu combate não só olhando a situação dos cidadãos como a defesa dos princípios democráticos. Realça-se que os progressos tecnológicos e as facilidades que criam aos seus utilizadores, neste caso os criminosos, fazem com que as ações por estes praticadas sejam cada vez mais meticulosas, imprevisíveis, sofisticadas e complexas o que impõe uma resposta correspondente e adequada. Por essa razão, as políticas de segurança existentes mostraram-se insuficientes e esgotadas requerendo novas respostas capazes de produzir os efeitos desejáveis para uma efetiva prevenção da criminalidade. Pelas dimensões que tem vindo a tomar, a criminalidade tornou-se uma preocupação que ultrapassou o domínio da segurança interna de cada país para ser encarada a nível internacional ou mesmo mundial. Para o efeito urge concertar processos e procedimentos securitários agregando vontades que convirjam e defendam a unificação dos sistemas dos países a nível mundial. A verificar-se tal intento, daí resultariam significativas melhorias da segurança a todos os níveis (nacional, internacional e mundial). Além disso também resultariam ganhos em termos de tempo, redução de custos, impacto na qualidade dos serviços prestados, na gestão das pessoas e na eficiência das organizações. Realça-se que a democracia ao promover a dignidade do homem densificando os seus direitos, liberdades e garantias, criou indiretamente condições para que fosse gerada instabilidade e o desenvolvimento de comportamentos criminosos. Importa, portanto, face à situação existente e à previsível complexidade do crime no futuro, estudar profundamente a nova realidade neste domínio, para tomar as medidas preventivas tendentes a reporem a estabilidade e a promoverem a paz social. Foi neste contexto que a presente investigação, desenvolvida no âmbito académico, mas também suportado na realidade profissional, pretendeu refletir sobre o estado da segurança global e dar o seu contributo nesta matéria.

A importância da Polícia Municipal na segurança

The challenge of this work is to assess the importance of the municipal police in improving the safety of citizens, if gauging from this reality through contributions from the Municipal Police Guimarães. The IV Constitutional Review in 1997, enabled the Portuguese municipalities creating administrative police bodies. These services, known as Municipal Police, have gradually come up in several municipalities. Currently the Municipal Police have their fundamental legal regulations of Law No. 19/2004 of 20 May, which, according to the Portuguese Constitution provides that these must be seen as municipal services, which act in a space territorially delimited, which corresponds to the municipality that each belongs. Under Article 237, paragraph 3, of the Constitution, the Municipal Police are municipal services, which shall cooperate in the maintenance of public order and protection of local communities, acting in cooperation with the security forces, public security functions. The safety concept has been taking an increasingly significant importance within the population. Is also no doubt say that, currently, insecurity affects all of society and is a major concern of law enforcement authorities. To find suitable answers we found that there are several studies on these subjects. In order to be able to make our contribution, text looks us on this subject, having had the support of the Municipal Police Guimarães, in the preparation of this work. Thus, based on a survey, they were sounded out, as privileged actors, agents of the Municipal Police Guimarães, in order to know their perceptions with regard to security issues faced in the context of security. We understand ask them to answer in particular the following questions: What are the most facilitators situations of crime? How important is the Municipal Police Guimarães in crime prevention? What are the strategies for prevention of incivilities? What other skills that can be conferred upon the Municipal Police? The results obtained allowed us to conclude that incivilities facilitate the occurrence of crimes and that the Municipal Police may have a more active role in the security of the population. If you were given other duties, in addition to that already have, the Municipal Police could reach another level of effectiveness. However we understand that any change to the tasks of this police need a serious and profound reflection, to find complementary alternatives with the security forces, which does not conflict with current assignments of any of the parties or with the interests of citizens.

Segurança e criminalidade organizada

Globalization brought some deep changes to the world (dis)order. Nowadays, more than in other moment in history, we are closer to the ones physically far, living in “global village” called by Marshall McLuhan (1962). The concepts and premises built in this new order, have totally broken with the ones that “came out from Westphalia”, which had last to the end of the cold war, like, for example, the concept of security. Since then, security has been facing one of its biggest transformations ever, completely disrupting the state border based idea and starting to be extended to other domains, as human, economic, environmental and IT security, among others. In this global and interdependent environment, “new” threats and risks have raised, which are demanding a comprehensive approach from the States, international organizations and other actors, to allow the analysis and understanding its impacts on the various society sectors and orders. Inside the enormous challenges to the global security, it is important to regard the organized crime, which covers, by itself, a set of threats and risks, enhanced by its connection to other types of criminality, such as terrorism. The goals pursued and the tactics used by criminal organizations during the perpetration of illegal activities, specially the drug smuggling, have impact in an wide spectrum of the social, economic financial and politic dimensions, which should not be underestimated, otherwise our own security may be compromised. Therefore, the current investigation intends to be an important catalyst to the idea debate inside security scope, through the analysis of the organized crime and the drug smuggling, adding to a discussion of this issue, which should be deeper and holistic, aiming a better understanding of the challenges provided by our society.

Portveb.com : um site para programadores e webdesigners

As exigências da sociedade atual obrigam a mudanças tecnológicas cada vez mais rápidas e constantes para satisfazer as necessidades empresariais, especialmente no que concerne à transmissão de informações de forma cada vez mais rápidas, mas sempre mantendo um elevado padrão de qualidade de conteúdos, bem como níveis de segurança elevados para impedir que os mesmos sejam corrompidos. Desde o aparecimento da Internet que a informação circula de forma cada vez mais veloz, em maiores quantidades e alcança cada vez mais pessoas. No entanto, nem todas as pessoas têm acesso a conteúdos de qualidade, sendo nesse ponto que o desenvolvimento do presente trabalho terá importância na respectiva área. O portveb.com é um website que pretende colmatar uma carência de conteúdos de qualidade para especialistas web designers, programadores e optimizadores de motores de busca. A importância do trabalho desenvolvido deve-se à escassez de websites da referida temática, sendo uma oportunidade para explorar a utilização de soluções técnicas como o Bootstrap, HTML, CSS, Javacript, PHP, MYSQL e desenvolver um website cuja funcionalidade não esteja só restrita a computadores pessoais, mas também a plataformas móveis. O desenvolvimento do website portveb.com demonstrou que a utilização das soluções técnicas já referidas foram a melhor opção do que concerne à obtenção de resultados, por assentar em plataformas onde não foi necessário elaborar um design de raíz, sendo que a interacção com bases de dados como PHP e MySQL tornaram o website mais dinâmico. A realização deste trabalho possibilitou ainda a descoberta de potencialidades do website para soluções técnicas futuras que se destinam a aumentar a partilha de conhecimento entre os utilizadores de forma mais prática e eficiente.

The African studies course of the Instituto de Estudos Superiores Militares. An analysis of the correlations and conflictive character inside the triangle - Development, environment and security - in Africa’s Nigeria

Relatório de Estágio de Mestrado em Ciência Política e Relações Internacionais Globalização e Ambiente