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.

Estudo da percepção dos problemas de usabilidade de um software relacionados com o desempenho dos processos cognitivos

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.

Validação da eficácia dos procedimentos de limpeza, no equipamento de fabrico e embalagem, na indústria farmacêutica

Na indústria farmacêutica, a limpeza dos equipamentos e superfícies é muito importante no processo de fabrico/embalagem dos produtos farmacêuticos. Possíveis resíduos contaminantes devem ser removidos dos equipamentos e das superfícies envolvidas no processo. De acordo com as Boas Práticas de Fabrico (GMP), os procedimentos de limpeza e os métodos analíticos usados para determinar as quantidades de resíduos devem ser validados. O método analítico combinado com o método de amostragem utilizado na colheita de amostras deve ser sujeito a um ensaio de “recovery”. Neste trabalho apresenta-se uma estratégia inovadora para a validação de limpeza de formas farmacêuticas semi-sólidas. Propõe-se o uso de um método de amostragem que consiste na colheita direta de amostra após o seu fabrico, sendo a análise de resíduos feita directamente nesta amostra. Os produtos escolhidos para a avaliação da estratégia foram dois medicamentos dermatológicos, apresentados na forma de pomada e produzidos numa unidade de fabrico de vários produtos, pela Schering Plough Farma/ Merck Sharp & Dohme (Cacém, Portugal). Como métodos analíticos para a quantificação dos resíduos, utilizaram-se métodos validados por via espectrofotométrica (HPLC), usados na análise do produto acabado. A validação de limpeza foi avaliada através da análise de uma quantidade conhecida de pomada (produto B (*)), usando o método de análise da pomada fabricada anteriormente (produto A (*)), de modo a verificar-se a existência ou não de agente de limpeza e substâncias ativas deixadas após a limpeza do produto A, e vice-versa. As concentrações residuais das substâncias ativas e do agente de limpeza encontradas após a limpeza foram nulas, ou seja, inferiores ao limite de deteção (LOD), sendo que o critério de aceitação da limpeza utilizado foi de 6,4 x 10-4 mg/g para a substância ativa 1 (*); 1,0 x 10-2 mg/g para a substância ativa 2 (*); 1,0 x 10-3 mg/g para a substância ativa 3 (*) e de 10 ppm para o agente de limpeza. No ensaio de “recovery”, obtiveram-se resultados acima de 70% para todas as substâncias ativas e para o agente de limpeza nas duas pomadas. Antes de se proceder a este ensaio de “recovery”, houve a necessidade de ajustar as condições cromatográficas dos métodos analíticos de ambos os produtos e do agente de limpeza, por forma a obter-se valores da conformidade do sistema (fator de tailling e de resolução) de acordo com as especificações. A precisão dos resultados, reportada como desvio padrão relativo (RSD), deu abaixo de 2,0%, excepto nos ensaios que envolvem a substância ativa 3, cuja especificação é inferior a 10,0%. Os resultados obtidos demonstraram que os procedimentos de limpeza usados na unidade de fabrico em causa são eficazes, eliminando assim a existência de contaminação cruzada.

Simulação, em software adequado, da sintomatologia vibracional de avarias mecânicas de máquinas rotativas

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica na Área de Manutenção e Produção

Suporte a testes automáticos em aplicações web geradas com a OutSystems Platform

Dissertação de natureza científica para obtenção do grau de Mestre em Engenharia Informática e de Computadores

O processo de reconhecimento, validação e certificação de competências em adultos com deficiências e incapacidades

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialidade Educação Especial

Implementação e validação de um método analítico para a determinação de surfatantes aniónicos

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Otimização e validação de um método de cromatografia líquida de alta resolução (HPLC) para a determinação do edulcorante ciclamato: ocorrência em adoçantes de mesa

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Validação de um método de cromatografia líquida de alta resolução (HPLC) para doseamento da vitamina D em géneros alimentícios: aplicação do método em diferentes matrizes alimentares

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Influencing factors on the buying behavior in the software market

The case of desktop Operating System and Office Suite choices considering Proprietary and Open Source Software alternatives.

Validação do método de deteção de eritropoietina recombinante humana em urina humana por focalização isoelétrica

A eritropoietina (EPO) é uma substância que estimula a produção de eritrócitos, aumentando a oxigenação muscular, sendo segregada de forma natural pelo organismo e excretada na urina em baixas concentrações. Devido às suas propriedades e características, a EPO foi rapidamente introduzida no mundo do desporto, como substância ilícita, proporcionando vantagens no rendimento desportivo. No início de 2000 foi desenvolvido um método de deteção direta de EPO Recombinante (rHuEPO) em urina humana por Lasne, baseado na focalização isoelétrica (IEF) em gel de poliacrilamida, seguido de duplo blote, tendo este sido publicado e validado. Em 2002, a Agência Mundial Antidopagem (AMA) implementou este mesmo método, sendo atualmente um dos métodos oficiais utilizado pelos laboratórios acreditados pela AMA. Desta forma, o ponto de partida para a realização deste trabalho consistiu na necessidade de implementar e validar o método de referência de IEF para a deteção de rHuEPO em urina humana. O trabalho foi realizado no Laboratório de Análises e Dopagem (LAD) do Instituto do Desporto de Portugal (IDP), atual Instituto Português do Desporto e Juventude (IPDJ). O principal objetivo deste trabalho consistiu no estudo/investigação de diferentes parâmetros de validação (especificidade/seletividade; capacidade de identificação; limite de deteção; exatidão e repetibilidade), de acordo com o protocolado no Procedimento Geral interno do Laboratório de Análises de Dopagem de Lisboa (LAD). O referido método de triagem e confirmação revelou possuir características de desempenho conformes com os requisitos aplicáveis, pelo que é considerado validado e apto.

Validação de um método de cromatografia de alta eficiência para determinação de conservantes em géneros alimentícios

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Projeto de um conversor eletrónico para utilização num sistema eólico de produção de energia

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica no Ramo de Automação e Electrónica Industrial

Distribuições estatísticas, testes de ajuste e métodos para estimação de parâmetros na área da fiabilidade

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Contributos didático-pedagógicos do software smartmusic no ensino do clarinete

Mestrado em Ensino da Música.