XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.

Grid structure impact in sparse point representation of derivatives

In the Sparse Point Representation (SPR) method the principle is to retain the function data indicated by significant interpolatory wavelet coefficients, which are defined as interpolation errors by means of an interpolating subdivision scheme. Typically, a SPR grid is coarse in smooth regions, and refined close to irregularities. Furthermore, the computation of partial derivatives of a function from the information of its SPR content is performed in two steps. The first one is a refinement procedure to extend the SPR by the inclusion of new interpolated point values in a security zone. Then, for points in the refined grid, such derivatives are approximated by uniform finite differences, using a step size proportional to each point local scale. If required neighboring stencils are not present in the grid, the corresponding missing point values are approximated from coarser scales using the interpolating subdivision scheme. Using the cubic interpolation subdivision scheme, we demonstrate that such adaptive finite differences can be formulated in terms of a collocation scheme based on the wavelet expansion associated to the SPR. For this purpose, we prove some results concerning the local behavior of such wavelet reconstruction operators, which stand for SPR grids having appropriate structures. This statement implies that the adaptive finite difference scheme and the one using the step size of the finest level produce the same result at SPR grid points. Consequently, in addition to the refinement strategy, our analysis indicates that some care must be taken concerning the grid structure, in order to keep the truncation error under a certain accuracy limit. Illustrating results are presented for 2D Maxwell's equation numerical solutions.

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.

Influência da migração na prevalência de marcadores sorológicos de hepatite B em comunidade rural: 1- Análise da prevalência segundo local de nascimento

Como parte de uma investigação epidemiológica de campo sobre hepatite B num município de características rurais do Estado de São Paulo, Brasil, foi estudada a distribuição de marcadores sorológicos dessa doença segundo à área de residência e o local de nascimento dos indivíduos. Para o município estudado como um todo, a prevalência encontrada para um ou mais dos marcadores sorológicos de hepatite B foi de 7,7%, com os habitantes rurais apresentando risco mais elevado que os urbanos (9,8% e 4,9%, respectivamente). A análise da positividade, de acordo com o local de nascimento, mostrou valores mais altos entre os migrantes provenientes de outros Estados do País (15,8%), seguidos dos oriundos de outros municípios de São Paulo (9,2%): entre os nascidos no município estudado e, particularmente em Ribeirão Preto, centro urbano de localização próxima ao mesmo, observaram-se as menores prevalências (5,2% e 2,5%, respectivamente). Discute-se a importância de se analisar em estudos epidemiológicos, a procedência dos indivíduos, variável capaz de influir na história natural da hepatite B numa comunidade, e, eventualmente, explicar diferenças nas distribuições de marcadores dessa infecção em populações aparentemente semelhantes.

Mortalidade infantil "evitável" em duas cidades do Nordeste do Brasil: indicador de qualidade do sistema local de saúde

Objetiva-se conhecer a magnitude e a estrutura de causalidade da mortalidade infantil considerando-a um "evento sentinela" da qualidade da assistência à saúde em dois municípios do Nordeste, Brasil. Trata-se de estudo de base populacional, do tipo "experimentação invocada", que compara a mortalidade infantil observada com aquela esperada, dado um programa de atenção à saúde materno-infantil operando a contento, permitindo calcular um "índice de mortes evitáveis" (PDI). Realizaram-se uma busca ativa e uma investigação epidemiológica dos óbitos, visando a eliminar o sub-registro desses eventos. As taxas de mortalidade infantil, embora relativamente baixas 39 e 44 por 1.000 nascidos vivos, respectivamente correspondem a um PDI de 40%, o que significa uma estrutura de causalidade compatível com taxas de mortalidade de 100 por 1.000 nascidos vivos. Esses achados sugerem uma distribuição desigual dos óbitos, confirmada por uma análise comparativa entre a população de baixa renda e outras categorias de renda (com razões de risco de 8 e 17,6 para a mortalidade infantil total e para a mortalidade infantil por doenças infecciosas, respectivamente). O PDI mostrou-se válido enquanto um índice de evitabilidade dos óbitos infantis, com a vantagem de poder ser utilizado de forma simples e fácil por gerentes de sistemas de saúde preocupados com a qualidade dos programas voltados para mães e filhos.

A qualidade de vida do indivíduo com perda auditiva segundo o tipo de local de residência

A necessidade de promoção e manutenção da Qualidade de Vida enfatiza a importância de: Programas de Prevenção de Perda Auditiva e de Sensibilização e Manutenção da Saúde Auditiva; Programas de Terapêutica por Adaptação Protética. Objectivos gerais: avaliar o estado de saúde da população com perda auditiva e averiguar as principais repercussões da perda auditiva na Qualidade de Vida. Finalidades do estudo: demonstrar a necessidade e utilidade de programas de sensibilização para a protecção e conservação do sentido auditivo.

Cidade digital

A Resolução do Conselho de Ministros n.º 120/2008, de 30 de Julho, definiu como prioridade estratégica para o País, no sector das comunicações electrónicas, a promoção do investimento em redes de nova geração. Com o objectivo de dar execução às orientações estratégicas estabelecidas, o Decreto -Lei n.º 123/2009, de 21 de Maio, veio estabelecer um conjunto de obrigações aplicáveis ao Estado, às Regiões Autónomas, às autarquias locais, empresas públicas, concessionárias e, genericamente, às entidades que detenham infra-estruturas que se integrem em domínio público, de forma a garantir a todas empresas de comunicações electrónicas, o acesso às infra-estruturas aptas ao alojamento de redes de comunicações electrónicas. Em Portugal, o caminho a ser traçado até as redes de nova geração passa pela, abertura eficaz e não discriminatória de todas as condutas e outras infra-estruturas aptas ao alojamento de redes de comunicações electrónicas, elaboração de regras técnicas aplicáveis às infra-estruturas de telecomunicações em loteamentos, urbanizações e conjuntos de edifícios, adopção de soluções que eliminem ou atenuem as barreiras verticais à instalação de fibra óptica e que evitem a monopolização do acesso aos edifícios pelo primeiro operador. Neste âmbito, excluem-se, pela sua especial natureza e fins a que estão afectas, as redes privativas dos órgãos políticos de soberania, do Ministério da Defesa Nacional, das forças e serviços de segurança, de emergência e de protecção civil. Assim, este trabalho visa apresentar procedimentos aplicáveis às infra-estruturas de telecomunicações para elaboração de um cadastro de todas as infra-estruturas, públicas e privadas, aptas ao alojamento de redes de comunicações electrónicas, e propor instruções técnicas para as condições e direitos de acesso, construção e intervenção sobre estas infra-estruturas.

Assessing the effects of global warming and local social and economic conditions on the malaria transmission

OBJECTIVE: To show how a mathematical model can be used to describe and to understand the malaria transmission. METHODS: The effects on malaria transmission due to the impact of the global temperature changes and prevailing social and economic conditions in a community were assessed based on a previously presented compartmental model, which describes the overall transmission of malaria. RESULTS/CONCLUSIONS: The assessments were made from the scenarios produced by the model both in steady state and dynamic analyses. Depending on the risk level of malaria, the effects on malaria transmission can be predicted by the temperature ambient or local social and-economic conditions.

Prevalência de lesões músculo-esqueléticas ligadas ao trabalho (LMELT) em higienistas orais: contributo para a saúde e segurança no local de trabalho

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Qualidade e Tecnologias da Saúde.

Prestação de serviços de assessoria e fiscalização da obra de "reabilitação das coberturas, acessibilidades e segurança da antiga escola Veiga Beirão - Palácio Valadares, em Lisboa"

O presente relatório diz respeito a um estágio de natureza profissional realizado com o objectivo de constituir Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil no perfil de Edificações, do Instituto Superior de Engenharia de Lisboa. O estágio subordinado ao tema “Prestação de serviços de Assessoria, Fiscalização e Coordenação de Segurança da Obra de REABILITAÇÃO DAS COBERTURAS, ACESSIBILIDADES E SEGURANÇA DA ANTIGA ESCOLA VEIGA BEIRÃO – PALÁCIO VALADARES, EM LISBOA”, decorreu na Pengest – Planeamento, Engenharia e Gestão, S.A., empresa vocacionada para a prestação de serviços de Assessoria, Gestão, Coordenação e Fiscalização de Obras, sector no qual possui vasta e diversificada experiência, e reconhecidos mérito e competência. O objectivo da empreitada é o de recuperação deste imóvel, intervenção necessária à instalação no local da Exposição “República e Ensino” enquadrada no âmbito das Comemorações do Centenário da República. A empreitada foi adjudicada ao Empreiteiro Teixeira Duarte, S.A, pelo valor de €998.072,76. O prazo é de 4,5 meses prevendo-se a conclusão para 18 de Março de 2010. Embora a proposta de estágio tenha decorrido no início de 2010, no âmbito do tema que viria a ser proposto e de forma a integrar a Estagiária numa empresa em pleno funcionamento, o estágio teve início aquando do início da empreitada, em Novembro de 2009. Exceptuando os trabalhos de montagem da grua-torre e dos andaimes para a cobertura provisória, que decorreram antes da consignação, foi acompanhado todo o processo de Fiscalização. A Estagiária participou na análise do Plano de Trabalhos, nas vistorias às fracções autónomas e edifícios adjacentes, nas visitas à obra e na elaboração de relatórios mensais. Acompanhou os procedimentos da Pengest no Controlo do Planeamento, da Qualidade e Financeiro. Em relação à Coordenação de Segurança em obra, por ser um tema tão vasto e específico, teve acesso aos relatórios, não tendo efectivamente participado nas actividades desenvolvidas sobre esta matéria. Sob a co-orientação da Eng.ª Isabel Vicente, responsável da Fiscalização e orientação do Eng.º José Pedro Fernandes do ISEL, a estagiária desenvolveu este estágio de forma proveitosa, sempre com o auxílio de uma equipa experiente em Gestão e Fiscalização.

A mathematical model for malaria transmission relating global warming and local socioeconomic conditions

OBJECTIVE: Sensitivity analysis was applied to a mathematical model describing malaria transmission relating global warming and local socioeconomic conditions. METHODS: A previous compartment model was proposed to describe the overall transmission of malaria. This model was built up on several parameters and the prevalence of malaria in a community was characterized by the values assigned to them. To assess the control efforts, the model parameters can vary on broad intervals. RESULTS: By performing the sensitivity analysis on equilibrium points, which represent the level of malaria infection in a community, the different possible scenarios are obtained when the parameters are changed. CONCLUSIONS: Depending on malaria risk, the efforts to control its transmission can be guided by a subset of parameters used in the mathematical model.

Contributos para uma prospectiva da implementação de um centro de responsabilidade de radiologia numa Unidade Local de Saúde: o caso da Unidade Local de Saúde do Norte Alentejano

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.

Segurança no circuito do medicamento citotóxico: contributos para a avaliação da realidade hospitalar em Portugal

Introdução: O medicamento citotóxico é definido pelas suas características de genotoxicidade, mutagenicidade, carcinogenicidade, teratogenicidade, toxicidade reprodutiva e toxicidade orgânica em baixas doses. Deste modo, existe uma grande preocupação no que concerne ao manuseamento deste tipo de medicamentos, devido aos riscos ocupacionais que podem surtir da exposição a que os profissionais de farmácia envolvidos estão sujeitos. Objectivos: Analisar a realidade da farmácia hospitalar face ao cumprimento das normas e procedimentos preconizados pelas actuais guidelines para o manuseamento seguro de medicamentos citotóxicos, e identificar as lacunas existentes, conduzindo à promoção de práticas centradas na minimização do risco de exposição/contaminação dos profissionais e do ambiente. Material e Métodos: Foi realizada uma pesquisa bibliográfica sistemática sobre o tema, utilizando-se como instrumento de recolha de dados um inquérito por questionário, em que os TDT de Farmácia foram abordados sobre os procedimentos verificados no hospital onde exercem actividade profissional. Resultados: Face ao cumprimento das normas na recepção, armazenamento e transporte de medicamentos citotóxicos, verifica-se que todos os hospitais se encontram acima da média. Apesar desta evidência, é na fase de transporte que se verifica um menor cumprimento. As principais lacunas detectadas foram ao nível da não utilização de EPI nas fases de recepção e armazenamento; a recepção de medicamentos citotóxicos em conjunto com outros medicamentos; a falta de um sistema de ventilação no local de armazenamento e, ainda, ausência de portas de correr e/ou gavetas fechadas nos carros de transporte de medicamentos citotóxicos. Conclusões: Os resultados deste estudo revelam alguma heterogeneidade de procedimentos nos hospitais Portugueses, sugerindo a necessidade de intervenção e reformulação do programa de segurança e gestão de risco desenvolvidos para o manuseamento de citotóxicos.

Coordination between mid-term maintenance outage decisions and short-term security-constrained scheduling in smart distribution systems

Distribution systems are the first volunteers experiencing the benefits of smart grids. The smart grid concept impacts the internal legislation and standards in grid-connected and isolated distribution systems. Demand side management, the main feature of smart grids, acquires clear meaning in low voltage distribution systems. In these networks, various coordination procedures are required between domestic, commercial and industrial consumers, producers and the system operator. Obviously, the technical basis for bidirectional communication is the prerequisite of developing such a coordination procedure. The main coordination is required when the operator tries to dispatch the producers according to their own preferences without neglecting its inherent responsibility. Maintenance decisions are first determined by generating companies, and then the operator has to check and probably modify them for final approval. In this paper the generation scheduling from the viewpoint of a distribution system operator (DSO) is formulated. The traditional task of the DSO is securing network reliability and quality. The effectiveness of the proposed method is assessed by applying it to a 6-bus and 9-bus distribution system.

Aleitamento materno exclusivo entre trabalhadoras com creche no local de trabalho

OBJETIVO: Investigar os fatores relacionados à decisão das mulheres em amamentar e a duração planejada e, de fato observada, do aleitamento exclusivo entre trabalhadoras que dispõem de creche na empresa. MÉTODOS: Estudo qualitativo no qual se comparou um grupo de 15 trabalhadoras cujos bebês estavam sendo alimentados apenas com leite materno quando começaram a freqüentar a creche da empresa com outro similar que incluía mulheres cujos bebês que, ao ingressar, já estavam recebendo, além do leite materno, outros alimentos. Foram realizadas entrevistas semi-estruturadas e grupos focais. RESULTADOS: Evidenciaram-se como fatores relacionados à decisão de iniciar a amamentação e mantê-la ao retornar ao trabalho: o desejo de amamentar, embasado no valor que as mulheres dos dois grupos atribuíam ao aleitamento materno, bem como seus maridos e outras pessoas significativas (por exemplo: mãe, irmã, amigas). A duração do aleitamento exclusivo relacionou-se principalmente à orientação do pediatra que cuidava do bebê, que foi distinta em cada um dos grupos estudados. CONCLUSÃO: A existência da creche no local de trabalho aparece como elemento relevante para a manutenção do aleitamento após a licença de maternidade, especialmente o materno exclusivo. A decisão sobre quanto tempo amamentar de forma exclusiva esteve relacionada às informações recebidas acerca do assunto antes e durante a gestação, e no pós-parto. A diferença entre os dois grupos estudados foi que as mulheres que mantiveram o aleitamento exclusivo por quase seis meses acreditavam que quanto mais tempo dessem somente o leite materno, mais benefícios o bebê teria, enquanto as mulheres do outro grupo acreditavam que três meses de aleitamento exclusivo eram suficientes.