Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

Leanness na manutenção aeronáutica: o caso FAP

Os sistemas de armas da Força Aérea Portuguesa (FAP) têm por missão a defesa militar de Portugal, através de operações aéreas e da defesa do espaço aéreo nacional, sendo o F-16 o principal avião de ataque em uso nesta organização. Neste sentido, e tendo em conta o actual contexto económico mundial, as organizações devem rentabilizar todos os recursos disponíveis, custos associados e optimizar processos de trabalho. Tendo por base os pressupostos anteriores, o presente estudo pretende analisar a implementação de lean na FAP, uma vez que esta filosofia assenta na eliminação de desperdícios com vista a uma melhoria da qualidade e diminuição de tempos e custos. Posto isto, a análise deste trabalho vai recair sobre a área de manutenção do F-16, em concreto na Inspeção de Fase (IF), um tipo de manutenção que esta aeronave realiza a cada trezentas horas de voo. O estudo de caso vai incidir em dois momentos da IF: o primeiro ponto relaciona-se com o processamento da recolha de dados para a reunião preliminar onde são definidas, para as áreas de trabalho executantes, as ações de manutenção a realizar com a paragem da aeronave. Deste modo, pretende-se averiguar as causas inerentes aos atrasos verificados para a realização desta reunião. O segundo ponto em observação compreende a informação obtida através da aplicação informática SIAGFA, em uso na FAP, para o processamento de dados de manutenção das quatro aeronaves que inauguraram a IF com a filosofia lean. Esta análise permitiu perceber o número de horas de trabalho dispendidas (em média pelas quatro aeronaves) por cada uma das cartas de trabalho, verificando-se que as cartas adicionais comportam mais horas; foi possível compreender quais as áreas de trabalho consideradas críticas; foram identificados os dias de trabalho realizado e tempos de paragem sem qualquer tipo de intervenção. Foi ainda avaliado, por aeronave, o número de horas de trabalho realizadas na IF e quais os constrangimentos que se verificaram nas aeronaves, que não realizaram a IF no tempo definido para tal.

Projecto timecloud: software de gestão de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.

Estudo para a implementação de plataformas de e-learning no sistema de formação dos recursos humanos da saúde: o caso particular dos enfermeiros de um hospital privado

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Políticas de Administração e Gestão de Serviços de Saúde.

SU(5) x SU(5) unification revisited

The idea of grand unification in a minimal supersymmetric SU(5) x SU(5) framework is revisited. It is shown that the unification of gauge couplings into a unique coupling constant can be achieved at a high-energy scale compatible with proton decay constraints. This requires the addition of minimal particle content at intermediate energy scales. In particular, the introduction of the SU(2)(L) triplets belonging to the (15, 1)+((15) over bar, 1) representations, as well as of the scalar triplet Sigma(3) and octet Sigma(8) in the (24, 1) representation, turns out to be crucial for unification. The masses of these intermediate particles can vary over a wide range, and even lie in the TeV region. In contrast, the exotic vector-like fermions must be heavy enough and have masses above 10(10) GeV. We also show that, if the SU(5) x SU(5) theory is embedded into a heterotic string scenario, it is not possible to achieve gauge coupling unification with gravity at the perturbative string scale.

Damage detection and quantification using transmissibility

Structures experience various types of loads along their lifetime, which can be either static or dynamic and may be associated to phenomena of corrosion and chemical attack, among others. As a consequence, different types of structural damage can be produced; the deteriorated structure may have its capacity affected, leading to excessive vibration problems or even possible failure. It is very important to develop methods that are able to simultaneously detect the existence of damage and to quantify its extent. In this paper the authors propose a method to detect and quantify structural damage, using response transmissibilities measured along the structure. Some numerical simulations are presented and a comparison is made with results using frequency response functions. Experimental tests are also undertaken to validate the proposed technique. (C) 2011 Elsevier Ltd. All rights reserved.

Perspetivas das educadoras de infância de uma instituição particular de solidariedade social sobre o contributo da colaboração para o seu desenvolvimento profissional

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade em Supervisão em Educação

A utilização da plataforma Educast@fccn, como ferramenta de gravação de aulas no ambiente de e-learning português

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

Occupational exposure to Aspergillus by swine and poultry farm workers in Portugal

Aspergillus is among a growing list of allergens that aggravate asthmatic responses. Significant pulmonary pathology is associated with Aspergillus-induced allergic and asthmatic lung disease. Environments with high levels of exposure to fungi are found in animal production facilities such as for swine and poultry, and farmers working with these are at increased risk for occupational respiratory diseases. Seven Portuguese poultry and seven swine farms were analyzed in order to estimate the prevalence, amount, and distribution of Aspergillus species, as well as to determine the presence of clinical symptoms associated with asthma and other allergy diseases in these highly contaminated settings. From the collected fungal isolates (699), an average incidence of 22% Aspergillus was detected in poultry farms, while the prevalence at swine farms was 14%. The most frequently isolated Aspergillus species were A. versicolor, A. flavus, and A. fumigatus. In poultry farms, A. flavus presented the highest level of airborne spores (>2000 CFU/m3), whereas in swine farms the highest was A. versicolor, with an incidence fourfold greater higher than the other mentioned species. Eighty workers in these settings were analyzed, ranging in age from 17 to 93 yr. The potentially hazardous exposure of poultry workers to mold allergens using sensitization markers was evaluated. Although no significant positive association was found between fungal contamination and sensitization to fungal antigens, a high incidence of respiratory symptoms in professionals without asthma was observed, namely, wheezing associated with dyspnea (23.8%) and dyspnea after strenuous activities (12.3%), suggesting underdiagnosed respiratory disturbances. Further, 32.5% of all exposed workers noted an improvement of respiratory ability during resting and holidays. From all the analyzed workers, seven were previously diagnosed with asthma and four reported the first attack after the age of 40 yr, which may be associated with their occupational exposure. Some of the fungi, namely, the Aspergillus species detected in this study, are known to induce hypersensitivity reactions in humans. This study confirmed the presence and distribution of Aspergillus in Portuguese poultry and swine farms, suggesting a possible occupational health problem and raising the need for preventive and protective measures to apply to avoid exposure in both occupational settings.

Certificação de um troço de via alvo de ataque mecânico pesado

Qualidade é a palavra de ordem pelo qual se regem todos os processos e intervenções da REFER (Rede Ferroviária Nacional). Com a evolução de requisitos exigidos pelo transporte em caminho de ferro, há que procurar sempre as últimas inovações, para que a circulação se faça sempre com maior segurança e comodidade, dando aos utilizadores deste tipo transporte uma qualidade extrema. Nos últimos anos esses requisitos tornaram-se cada vez mais exigentes, pois as condições de circulação aumentam tais como a prática de maiores velocidades, tonelagem e frequência das composições, o que leva a um maior rigor nos processos construtivos e conservativos das vias. A REFER, depois de grandes investimentos em novas infraestruturas ferroviárias, detém agora um decisivo e importante papel na resolução das problemáticas que emergem, apostando sempre em tecnologia de ponta para que possa desenvolver um trabalho de conservação que satisfaça todas as necessidades exigidas. Este trabalho desenvolver-se-á nesta ótica de conservação e manutenção, acompanhando todo um processo específico de ataque mecânico pesado, até à sua certificação. A análise dos vários processos caracterizará a exigência referida na manutenção, principalmente da via moderna, onde a fasquia de requisitos é mais elevada.

As imagens dos manuais escolares: representações mentais de professores e alunos relativamente à presença de imagens nos manuais escolares e à sua eficácia pedagógica

Sendo o manual escolar o recurso pedagógico mais utilizado por alunos e professores foi realizada uma investigação tendo por objectivo avaliar qualitativamente a forma comunicacional de um conjunto de manuais escolares do 2º ciclo do ensino básico1. A importância atribuída atualmente à imagem é patente nos manuais escolares, sob pretexto de se tornarem mais apelativos e mais eficazes. Tal como em outras áreas em que a quantidade de imagens acaba por se transformar em poluição visual porque o ser humano não tem capacidade para reagir, simultaneamente, a um demasiado número de estímulos, nas estratégias comunicacionais dos manuais escolares este problema deve ser acautelado porque delas depende a sua qualidade pedagógica. As investigações não comprovam que exista uma relação direta entre a presença de ilustrações num texto e o aumento da sua compreensão. Pelo contrário, há estudos que sugerem que muitas ilustrações falham como potenciadoras da aprendizagem. Neste sentido, da investigação referida, consta uma análise ao rácio imagem/texto e uma auscultação a dois grupos de amostra - professores e alunos – sobre alguns aspectos gerais relativos à presença e eficácia pedagógica das ilustrações dos manuais escolares. Destacamos que, no caso dos alunos, apesar do seu nível de literacia ter constituído um obstáculo ao tratamento das questões, optámos por apresentar as suas respostas.

Assesing multileaf collimator effect on the build-up region using Monte Carlo method

Previous Monte Carlo studies have investigated the multileaf collimator (MLC) contribution to the build-up region for fields in which the MLC leaves were fully blocking the openings defined by the collimation jaws. In the present work, we investigate the same effect but for symmetric and asymmetric MLC defined field sizes (2×2, 4×4, 10×10 and 3×7 cm2). A Varian 2100C/D accelerator with 120-leaf MLC is accurately modeled fora6MVphoton beam using the BEAMnrc/EGSnrc code. Our results indicate that particles scattered from accelerator head and MLC are responsible for the increase of about 7% on the surface dose when comparing 2×2 and 10×10 cm2 fields. We found that the MLC contribution to the total build-up dose is about 2% for the 2×2 cm2 field and less than 1% for the largest fields.

The effect of the angle of incidence on the aqueous corrosion of ion implanted M50 steel substrates

Following work on tantalum and chromium implanted flat M50 steel substrates, this work reports on the electrochemical behaviour of M50 steel implanted with tantalum and chromium and the effect of the angle of incidence. Proposed optimum doses for resistance to chloride attack were based on the interpretation of results obtained during long-term and accelerated electrochemical testing. After dose optimization from the corrosion viewpoint, substrates were implanted at different angles of incidence (15°, 30°, 45°, 60°, 75°, 90°) and their susceptibility to localized corrosion assessed using open-circuit measurements, step by step polarization and cyclic voltammetry at several scan rates (5–50 mV s-1). Results showed, for tantalum implanted samples, an ennoblement of the pitting potential of approximately 0.5 V for an angle of incidence of 90°. A retained dose of 5 × 1016 atoms cm-2 was found by depth profiling with Rutherford backscattering spectrometry. The retained dose decreases rapidly with angle of incidence. The breakdown potential varies roughly linearly with the angle of incidence up to 30° falling fast to reach -0.1 V (vs. a saturated calomel electrode (SCE)) for 15°. Chromium was found to behave differently. Maximum corrosion resistance was found for angles of 45°–60° according to current densities and breakdown potentials. Cr+ depth profiles ((p,γ) resonance broadening method), showed that retained doses up to an angle of 60° did not change much from the implanted dose at 90°, 2 × 1017 Cr atoms cm-2. The retained implantation dose for tantalum and chromium was found to follow a (cos θ)8/3 dependence where θ is the angle between the sample normal and the beam direction.

A aprendizagem da divisão: um olhar sobre os procedimentos usados pelos alunos

Este artigo apresenta e discute alguns aspetos sobre a aprendizagem da divisão com números naturais, focando-se nos procedimentos usados por alunos de uma turma do 3.º ano na resolução de tarefas de divisão. Os resultados apresentados fazem parte de uma investigação mais abrangente que teve como finalidade a compreensão do modo como os alunos aprofundam a aprendizagem da multiplicação numa perspetiva de desenvolvimento do sentido do número. A investigação realizada seguiu uma metodologia de design research, na modalidade de experiência de ensino. A análise das produções escritas dos alunos e de episódios de sala de aula relativos às discussões coletivas sobre as resoluções das tarefas propostas mostra que os alunos usam uma diversidade de procedimentos e que estes evoluem significativamente ao longo da experiência de ensino. Esta evolução parece ser suportada pelas características das tarefas, os seus contextos e números, assim como pela articulação, desde logo estabelecida, entre a divisão e a multiplicação. Além disso, o recurso ao modelo retangular parece, também, ter contribuído para a progressão para procedimentos multiplicativos, baseados na decomposição de um dos fatores. Os resultados do estudo permitem ainda perceber que a evolução dos procedimentos usados pelos alunos e a sua diversidade não são alheias ao ambiente de sala de aula construído.

Explorador integrado de serviços de armazenamento na cloud: cloud cockpit

Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores