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.

EVIV: An end-to-end verifiable Internet voting system

Traditionally, a country's electoral system requires the voter to vote at a specific day and place, which conflicts with the mobility usually seen in modern live styles. Thus, the widespread of Internet (mobile) broadband access can be seen as an opportunity to deal with this mobility problem, i.e. the adoption of an Internet voting system can make the live of voter's much more convenient; however, a widespread Internet voting systems adoption relies on the ability to develop trustworthy systems, i.e. systems that are verifiable and preserve the voter's privacy. Building such a system is still an open research problem. Our contribution is a new Internet voting system: EVIV, a highly sound End-to-end Verifiable Internet Voting system, which offers full voter's mobility and preserves the voter's privacy from the vote casting PC even if the voter votes from a public PC, such as a PC at a cybercafe or at a public library. Additionally, EVIV has private vote verification mechanisms, in which the voter just has to perform a simple match of two small strings (4-5 alphanumeric characters), that detect and protect against vote manipulations both at the insecure vote client platform and at the election server side. (c) 2012 Elsevier Ltd. All rights reserved.

Statistical classification of road pavements using near field vehicle rolling noise measurements

Low noise surfaces have been increasingly considered as a viable and cost-effective alternative to acoustical barriers. However, road planners and administrators frequently lack information on the correlation between the type of road surface and the resulting noise emission profile. To address this problem, a method to identify and classify different types of road pavements was developed, whereby near field road noise is analyzed using statistical learning methods. The vehicle rolling sound signal near the tires and close to the road surface was acquired by two microphones in a special arrangement which implements the Close-Proximity method. A set of features, characterizing the properties of the road pavement, was extracted from the corresponding sound profiles. A feature selection method was used to automatically select those that are most relevant in predicting the type of pavement, while reducing the computational cost. A set of different types of road pavement segments were tested and the performance of the classifier was evaluated. Results of pavement classification performed during a road journey are presented on a map, together with geographical data. This procedure leads to a considerable improvement in the quality of road pavement noise data, thereby increasing the accuracy of road traffic noise prediction models.

Avaliação dos sistemas WiMAX e GSM-R para ambientes ferroviários

Com este trabalho pretende-se estudar o desempenho das tecnologias GSM-R e WiMAX em ambientes ferroviários. Este tipo de estudo tem uma importância elevada devido grande interesse na reestruturação dos sistemas de comunicações vocacionados para aplicações ferroviárias. Estes sistemas são cada vez mais complexos, apresentando níveis mais elevados de exigência, como a segurança, suporte de sinalização, tráfego ferroviário e interoperabilidade entre sistemas de diferentes países. Com tudo isto é necessário explorar e conhecer o comportamento de diversas tecnologias para este tipo de aplicações. Neste trabalho foi efectuado um primeiro estudo abrangendo a tecnologia WiMAX (Norma IEEE 802.16d) em ambientes interiores de edifícios, de forma a estudar o seu comportamento com e sem linha de vista e em proximidade e afastamento da estação base. Este estudo foi conclusivo quanto há não adequação desta tecnologia em ambientes ferroviários, visto ter sido observado que em situações de ausência de linha de vista a degradação da qualidade do sinal não conseguiria suportar os níveis de exigência necessários para a aplicação do mesmo em ambientes ferroviários. Analisou-se em segundo lugar a tecnologia GSM-R, onde se efectuou um estudo de campo em ambientes reais. Para o estudo desta tecnologia foram utilizados ambientes diversificados de forma a obter um estudo mais aprofundado do seu comportamento. Como objectivo têm-se a criação de melhores métodos de planeamento, mais vocacionados para as características específicas dos ambientes ferroviários e exigências das aplicações dos sistemas de comunicações ferroviários. Através deste estudo foi possível obter conclusões relativamente à variação da potência do sinal para as diversas condições e ambientes de propagação a que o sistema GSM-R foi sujeito, tendo sido possível também caracterizar o tipo de ambientes característicos das linhas ferroviárias. Foi possível também concluir que este tipo de sistemas consegue responder aos níveis de exigência e aplicações dos sistemas de comunicação ferroviários, trazendo uma mais-valia relativamente aos existentes actualmente a nível nacional.

Learning techniques for automatic email message tagging

A organização automática de mensagens de correio electrónico é um desafio actual na área da aprendizagem automática. O número excessivo de mensagens afecta cada vez mais utilizadores, especialmente os que usam o correio electrónico como ferramenta de comunicação e trabalho. Esta tese aborda o problema da organização automática de mensagens de correio electrónico propondo uma solução que tem como objectivo a etiquetagem automática de mensagens. A etiquetagem automática é feita com recurso às pastas de correio electrónico anteriormente criadas pelos utilizadores, tratando-as como etiquetas, e à sugestão de múltiplas etiquetas para cada mensagem (top-N). São estudadas várias técnicas de aprendizagem e os vários campos que compõe uma mensagem de correio electrónico são analisados de forma a determinar a sua adequação como elementos de classificação. O foco deste trabalho recai sobre os campos textuais (o assunto e o corpo das mensagens), estudando-se diferentes formas de representação, selecção de características e algoritmos de classificação. É ainda efectuada a avaliação dos campos de participantes através de algoritmos de classificação que os representam usando o modelo vectorial ou como um grafo. Os vários campos são combinados para classificação utilizando a técnica de combinação de classificadores Votação por Maioria. Os testes são efectuados com um subconjunto de mensagens de correio electrónico da Enron e um conjunto de dados privados disponibilizados pelo Institute for Systems and Technologies of Information, Control and Communication (INSTICC). Estes conjuntos são analisados de forma a perceber as características dos dados. A avaliação do sistema é realizada através da percentagem de acerto dos classificadores. Os resultados obtidos apresentam melhorias significativas em comparação com os trabalhos relacionados.

The spin polarization of CrO2 revisited

Here, we use Andreev reflection spectroscopy to study the spin polarization of high quality CrO2 films. We study the spin polarization as a function of growth temperature, resulting in grain size and electrical resistivity. In these films low temperature growth appears to be a necessary but not sufficient condition to guarantee the observation of high spin polarization, and this is only observed in conjunction with suppressed superconducting gap values and anomalously low interface properties. We suggest that this combination of observations is a manifestation of the long range spin triplet proximity effect. (C) 2007 American Institute of Physics.

Estudo dos indicadores de qualidade e de risco na interaça o mãe-filho(a)

O presente estudo tem como principal objetivo identificar na interação mãe- bebés de 3 meses, indicadores de risco e de qualidade e, consequentemente, criar um guião que ajude os profissionais a identificar esses mesmos indicadores. Para o efeito observámos 30 díades mãe-filho(a) em jogo livre distribuídas em dois grupos: 1) 12 díades sem condições assinaláveis de risco e 2) 18 díades em risco socioeconómico. O comportamento interativo dos bebés e das mães foi avaliado através do Child-Adult Relashionship Experimental, designado pela autora de CARE-Index (Crittenden, 2003). Os comportamentos maternos e infantis foram cotados de acordo com os 7 aspetos do comportamento diádico: Expressão Facial, Expressão Verbal, Posição e Contato Corporal, Afetividade, Reciprocidade, Diretividade e Escolha da Atividade. Os resultados do nosso estudo revelam que as díades mãe-filho(a) sem condições assinaláveis de risco apresentam interações mais positivas, recíprocas e ajustadas à idade das crianças do que as díades sujeitas a condições de risco e que o comportamento materno sensível e responsivo surge associado ao comportamento cooperativo infantil e negativamente correlacionado com a dificuldade infantil, enquanto que uma postura controladora, diretiva ou punitiva da mãe surge positivamente correlacionada com a submissão e evitamento infantil. Por fim, encontramos associados a comportamentos maternos sensíveis uma variabilidade de comportamentos infantis desde satisfação, coerção, procura de proximidade ou evitamento. Na discussão dos resultados apresentamos um script dos indicadores de qualidade e de risco do comportamento materno. - Abstract This study main goal was to study mother-infant quality of interaction in dyads with 3 months babies. Moreover, our goal was to explore maternal and infant key behaviors that shape the quality of the interaction in order to organize a script that helps professionals to identify these critical interactive behaviors. To this end we observed 30 mother-child dyads (a) in free play interaction divided into two groups: 1) 12 dyads without any known risk condition and 2) 18 dyads at socioeconomic risk. The interactive behavior of infants and mothers was assessed using the Child-Adult Relationship Experimental, designated by the author of CARE-Index (Crittenden, 2003). The maternal and infant behaviors were rated according to seven aspects of dyadic behavior: Facial Expression, Verbal Expression, Position and Contact Body, Affection, Reciprocity, Directivity and Choice of Activity. Findings indicate that mother-child dyads without know risk conditions are more likely to present positive interactions, reciprocal and age-adjusted than dyads at risk. The sensitive and responsive maternal behavior emerges associated with children's cooperative behavior and negatively correlated with infant difficultness, while a controlling or punitive maternal behavior is positively correlated with infant compliance and avoidance. Finally, sensitive maternal behaviors were associated with a variability of child behaviors, from satisfaction, coercion, avoidance or proximity search. In the results discussion we present a script of the quality and risks indicators of maternal behavior.

Parcerias logisticas: estudos de caso

O processo de globalização tem contribuído para o desenvolvimento da reestruturação das firmas, por vezes são necessárias alianças, o que implica alterações na cadeia de valor, sendo fundamentais novas formas de relacionamento interpessoal e de operação. Os Pólos Industriais representam a presença física de entidades em determinadas posições geográficas, responsáveis pelo desenvolvimento económico, tecnológico e social da região. Este trabalho de investigação tem como intuito geral verificar o contributo efetivo para o aumento de vantagem competitiva das firmas parceiras na logística e produção de componentes para o setor automóvel, tendo como estudo do caso Caetano Coatings Automotive. O estudo foi realizado no Pólo Industrial do Carregado, com base numa pesquisa empírica, cumulativamente com revisão da literatura inerente às parcerias em cluster no sector automóvel e várias visitas ao local. Para a realização deste objetivo foi utilizado o método do estudo do caso por permitir ao investigador através da observação direta e entrevista analisar fenómenos atuais. Tal recolha de dados demonstra que alterações de localização e o fator proximidade contribuem para aumento de competitividade do Pólo Industrial através da redução do espaço e tempo e consequentemente redução de custos e lead-time. Foram analisadas de forma comparativa o desenvolvimento das firmas que detinham e detêm parcerias no Pólo Industrial, tendo sido identificado de forma significativa as contribuições para o aumento da vantagem competitiva. Os resultados obtidos evidenciam fatores que contribuem para novos tipos de relacionamento e aumento de vantagem competitiva foi devida à deslocalização das firmas parceiras integradas no Pólo Industrial.

Dificuldades sentidas pelos professores à entrada da profissão

Dissertação apresentada à Escola Superior de Educação para a obtenção do Grau de Mestre em Ciências da Educação, especialidade em Supervisão em Educação

Análise dos parâmetros de qualidade das imagens de verificação em radioterapia aplicada a patologias de cabeça e pescoço

Mestrado em Radiações Aplicadas às Tecnologias da Saúde - Área de especialização: Terapia com Radiações.

Formaldeyde exposure during animal macroscopic examination

Results of research work developed in anatomy and pathology laboratories have indicated that “macroscopic examination” is the task involving the highest exposure to formaldehyde. This is probably because precision and very good visibility are needed and, therefore, pathologists must lean over the specimen with consequent increase of proximity. With this research we aimed to know formaldehyde exposure in case of animal’s macroscopic examination. Three macroscopic examinations were considered and exposure assessment performed with photo ionization detection (PID) direct-reading equipment (with an 11.7 eV lamp) designated by First-Check, from Ion Science. Higher values of formaldehyde concentration (ceiling values) were register in each exam.

Meios de comunicação como instrumentos de inserção da comunidade cabo-verdiana na sociedade de acolhimento: o caso da área metropolitana de Lisboa

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.

A imprensa regional e local: estudo de caso do jornal O Ribatejo

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.

O jornalismo de proximidade como promotor da cultura e identidade de uma região: o caso do Porto Canal

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.

Critérios que definem a agenda e o alinhamento noticioso de um canal regional: estudo de caso da localvisão TV

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.