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

Reabilitação do Aeroporto de Ondjiva em Angola

Com o progresso da tecnologia aeronáutica, a deslocação de pessoas e bens tornou-se bastante acessível para variados pontos de mundo, com espaço de tempo muito reduzido. Um dos motores essenciais deste avanço, concernente à mobilidade, é o transporte aéreo e a sua evolução. Este tipo de transporte requer a máxima segurança, sendo que um único acidente pode gerar centenas de vítimas. Atendendo a estas condições, a qualidade dos pavimentos aeroportuários é de grande importância para a segurança da movimentação das aeronaves em solo. Mas, por razões económicas e por vezes de espaço, perspetivas de novas construções perdem viabilidade comparativamente a soluções de reabilitação. A posição geográfica do aeroporto de Ondjiva faz com que seja um importante ponto de passagem entre a África do Sul e a Namíbia e, prevê-se que o número de voos que se efetuam no aeroporto cresça, sendo que o país está numa fase de grande evolução. O presente trabalho visa o conhecimento do processo de dimensionamento para pavimentos aeroportuários e soluções de correção para anomalias que possam apresentar, aplicando-os ao aeroporto de Ondjiva, em Angola. Atualmente, o aeroporto revela um grande desgaste das pistas de táxi, inadaptabilidade das cabeceiras face às cargas estáticas a que são submetidas e, largura insuficiente da pista para a aeronave de projeto, ou aeronave crítica, atendendo ao regulamento da ICAO (International Civil Aviation Organization). Para melhorar o conforto, a segurança e eficiência dos serviços aéreos, o dimensionamento do aeroporto deve obedecer aos princípios e regras da ICAO. Pretende-se também a modelação de uma solução de reforço para o pavimento existente, para que não seja necessário construir um aeroporto de raiz, minimizando custos. Após a realização do dimensionamento, foi estudada a sinalização horizontal e luminosa da pista, para que esteja em conformidade com as suas novas medidas.

De touch: extending service channels in an airport through touch technologies

This project aimed to create a communication and interaction channel between Madeira Airport and its passengers. We used the pre-existent touch enabled screens at the terminal since their potential was not being utilised to their full capacity. To achieve our goal, we have followed an agile strategy to create a testable prototype and take advantages of its results. The developed prototype is based on a plugin architecture turning it into a maintainable and highly customisable system. The collected usage data suggests that we have achieved the initially defined goals. There is no doubt that this new interaction channel is an improvement regarding the provided services and, supported by the usage data, there is an opportunity to explore additional developments to the channel.

An Enhanced WLAN Security System With FPGA Implementation for Multimedia Applications

Maintaining a high level of data security with a low impact on system performance is more challenging in wireless multimedia applications. Protocols that are used for wireless local area network (WLAN) security are known to significantly degrade performance. In this paper, we propose an enhanced security system for a WLAN. Our new design aims to decrease the processing delay and increase both the speed and throughput of the system, thereby making it more efficient for multimedia applications. Our design is based on the idea of offloading computationally intensive encryption and authentication services to the end systems’ CPUs. The security operations are performed by the hosts’ central processor (which is usually a powerful processor) before delivering the data to a wireless card (which usually has a low-performance processor). By adopting this design, we show that both the delay and the jitter are significantly reduced. At the access point, we improve the performance of network processing hardware for real-time cryptographic processing by using a specialized processor implemented with field-programmable gate array technology. Furthermore, we use enhanced techniques to implement the Counter (CTR) Mode with Cipher Block Chaining Message Authentication Code Protocol (CCMP) and the CTR protocol. Our experiments show that it requires timing in the range of 20–40 μs to perform data encryption and authentication on different end-host CPUs (e.g., Intel Core i5, i7, and AMD 6-Core) as compared with 10–50 ms when performed using the wireless card. Furthermore, when compared with the standard WiFi protected access II (WPA2), results show that our proposed security system improved the speed to up to 3.7 times.

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

The impact of large-scale mortgage backed security purchases

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

The impacts of the Cape Verde self-employed social security scheme

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

Maritime Security in the Gulf of Guinea: Issues and Solutions for the 21st Century

A producer of 5.4 M bbl/d, totalling almost half of the consumption of the entire European Union, the Gulf of Guinea is a fundamental lifeline and maritime link between Europe, the Americas and Africa. Geographically positioned as a staging post for transit originating in Latin America and coupled with its relatively porous borders, the region is also the perfect stepping stone for contraband heading to European shores. While blessed with an enviable wealth of marine and mineral resources, the region is also plagued by an ever-increasing spectre of maritime piracy; accounting for around 30% of incidents in African waters from 2003 to 2011. It is for these reasons that this research centres around the issues of maritime security in the Gulf of Guinea, with a particular focus on the first two decades of the 21st century. This research looks to examine the overall picture of the present state of play in the area, before going on to provide an analysis of potential regional developments in maritime security. This research begins with the analysis of concepts/phenomena that have played a notable role in the shaping of the field of maritime security, namely Globalisation and security issues in the post-Cold War era. The ensuing chapter then focuses in on the Gulf of Guinea and the issues dominating the field of maritime security in the region. The penultimate chapter presents a SWOT analysis, undertaken as part of this research with the aim of correlating opinions from a variety of sectors/professions regarding maritime security in the Gulf of Guinea. The final chapter builds upon the results obtained from the abovementioned SWOT analysis, presenting a series of potential proposals/strategies that can contribute to the field of maritime security in the region over the coming years. This research draws to a close with the presentation of conclusions taken from this particular investigation, as well as a final overview of the earlier presented proposals applicable to the field of maritime security during the second decade of the 21st century.

Determinants of social security pensions expenditure in Portugal

In most European countries Social Security (SS) systems are characterized as Pay-asyou- go systems. Their sustainability is being challenged with demographic changes, namely population ageing. Portugal’s population is ageing rapidly being one of the countries where this problem is more critical. With the growing debate on this topic several public choice models have been developed so as to explain SS size. In this work project there is an attempt to understand whether these models contribute to better explain Social security expenditure with pensions (SSEP) and to establish the need of finding ways to reduce present commitment with pension expenditure in Portugal.

Accident caused by Centruroides testaceus (DeGeer, 1778) (Scorpiones, Buthidae), native to the Caribbean, in Brazilian airport

Describes the case of a 6-year-old girl who was stung by a Centruroides testaceus, a scorpion native to the Lesser Antilles, in the Guarulhos International Airport, São Paulo, Brazil, as she disembarked from a flight coming from the Caribbean. The patient presented only local symptoms (a small area of erythema and pain at the sting site), which were resolved after a few hours with analgesics, without the need for antivenom. Physicians who treat patients stung by scorpions should be alert to the possibility of such accidents being caused by non native species, especially those cases that occur near airports or ports.

Low cost carriers: The case of Oporto Airport and its touristic impact in the region

Both Oporto and the North Region of Portugal definitions of tourism have evolved significantly during the past decade. In this journey it is relevant to highlight the contribution of the arrival of Low Cost Carriers (LCCs) at Francisco Sá Carneiro Airport, thus contributing to a rapid expansion of this region as a tourism destination. Hence, this work project aims to understand the touristic and economic impact motivated by the entry of LCCs in Oporto and in the North Region of Portugal and tries to understand if this event was in fact an asset in the development of the aforementioned tourism destinations.

Airport pavements evaluation

The airport pavement deteriorates during service due to traffic and climate effects therefore systematic monitoring is required in order to assess their structural and functional condition. The aim of this work is to present the methodologies used nowadays for airport pavement evaluation and to contribute to their improvement in structural analysis area The main aspects that are addressed are the application of the Ground Penetrating Radar (GPR) and the use of the Falling Weight Deflectometer (FWD) tests, for structural evaluation, and the use of the GRIP tester and the measurement of texture depth of the wearing course layer, for the functional evaluation of the runway. Also, freeware computer softwares used to design new runways (FAARFIELD and COMFAA) are presented and examples are given. Case studies are described both for structural and functional evaluation.

Future lending income and security value

I test the Duffie, Gârleanu, and Pedersen hypothesis that security prices incorporate expected future securities lending income. To determine whether institutional investors anticipate gains from future lending of securities, I examine their trading behavior around loan-fee increases. The evidence suggests that institutions buy shares in response to an increase in lending fees, and that this could explain the premium associated with high- lending-fee stocks. Expected future lending income affects stock prices, although the effect seems to be attenuated by the negative information that arises from short selling.

A wave of change: Labor market and social security impacts of the EU refugee inflow

The recent massive inflow of refugees to the European Union (EU) raises a number of unanswered questions on the economic impact of this phenomenon. To examine these questions, we constructed an overlapping-generations model that describes the evolution of the skill premium and of the welfare benefit level in relevant European countries, in the aftermath of an inflow of asylum-seekers. In our simulation, relative wages of skilled workers increase between 8% and 11% in the period of the inflow; their subsequent time path is dependent on the initial skill premium. The entry of migrants creates a fiscal surplus of about 8%, which can finance higher welfare benefits in the subsequent periods. These effects are weaker in a scenario where refugees do not fully integrate into the labor market.

Insider threats: the major challenge to security risk management

Security risk management is by definition, a subjective and complex exercise and it takes time to perform properly. Human resources are fundamental assets for any organization, and as any other asset, they have inherent vulnerabilities that need to be handled, i.e. managed and assessed. However, the nature that characterize the human behavior and the organizational environment where they develop their work turn these task extremely difficult, hard to accomplish and prone to errors. Assuming security as a cost, organizations are usually focused on the efficiency of the security mechanisms implemented that enable them to protect against external attacks, disregarding the insider risks, which are much more difficult to assess. All these demands an interdisciplinary approach in order to combine technical solutions with psychology approaches in order to understand the organizational staff and detect any changes in their behaviors and characteristics. This paper intends to discuss some methodological challenges to evaluate the insider threats and its impacts, and integrate them in a security risk framework, that was defined according to the security standard ISO/IEC_JTC1, to support the security risk management process.