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.

A nova abordagem do Webmarketing aliada ao comportamento do consumidor

Dissertação apresentada à Escola Superior de Comunicação Social para obtenção de grau de mestre em Publicidade e Marketing.

Controlo de fiabilidade de um componente de avião

O presente relatório, insere-se no âmbito de um Estágio de Natureza Profissional, realizado na TAP Manutenção e Engenharia, relativo à Unidade Curricular de Trabalho Final de Mestrado, do curso de Mestrado em Engenharia Mecânica - Ramo Manutenção e Produção - do Instituto Superior de Engenharia de Lisboa. O referido Estágio de Natureza Profissional, com a duração de 640 horas, teve como objectivo o controlo da fiabilidade de um componente de avião, aplicando metodologias da Manutenção Centrada na Fiabilidade, orientadas para a Logística de Componentes, visando a análise, e possível melhoria, do compromisso entre a disponibilidade e a fiabilidade dos componentes e os seus custos de posse. O trabalho foi desenvolvido nas instalações da TAP Manutenção & Engenharia, nomeadamente no sector de Fiabilidade e Programas de Manutenção da Direcção de Engenharia, e também Oficina de Interiores de Cabine, que é a oficina responsável pelo componente que viria a ser atribuído como objecto de estudo para a realização do presente trabalho. Numa fase preliminar, foram ainda levadas a cabo reuniões na Empresa, com vista à formalização do estágio e à apresentação dos sectores onde o mesmo se iria realizar, bem como para demonstração das metodologias de controlo da fiabilidade utilizadas na mesma. Após a formalização do Estágio, foram atribuídas como objecto de estudo as cadeiras de tripulação técnica em exploração na frota da TAP Portugal, fabricadas pela SOGERMA, firma pertencente ao consórcio aeronáutico europeu EADS. A escolha do componente prendeu-se com o facto de o mesmo se encontrar em alerta, devido a encontrar-se regularmente com o índice de remoções prematuras excedido. Com a atribuição do objecto de estudo foi necessário levar a cabo não só uma familiarização com o objecto de estudo, nomeadamente quais os seus principais componentes e modos de funcionamento, bem como com as suas fichas de cadastro onde se encontra registado o historial de intervenções efectuadas sobre os referidos componentes. Para o presente estudo, de modo a possibilitar uma melhor análise da evolução do comportamento dos componentes, e para que a amostra em estudo fosse mais significativa, foram tidos em conta os dados das remoções prematuras desde o ano 2000 até à actualidade. Essa informação, retirada da base de dados da TAP, foi então cruzada com a informação contida nas fichas de cadastro de cada uma das unidades com vista à aferição das causas das remoções e à segregação dos dados não relevantes para o estudo. Foi assim possível determinar os modos de falha envolvidos e levar a cabo o respectivo tratamento estatístico com vista à determinação das frequências relativas e absolutas de cada um dos mesmos. Após o apuramento dos dados relevantes, foi usada uma ferramenta informática, o software Weibull ++, da Reliasoft, para tratamento dos dados de vida dos componentes, visando a determinação não só das distribuições de probabilidade que melhor se adequam aos dados em questão bem como da vida média do componente em cada análise efectuada. Para uma melhor avaliação foram usadas as seguintes abordagens: • Análise ao longo do tempo, usando a totalidade dos dados, filtrando os dados por intervalos de tempo de modo ser possível traçar uma evolução da exploração ao longo do período considerado; • Análise do comportamento em médio curso e longo curso, de cada uma das séries de cadeiras isoladamente; • Análise do comportamento de cada uma das séries, independentemente da aeronave em que se encontrem instaladas; • Análise global do comportamento das cadeiras, de modo a ser possível retirar um indicador global da exploração dos objectos de estudo.

Processos de trans-nacionalização da linguagem publicitária. Não basta colocar as campanhas publicitárias internacionais no ar. É necessário que os conceitos criativos possam “voar”.

Este artigo analisa a questão da trans-nacionalização da linguagem publicitária e da sua eficácia. O mundo actual está num processo de grande transformação social e dele emerge um novo paradigma da comunicação comercial. A trans-nacionalização da linguagem publicitária põe em marcha dois processos paralelos. Por um lado, contribui para uma certa homogeneização cultural (visível sobretudo nos conceitos globais e na utilização do inglês como língua de ancoragem de sentido universal) e para a emergência de valores sociais de cariz global, porque desterritorizados. Outro processo é o da diversificação cultural, com valores diferenciados (que nascem da apropriação, transformação e re-contextualização de significações) que passam a operar como códigos, mais ou menos fechados, de comunidades sociais, de toda a espécie, que em torno deles se estruturam. Essa ocorrência, parece ser mais frequente entre as novas gerações (mas não necessariamente) e estas também usam, normalmente, certas marcas e certos objectos de consumo, quase sempre ligados ao segmento da moda, que se transformam em símbolos de pertença da tribo. A mudança de paradigma faz realçar o factor criatividade como garante da eficácia publicitária. Uma das principais consequências desta mudança de paradigma é que as marcas deixarão de entrar facilmente na casa do consumidor e na sua mente através de uma estratégia cerrada de “bombardeamento” e a linguagem publicitária deverá retornar aos valores sociais e culturais importantes, oferecendo espectáculo, sonho, significado e relação. Porque, afinal, não basta colocar as campanhas publicitárias internacionais no ar, é necessário que os conceitos criativos possam “voar”.

Detecção automática de bagagem abandonada

Por razões de segurança, tem vindo a aumentar a utilização de sistemas de videovigilância em espaços públicos. Face a acontecimentos recentes, designadamente a ocorrência de explosões, é importante detectar bagagem abandonada porque poderá ser perigosa. Surge neste contexto a motivação para este trabalho, cujo objectivo é a detecção automática de objectos abandonados num lugar de embarque e desembarque de passageiros. O sistema desenvolvido processa as imagens obtidas pelas câmaras de videovigilância. Para cada câmara, cada imagem é comparada com a respectiva imagem de fundo, determinada inicialmente, para detectar alterações no local. Após processamento para remover efeitos de sombra e pontos espúrios, a representação binária das alterações é projectada no plano do chão e fundida com as outras projecções. Através da análise da fusão das projecções, identificam-se as blobs, designação da representação de passageiros e bagagem neste domínio. A detecção de bagagem abandonada baseia-se na ideia de que isso corresponde à divisão de uma blob em duas, permanecendo uma no local onde ocorreu a bifurcação e tendo havido afastamento da outra. Usando os dados de referência do encontro Performance Evaluation of Tracking and Surveillance, realizado em 2006, discute-se o desempenho do protótipo implementado e a sua parametrização e apresentam-se aspectos de refinamento e implementação da heurística de detecção. Analisada a utilização de imagens de um sistema de videovigilância instalado com outra finalidade, constata-se a forte dependência em relação ao número e disposição das câmaras, que neste caso, se revela desadequada.

Antena para sistema de localização interior

Dissertação para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Modelo de especificação e controlo de execuções paralelas e distribuídas

O desenvolvimento actual de aplicações paralelas com processamento intensivo (HPC - High Performance Computing) para alojamento em computadores organizados em Cluster baseia-se muito no modelo de passagem de mensagens, do qual é de realçar os esforços de definição de standards, por exemplo, MPI - Message - Passing Interface. Por outro lado, com a generalização do paradigma de programação orientado aos objectos para ambientes distribuídos (Java RMI, .NET Remoting), existe a possibilidade de considerar que a execução de uma aplicação, de processamento paralelo e intensivo, pode ser decomposta em vários fluxos de execução paralela, em que cada fluxo é constituído por uma ou mais tarefas executadas no contexto de objectos distribuídos. Normalmente, em ambientes baseados em objectos distribuídos, a especificação, controlo e sincronização dos vários fluxos de execução paralela, é realizada de forma explicita e codificada num programa principal (hard-coded), dificultando possíveis e necessárias modificações posteriores. No entanto, existem, neste contexto, trabalhos que propõem uma abordagem de decomposição, seguindo o paradigma de workflow com interacções entre as tarefas por, entre outras, data-flow, control-flow, finite - state - machine. Este trabalho consistiu em propor e explorar um modelo de execução, sincronização e controlo de múltiplas tarefas, que permita de forma flexível desenhar aplicações de processamento intensivo, tirando partido da execução paralela de tarefas em diferentes máquinas. O modelo proposto e consequente implementação, num protótipo experimental, permite: especificar aplicações usando fluxos de execução; submeter fluxos para execução e controlar e monitorizar a execução desses fluxos. As tarefas envolvidas nos fluxos de execução podem executar-se num conjunto de recursos distribuídos. As principais características a realçar no modelo proposto, são a expansibilidade e o desacoplamento entre as diferentes componentes envolvidas na execução dos fluxos de execução. São ainda descritos casos de teste que permitiram validar o modelo e o protótipo implementado. Tendo consciência da necessidade de continuar no futuro esta linha de investigação, este trabalho é um contributo para demonstrar que o paradigma de workflow é adequado para expressar e executar, de forma paralela e distribuída, aplicações complexas de processamento intensivo.

Cultura de (não) participação das crianças em contexto escolar

A análise da participação das crianças e suas articulações com as instituições para a infância, especialmente a escola, é actualmente um dos temas mais expressivos nos estudos educacionais e sociológicos da infância (Sarmento, 2005). Pese embora a sua complexidade, torna-se cada vez mais urgente e necessário ouvir as crianças relativamente à sua acção e agência no espaço social onde passam mais tempo: a escola. Esta urgência advém da mudança de uma perspectiva paradigmática que considerava as crianças como objectos de intervenção, sem acção política, para uma perspectiva paradigmática que considera as crianças como actores sociais com direitos, nomeadamente os que estão consagrados na Convenção dos Direitos da Criança (1989), nomeadamente o artigo 12 (direito de expressão), o artigo 13 (direito de informar e ser informado) e o artigo 15 (direito de associação). Este texto apresenta um trabalho de investigação com carácter exploratório desenvolvido em seis agrupamentos de Escolas da área metropolitana de Lisboa, alguns dos quais com programa TEIP, e tem como objectivo central fazer algumas reflexões, ainda que provisórias, sobre a (não) participação das crianças em contexto escolar. Para o efeito, analisamos os discursos de vários actores: crianças, directores, professores, assistentes operacionais, associação de pais, animadores e mediadores socioculturais, sobre a participação das crianças: concepções, representações e acções. O trabalho empírico foi desenvolvido em contexto escolar, de forma a contribuir para a desconstrução da ideia de que "as escolas são os mundos dos professores nos quais as crianças são hóspedes temporários" (Cullingford, 1991 cit in Wyness, 1999, p.356).

Avaliação da força de preensão em indivíduos expostos e não expostos a actividade manual específica (repetitividade e exposição ao frio): estudo comparativo

A função básica da mão humana consiste na preensão dos vários objectos em todas as actividades quotidianas, incluindo a actividade laboral. Esta é grandemente influenciada pela força e pela destreza manuais. O objectivo geral deste estudo foi comparar a força de preensão global da mão em trabalhadores com actividade laboral de características especificamente manuais em relação à população sem actividade manual específica. Considerámos pertinente a realização deste estudo como contributo para a avaliação das alterações da força de preensão da mão com repercussões ao nível da sua funcionalidade. O estudo realizado é do tipo descritivo, quase experimental e de desenho transversal. Para o efeito, seleccionou-se por conveniência uma amostra de 125 participantes dos quais 50 formaram o Grupo de Estudo, tratando-se de trabalhadores que utilizam instrumentos manuais de corte e que se encontram expostos a desenvolver tarefas repetitivas em ambiente frio. Os restantes 75 participantes formaram o Grupo de Controlo não expostos às condições referidas.

Autenticação de vídeo H.264/AVC

Hoje em dia, há cada vez mais informação audiovisual e as transmissões ou ficheiros multimédia podem ser partilhadas com facilidade e eficiência. No entanto, a adulteração de conteúdos vídeo, como informação financeira, notícias ou sessões de videoconferência utilizadas num tribunal, pode ter graves consequências devido à importância desse tipo de informação. Surge então, a necessidade de assegurar a autenticidade e a integridade da informação audiovisual. Nesta dissertação é proposto um sistema de autenticação de vídeo H.264/Advanced Video Coding (AVC), denominado Autenticação de Fluxos utilizando Projecções Aleatórias (AFPA), cujos procedimentos de autenticação, são realizados ao nível de cada imagem do vídeo. Este esquema permite um tipo de autenticação mais flexível, pois permite definir um limite máximo de modificações entre duas imagens. Para efectuar autenticação é utilizada uma nova técnica de autenticação de imagens, que combina a utilização de projecções aleatórias com um mecanismo de correcção de erros nos dados. Assim é possível autenticar cada imagem do vídeo, com um conjunto reduzido de bits de paridade da respectiva projecção aleatória. Como a informação de vídeo é tipicamente, transportada por protocolos não fiáveis pode sofrer perdas de pacotes. De forma a reduzir o efeito das perdas de pacotes, na qualidade do vídeo e na taxa de autenticação, é utilizada Unequal Error Protection (UEP). Para validação e comparação dos resultados implementou-se um sistema clássico que autentica fluxos de vídeo de forma típica, ou seja, recorrendo a assinaturas digitais e códigos de hash. Ambos os esquemas foram avaliados, relativamente ao overhead introduzido e da taxa de autenticação. Os resultados mostram que o sistema AFPA, utilizando um vídeo com qualidade elevada, reduz o overhead de autenticação em quatro vezes relativamente ao esquema que utiliza assinaturas digitais e códigos de hash.

Arte & efeitos: sobre a questão de a arte ter efeitos: uma teoria pornográfica da arte?

Neste texto, apresenta-se a tese de que a arte não tem nem deve ter efeitos determinados, nomeadamente de índole ética. Na sequência desta tese, discute-se então que modo de relação podemos ter com os objectos de arte, qual a sua justificação e de que modo se constituem como arte.

Classificação semântica de imagens com k-NN e RN

Um dos maiores desafios tecnológicos no presente é o de se conseguir gerar e manter, de uma maneira eficiente e consistente, uma base de dados de objectos multimédia, em particular, de imagens. A necessidade de desenvolver métodos de pesquisa automáticos baseados no conteúdo semântico das imagens tornou-se de máxima importância. MPEG-7 é um standard que descreve o contudo dos dados multimédia que suportam estes requisitos operacionais. Adiciona um conjunto de descritores audiovisuais de baixo nível. O histograma é a característica mais utilizada para representar as características globais de uma imagem. Neste trabalho é usado o “Edge Histogram Descriptor” (EHD), que resulta numa representação de baixo nível que permite a computação da similaridade entre imagens. Neste trabalho, é obtida uma caracterização semântica da imagem baseada neste descritor usando dois métodos da classificação: o algoritmo k Nearest Neighbors (k-NN) e uma Rede Neuronal (RN) de retro propagação. No algoritmo k-NN é usada a distância Euclidiana entre os descritores de duas imagens para calcular a similaridade entre imagens diferentes. A RN requer um processo de aprendizagem prévia, que inclui responder correctamente às amostras do treino e às amostras de teste. No fim deste trabalho, será apresentado um estudo sobre os resultados dos dois métodos da classificação.

Formação combinada: reutilizando learning objects

O uso crescente da Internet (World Wide Web), e das suas potencialidades tecnológicas têm contribuído para uma proliferação de ambientes de ensino/aprendizagem, baseados em Tecnologia. A comunidade científica reúne consenso quanto às vantagens da reutilização de conteúdos de aprendizagem e à adopção de standards com vista à interoperabilidade entre conteúdos/objectos partilháveis e plataformas. Este artigo tem como objectivo reflectir sobre o desenvolvimento de uma metodologia de ensino combinada de aprendizagem com recurso a Learning Objects, no âmbito do trabalho de doutoramento.

Dinamização de mediadores de seguros

Orientado por: Professor Doutor Eduardo Sá e Silva Co-Orientado por: Professor Doutor José Pedro T. Fernandes Júri Presidente: Professora Doutora Cristina Melo Vogais: Professora Doutora Paula Odete Fernandes Professor Doutor Eduardo Sá e Silva Professor Doutor José Pedro T. Fernandes

Comunidades de prática: factores críticos de sucesso para a inovação e a partilha de conhecimento

As comunidades de prática constituem um espaço privilegiado de interacção entre os seus membros, promovendo a aprendizagem e a partilha de conhecimento. Sendo esta última uma condição crítica de sucesso para a promoção da inovação, revela-se, pois, crucial, compreender os factores organizacionais que poderão condicionar esta partilha, inibindo-a ou potenciando-a. Assim, nesta comunicação começa-se por evidenciar a evolução do conceito de comunidade de prática (CdP), o seu modo de funcionamento e as suas características, dando-se algum enfoque às comunidades mediadas através de dispositivos electrónicos – as e-CdP ou comunidades digitais. Segue-se a descrição de alguns dos factores que podem condicionar a partilha de conhecimento. Apresentam-se, também, os benefícios e os inconvenientes das CdP para as organizações, bem como algumas recomendações para que estas possam usufruir do potencial relacionado com aquelas comunidades no sentido de promoverem o respectivo sucesso e a inovação.