Biblioteca para a realização de security token services

A família de especificações WS-* define um modelo de segurança para web services, baseado nos conceitos de claim, security token e Security Token Service (STS). Neste modelo, a informação de segurança dos originadores de mensagens (identidade, privilégios, etc.) é representada através de conjuntos de claims, contidos dentro de security tokens. A emissão e obtenção destes security tokens, por parte dos originadores de mensagens, são realizadas através de protocolos legados ou através de serviços especiais, designados de Security Token Services, usando as operações e os protocolos definidos na especificação WS-Trust. O conceito de Security Token Service não é usado apenas no contexto dos web services. Propostas como o modelo dos Information Cards, aplicável no contexto de aplicações web, também utilizam este conceito. Os Security Token Services desempenham vários papéis, dependendo da informação presente no token emitido. São exemplos o papel de Identity Provider, quando os tokens emitidos contêm informação de identidade, ou o papel de Policy Decision Point, quando os tokens emitidos definem autorizações. Este documento descreve o projecto duma biblioteca software para a realização de Security Token Services, tal como definidos na norma WS-Trust, destinada à plataforma .NET 3.5. Propõem-se uma arquitectura flexível e extensível, de forma a suportar novas versões das normas e as diversas variantes que os Security Token Services possuem, nomeadamente: o tipo dos security token emitidos e das claims neles contidas, a inferência das claims e os métodos de autenticação das entidades requerentes. Apresentam-se aspectos de implementação desta arquitectura, nomeadamente a integração com a plataforma WCF, a sua extensibilidade e o suporte a modelos e sistemas externos à norma. Finalmente, descrevem-se as plataformas de teste implementadas para a validação da biblioteca realizada e os módulos de extensão da biblioteca para: suporte do modelo associado aos Information Cards, do modelo OpenID e para a integração com o Authorization Manager.

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.

Condições de saúde bucal em pessoas de 60 anos ou mais no Município de São Paulo (Brasil)

As condições de saúde bucal no grupo populacional com 60 anos ou mais é estudada, na cidade de São Paulo em 1989. Com base em dados referentes à cárie dental, doenças periodontais, necessidade e uso de prótese e prevalência de alterações em tecidos duros e moles, conclui-se que este grupo apresenta um nível muito precário de saúde bucal. Recomenda-se a definição de política e de programas odontológicos específicos para a terceira idade.

Construção de obras de arte de médio vão através do método construtivo de viga de lançamento (V.L.)

O presente relatório de estágio enquadra-se no âmbito do Trabalho Final de Mestrado no curso de Engenharia Civil, perfil de Estruturas, do Instituto Superior de Engenharia de Lisboa. Desta forma, foi realizado um estágio na empresa Opway – Engenharia, com a duração de 16 semanas, com integração na Direcção Técnica e de Inovação desempenhando as funções de análise e acompanhamento de obras de arte especiais de médio vão. Pretende-se demonstrar, neste relatório, a grande especificidade deste tipo de construções quer ao nível do Dimensionamento como ao nível da Construção. Ao nível do processo de Dimensionamento são apresentados dois capítulos, um relativo ao projecto de alterações de uma Viga de Lançamento e outro relativo ao projecto de execução de um viaduto construído através deste tipo de cimbres. Desta forma, o Capítulo 2 aborda os principais factores a ter em consideração num caso de adaptação de um cimbre deste tipo, utilizado anteriormente num determinado tabuleiro, para um novo tabuleiro a realizar, com características necessariamente diferentes. Por sua vez, o Capítulo 5 prende-se com uma análise e descrição de um projecto de execução de um tabuleiro de um viaduto construído por este método construtivo. No âmbito de Construção, o Capítulo 3 aborda o método de funcionamento deste tipo de cimbres desde que chega ao local da empreitada, até à sua saída. O Capítulo 4 consiste numa avaliação de soluções para a construção de um tabuleiro, onde a solução inicial consistia na construção por avanços sucessivos enquanto que a solução variante, (adoptada), consiste na construção por lançamento incremental. Neste capítulo está demonstrada a variação de quantidades de materiais entre as duas soluções e consequentemente a sua tradução em valores monetários. Os casos de estudo, que serviram como base de trabalho, ao nível do acompanhamento da construção foram, o Viaduto ferroviário de alta velocidade “O Marco”, em Santiago de Compostela e o Viaduto sobre o Rio Águeda em Ciudad Rodrigo. Ao nível do aspecto de projecto, o caso em estudo foi do Viaduto sobre a Ribeira de Zacarias (V3), integrado na subconcessão do Douro Interior, Alfândega da Fé. Este relatório resulta da análise de documentos relativos aos diferentes tipos de projecto mencionados como também da oportunidade de realização de acompanhamento da construção deste tipo de obras de arte.

Esterilização por óxido de etileno: I. Influência do meio de esporulação na resistência dos esporos de Bacillus subtilis var. niger

Tendo por meta a padronização das variáveis influenciando a resistência de esporos empregados no controle do processo esterilizante por óxido de etileno, foram obtidos esporos de Bacillus subtilis var. niger, em meio sólido e líquido sintético de esporulação. Tais esporos, após padronização quantitativa dos 12 lotes obtidos, foram submetidos a exposições subletais como bioindicadores, tendo o papel como suporte. Construiu-se, então, a curva de letalidade característica de cada lote. A análise estatística empregada não evidenciou diferenças entre resistência dos 10 lotes obtidos em meio sólido e os 2 em meio líquido sintético, ressaltando-se a vantagem quanto ao rendimento que caracterizou a primeira metodologia.

Perfil do idoso em área metropolitana na região sudeste do Brasil: resultados de inquérito domiciliar

Trata-se de estudo multicêntrico visando levantar as necessidades de saúde da população de idosos residentes em zona urbana, conduzido em 6 países na América Latina e coordenado pela Organização Panamericana da Saúde. No Brasil, 1.602 idosos (60 anos e +) residentes no Distrito de São Paulo, participaram de inquérito domiciliar com questionário de avaliação funcional multidimensional - amostra populacional aleatória, em múltiplos estágios, estratificada por nível socioeconômico. Os resultados mostraram uma população bastante carente (70% tinha uma renda per capita de menos de 100 dólares por mês), vivendo predominantemente em domicílios multigeracionais (59% viviam com os filhos e/ou com netos), com alta prevalência de doenças crônicas (somente 14% referiu não ter nenhuma doença) e distúrbios psiquiátricos (27% foram considerados casos psiquiátricos), e com uma elevada proporção de pessoas com perda de autonomia (47% precisavam de ajuda para realizar pelo menos uma das atividades da vida diária). Os resultados são analisados tendo em vista as demandas futuras por serviços de saúde especializados e suporte social por parte da crescente população de idosos no Brasil.

Retorno ao trabalho após revascularização do miocárdio

Seiscentos e setenta e dois pacientes, classificados em 4 estratos de 168 cada um, foram avaliados no quarto mês após revascularização miocárdica, por cirurgia de ponte de safena e/ou implantação de artéria mamária e angioplastia transluminal coronária com o intuito de verificar se retornaram ou não ao trabalho, e em que condições o fizeram. Os quatro estratos foram compostos segundo a ocupação/qualificação da seguinte forma: I- executivos; II-profissionais de nível universitário; III- técnicos de nível médio; IV- profissionais não ou semi qualificados. Objetivou-se verificar como as variáveis demográficas, educacionais, ocupacionais, procedimentos e suporte pós-operatório interferiram no retomo ao trabalho. Os resultados mostraram que o não-retorno aconteceu, em média, em 20,8% dos casos. Em cada um dos estratos, a proporção de não-retorno foi a seguinte: I = 11,9%; II= 15,5%; III= 26,2% e IV= 29,8%. Verificou-se naqueles submetidos à angioplastia que a proporção de não-retorno foi significativamente menor.

Aspectos imunológicos e parasitológicos em Biomphalaria tenagophila infectadas por Schistosoma mansoni e outros Digenea

Estudou-se o comportamento de amebócitos de Biomphalaria tenagophila infectadas por Schistosoma mansoni, por outros Digenea e a resistência à superinfecção, presente em infecções mistas. Foi verificada a atividade fagocitária dos amebócitos, o número destas células circulantes, a reação amebocitária nos tecidos, o perfil eletroforético da hemolinfa, além da reação de imunodifusão. Concluiu-se que moluscos infectados por outros Digenea apresentam resistência à superinfecção por S. mansoni, sendo que os amebócitos parecem não ter participação direta na destruição dos esporocistos de S. mansoni nesta eventualidade. Nos moluscos infectados observou-se maior número de amebócitos circulantes e aumento de capacidade fagocitária destas células.

Técnicas de mineração de dados aplicadas ao mercado de capitais

Este trabalho tem como objectivo a criação de modelos, resultantes da aplicação de algoritmos e técnicas de mineração de dados, que possam servir de suporte a um sistema de apoio à decisão útil a investidores do mercado de capitais. Os mercados de capitais, neste caso particular a Bolsa de Valores, são sistemas que gera diariamente grandes volumes de informação, cuja análise é complexa e não trivial para um investidor não profissional. Existem muitas variáveis que influenciam a decisão a tomar sobre a carteira de acções (vender, manter, comprar). Estas decisões têm como objectivo a maximização do lucro. Assim, um sistema que auxilie os investidores na tarefa de análise será considerado uma mais-valia. As decisões de um profissional são normalmente baseadas em dois tipos de análise: Fundamental e Técnica. A Análise Fundamental foca-se nos indicadores da “saúde financeira” da empresa, tendo como base a informação disponibilizada pela mesma. Por outro lado , a Análise Técnica, que será o foco deste trabalho, assenta na observação de indicadores estatísticos construídos com base no comportamento passado da acção. O recurso a estas análises permite aos investidores obterem alguma informação sobre a tendência da acção (subida ou descida). As análises apresentadas requerem um bom conhecimento do domínio do problema e tempo, o que as torna pouco acessíveis, sobretudo para os pequenos investidores. Com o intuito de democratizar o acesso a este tipo de investimentos, este trabalho, recorre a algoritmos de mineração de dados, tais como, árvores de classificação e redes neuronais que possam servir de base à construção de um modelo de suporte a obstáculos que podem impedir o investidor comum de entrar na Bolsa, designadamente o tempo gasto na análise e a complexidade da mesma, entre outros. Para a criação de modelos capazes de responder às expectativas, são realizados diversos ensaios recorrendo a vários algoritmos e conjuntos de dados, na busca do que melhor se adequa ao problema. Contudo é de ressalvar que a decisão de investimento estará sempre do lado do investidor, uma vez que o modelo deve permitir unicamente alimentar um sistema de apoio.

Métodos construtivos da estação de metro da Reboleira e respectivas vias de ligação subterrâneas

Este relatório enquadra-se no Trabalho Final de Mestrado integrado no curso de Engenharia Civil, perfil de Edificações, do Instituto Superior de Engenharia de Lisboa. Para a sua elaboração foi realizado um estágio durante 5 meses, pela Zagope – Construções e Engenharia S.A., na obra pública “ML671/07 - concepção/construção dos toscos do prolongamento da linha Azul do Metropolitano de Lisboa, E.P. entre a Estação Amadora-Este e a Estação Reboleira”. Visando a contextualização da realidade da obra, o trabalho refere nos Capítulo 3 as condicionantes de projecto, bem como no Capítulo 4 as características geológicas – geotécnicas. O relatório objectiva a descrição dos processos construtivos da Estação Reboleira, Túneis e Poço de Ventilação, expressos na Capítulo 5. Estes temas são analisados nos subcapítulos 5.1, 5.2, e 5.3 respectivamente. No caso da Estação a análise inicia-se com o seu faseamento construtivo, seguindo-se os temas de escavação/suporte, laje de soleira, impermeabilização, bem como a contenção provisória dos acessos pedonais. A abordagem aos túneis é realizada no âmbito da contenção, contemplando temas como os emboquilhamentos, secções tipo de suporte, tratamentos de maciços, escavação, suportes, recursos e rendimentos. O estudo ao Poço de Ventilação incide sob as secções tipo de suporte adoptadas e sob o seu faseamento construtivo. No Capítulo 6 desenvolve-se a Evolução Construtiva da obra no período em que decorreu o estágio. O capítulo 7 descreve os trabalhos realizados enquanto estagiário. Em Apêndice desenvolve-se o tema “Suspensão da Conduta de gás” que complementa o Capítulo 5.

Longevidade da solução de Verhöeff

As fibras elásticas representam cerca de 5% do tecido conjuntivo. São constituídas por elastina e microfibrilhas sendo responsáveis pelas propriedades de flexibilidade e retracção elástica dos tecidos. A Técnica de Verhoeff é o método mais comum para demonstrar a presença de fibras elásticas, proporcionando bons resultados. Esta técnica baseia-se num método regressivo, sendo preparada apenas aquando da sua utilização. No entanto, Bancroft e Gamble indicam que resultados satisfatórios têm sido obtidos com a utilização da solução até 48 horas. Estabeleceu-se como objectivo geral comparar a solução de Verhoeff extemporânea e a solução de Verhoeff não extemporânea, verificando a posteriori se ambas permitem obter resultados satisfatórios similares. Definindo-se especificamente: determinar a influência do tempo de repouso da solução de Verhoeff não extemporânea na coloração das fibras elásticas de cortes histológicos de pele, pulmão e artéria de origem suína; analisar e comparar microscopicamente as diferenças entre a solução extemporânea de Verhoeff (lâminas controlo) e o conjunto de diferentes tempos de repouso dessa mesma solução; aferir a longevidade da solução de Verhoeff, indicar o tempo de repouso de solução de Verhoeff até ao qual esta é passível de utilização.

Avaliação da desidratação no processamento de rotina e num processamento alternativo

O estudo baseou-se na alteração do processo de desidratação de rotina, em que foi suprimida a concentração intermédia (96%) de etanol, com o intuito de tentar diminuir o tempo do processamento histológico sem provocar alterações nos tecidos. Objectivo do estudo: verificar se existem diferenças significativas a nível tecidular e celular em diferentes tipos de tecidos entre o método de desidratação de rotina e o alternativo.

Educação e regulamentação profissional dos técnicos de Anatomia Patológica, Citológica e Tanatológica em Portugal

Profissional de APCT: conteúdo funcional regulado pelo D.L. nº 564/99 de 21/12, D.L. nº 261/93 de 24/07, D.L. nº 320/99 de 11/08; planeia, processa, avalia e controla as várias fases de estudo e tratamento de amostras de tecidos colhidos no organismo vivo ou morto, para observação macroscópica e microscópica, óptica ou electrónica, com vista à realização do diagnóstico anátomo-patológico; aplica conhecimentos de morfologia normal, histologia, biologia celular/molecular e genética, bem como conhecimentos processuais de técnicas e métodos cito e histopatológicos avaliando a qualidade dos seus resultados; tem como grandes áreas de intervenção o diagnóstico/prognóstico e a prevenção da doença, o Técnico de Anatomia Patológica, Citológica e Tanatológica desenvolve ainda acções e colabora em programas de rastreio, educação e promoção para a saúde.

Exploração da implementação actual de IPv6 no Kernel do Linux

A presente dissertação visa retratar a exploração do suporte do protocolo Internet versão seis (IPv6) no kernel do Linux, conjuntamente com a análise detalhada do estado da implementação dos diferentes aspectos em que se baseia o protocolo. O estudo incide na experimentação do funcionamento em geral do stack, a identificação de inconsistências deste em relação aos RFC’s respectivos, bem como a simulação laboratorial de cenários que reproduzam casos de utilização de cada uma das facilidades analisadas. O objectivo desta dissertação não é explicar o funcionamento do novo protocolo IPv6, mas antes, centrar-se essencialmente na exploração do IPv6 no kernel do Linux. Não é um documento para leigos em IPv6, no entanto, optou-se por desenvolver uma parte inicial onde é abordado o essencial do protocolo: a sua evolução até à aprovação e a sua especificação. Com base no estudo realizado, explora-se o suporte do IPv6 no Kernel do Linux, fazendo uma análise detalhada do estado de implementação dos diferentes aspectos em que se baseia o protocolo. Bem como a realização de testes de conformidade IPv6 em relação aos RFC’s.

Sistemas distribuídos: serviços Grid Computing

A necessidade de poder computacional é crescente nas diversas áreas de actuação humana, tanto na indústria, como em ambientes académicos. Grid Computing permite a ligação de recursos computacionais dispersos de maneira a permitir a sua utilização mais eficaz, fornecendo aos utilizadores um acesso simplificado ao poder computacional de diversos sistemas. Os primeiros projectos de Grid Computing implicavam a ligação de máquinas paralelas ou aglomerados de alto desempenho e alto custo, disponíveis apenas em algumas instituições. Contrastando com o elevado custo dos super-computadores, os computadores pessoais e a Internet sofreram uma evolução significativa nos últimos anos. O uso de computadores dispersos em uma WAN pode representar um ambiente muito interessante para processamento de alto desempenho. Os sistemas em Grid fornecem a possibilidade de se utilizar um conjunto de computadores pessoais de modo a fornecer uma computação que utiliza recursos que de outra maneira estariam omissos. Este trabalho consiste no estudo de Grid Computing a nível de conceito e de arquitectura e numa análise ao seu estado actual hoje em dia. Como complemento foi desenvolvido um componente que permite o desenvolvimento de serviços para Grids (Grid Services) mais eficaz do que o modelo de suporte a serviços actualmente utilizado. Este componente é disponibilizado sob a forma um plug-in para a plataforma Eclipse IDE.