Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec

Building secure systems is difficult for many reasons. This paper deals with two of the main challenges: (i) the lack of security expertise in development teams, and (ii) the inadequacy of existing methodologies to support developers who are not security experts. The security standard ISO 14508 (Common Criteria) together with secure design techniques such as UMLsec can provide the security expertise, knowledge, and guidelines that are needed. However, security expertise and guidelines are not stated explicitly in the Common Criteria. They are rather phrased in security domain terminology and difficult to understand for developers. This means that some general security and secure design expertise are required to fully take advantage of the Common Criteria and UMLsec. In addition, there is the problem of tracing security requirements and objectives into solution design,which is needed for proof of requirements fulfilment. This paper describes a security requirements engineering methodology called SecReq. SecReq combines three techniques: the Common Criteria, the heuristic requirements editorHeRA, andUMLsec. SecReqmakes systematic use of the security engineering knowledge contained in the Common Criteria and UMLsec, as well as security-related heuristics in the HeRA tool. The integrated SecReq method supports early detection of security-related issues (HeRA), their systematic refinement guided by the Common Criteria, and the ability to trace security requirements into UML design models. A feedback loop helps reusing experiencewithin SecReq and turns the approach into an iterative process for the secure system life-cycle, also in the presence of system evolution.

Propuesta de normalización bibliográfica para la creación de metadatos basados en Dublin Core en los Repositorios Universitarios del proyecto 3R

El proyecto de 3R-Red de Repositorios Universitarios de Recursos Digitales es un trabajo de investigación orientado a desarrollar un prototipo de Repositorios Universitarios (RU) dentro de la UNAM. Parte de su trabajo se centra en la elaboración de políticas de descripción bibliográfica para aquellos objetos digitales que conforman los RU adscritos al proyecto. Actualmente esta labor ha consistido en el análisis y valoración de la Iniciativa de Metadatos Dublin Core (DCMI por sus siglas en inglés), en tanto que es un protocolo de transferencia de metadatos adecuado a los requerimientos de 3R. Sin embargo, dada la ambigüedad que DCMI presenta al momento de asentar información en algunos de sus elementos —tales como título, creador, editor y colaborador—, se previó la necesidad de utilizar esquemas alternos que coadyuven a la consignación y normalización de la información sobre los objetos digitales que conforman los RU. Por lo tanto, el presente trabajo aborda de manera concreta el problema de la descripción bibliográfica y de información en los quince elementos que componen el núcleo de Dublin Core, en paticular cuatro de ellos, al tiempo que propone la utilización de esquemas de codificación alternos para la descripción bibliográfica, como es el caso de las Reglas de Catalogación Angloamericanas 2a. edición (RCA2) y diferentes normas ISO, con el fin de obtener un cuerpo de metadatos que permita la recuperación y el intercambio de información entre los distintos Repositorios Universitarios que integran el proyecto de 3R.

Certificação ambiental de campos de golfe - custos e benefícios associados à implementação de sistemas de gestão ambiental

Dissertação mest., Engenharia do Ambiente, Universidade do Algarve, 2009

Qualidade em radiologia: análise da percepção da qualidade e satisfação em dois serviços de radiologia distintos, segundo os utentes da consulta externa

A elaboração deste trabalho deveu-se à necessidade de avaliar a qualidade percebida e a satisfação dos utentes/doentes de dois serviços de Radiologia distintos, sendo um deles certificados pelas normas ISO 9001:2000 e outro não certificado. O principal objectivo consistiu em avaliar o desempenho desses serviços de Radiologia e verificar se, na prática, um serviço com o sistema de gestão da qualidade (SGQ) implementado, se traduzia numa maior qualidade e satisfação dos serviços prestados, na perspectiva dos utentes/doentes. É um estudo quantitativo de natureza comparativa e descritivo-correlacional e a metodologia utilizada teve por base um questionário dirigido aos utentes da Consulta Externa baseado numa escala SERVPERF modificada - um instrumento usado para medir a qualidade dos serviços na perspectiva dos utilizadores, baseado nas dimensões dos atributos da qualidade. Os resultados obtidos não confirmaram as dimensões originais da escala SERVPERF, sendo que a qualidade dos serviços de Radiologia foi explicada com base em 5 de 6 novas dimensões. De relevar que os níveis de percepção da Qualidade e da Satisfação, em termos gerais, dos serviços estudados, apresentam-se mais influenciadas pelos atributos relacionados com a “Atenção personalizada em termos gerais” e com as situações de ausência de “Rigor do Serviço de Radiologia”, nos aspectos formais e informais. Não foram encontradas diferenças significativas nos níveis de percepção entre os dois hospitais pelo que se pode concluir que a implementação de um SGQ, não se traduziu num aumento da qualidade e satisfação dos utentes.

Avaliação da inclusão de EVOCOL em dietas formuladas para juvenis de Linguado (Solea senegalensis, Kaup 1858)

Dissertação de mest., Biologia Marinha, Faculdade de Ciências do Mar e do Ambiente, Univ. do Algarve, 2010

Efeitos da embalagem em ar, sob vácuo e em atmosfera modificada sobre a qualidade de filetes de peixe-porco Balistes capriscus

Dissertação de mest, Tecnologia de Alimentos, Instituto Superior de Engenharia, Univ. do Algarve, 2013

Levantamento e descrição de procedimentos e elaboração de registos na empresa Aquateste

A Aquateste é uma empresa dinâmica e tem como principais vertentes a consultoria, a recolha de amostras e análise de parâmetros de campo na área da Hotelaria e é intermediária entre os seus clientes e laboratórios estrangeiros (Lacoal, SGS Institut Fresenius e ALS Czech Republic - apenas Dioxinas). Diante de um mercado cada vez mais exigente requer portanto, uma maior estruturação da empresa de forma a cumprir com os prazos e qualidade dos serviços esperados pelos seus clientes. Deste modo torna-se obrigatório a implementação de um sistema da qualidade com o objectivo de confirmar o bom funcionamento da empresa, a qualidade no atendimento, a satisfação total e fidelização dos clientes. Embora a Aquateste seja uma empresa que faça algum trabalho de laboratório, ela executa sobretudo trabalho de escritório, por isso, não faria sentido aplicar-se a norma ISO 17025 que é a norma específica para laboratórios mas sim a familia de normas ISO 9000. Este trabalho baseia-se sobretudo na norma ISO 9001:2008 que especifica requisitos para um sistema de gestão da qualidade e tem como objectivo promover a implementação de um sistema documental que se enquadre num sistema de qualidade a implementar na empresa Aquateste. A elaboração dos procedimentos e registos elaborados foram desenvolvidos na empresa Aquateste e foram efectuados com base no estudo e pesquisa de hábitos de trabalho dos funcionários da empresa. Com todas as vantagens verificadas depois da implementação dos procedimentos e registos na empresa, neste momento, são os próprios colaboradores da empresa Aquateste que “exigem” a implementação da ISO 9001:2008.

Relatório profissional

Este relatório profissional foi determinado pelo meu contexto profissional; logo, será referido o meu percurso profissional enquanto técnica superior a exercer funções na Biblioteca Municipal de Faro António Ramos Rosa, desde dezembro de 1999 até à presente data. Procurarei colocar a tónica nos aspetos que mais contribuíram para o meu crescimento profissional, nomeadamente a coordenação do clube de leitura da biblioteca, desde novembro de 2005, e todo o meu trabalho ligado à implementação de certificação da qualidade, com base na norma de referência ISO e na ferramenta CAF, na Biblioteca Municipal. Todos estes aspetos serão alvo de descrição, análise e reflexão e contribuirão, de forma inequívoca, para chegar a algumas conclusões sobre parte do trabalho desenvolvido, ao longo de doze anos, na Biblioteca Municipal de Faro. Por último, este relatório permitir-me-á também fazer a análise crítica dos aspetos que limitaram ou contribuíram para o meu desenvolvimento pessoal e profissional.

Relatório de actividade profissional

O presente relatório foi elaborado de acordo com o estipulado nas Normas apresentadas pelo Conselho Técnico-Científico do Instituto Superior de Engenharia da Universidade do Algarve para a elaboração do Relatório de Atividade Profissional. Pretendeu-se descrever as principais funções da autora na empresa Aviludo, SA, onde tem desenvolvido o seu percurso profissional. Desde 2006 a autora é Responsável da Qualidade e dos Aprovisionamentos e exerce funções em diferentes áreas, nomeadamente no Plano HACCP, Gestão da Qualidade (ISO 9001 e ISO22000), Rastreabilidade, Segurança Alimentar, Rotulagem e Desenvolvimento de Novos Produtos. Neste relatório de atividade profissional são evidenciadas as competências adquiridas através da formação académica, formação complementar e experiência profissional. O percurso profissional evidencia um desenvolvimento dos conhecimentos adquiridos com a licenciatura em Engenharia Alimentar e um alargamento de competências e experiência na área da Rastreabilidade e Segurança Alimentar.

Evaluation of the H.264 scalable video coding in error prone IP networks

The Joint Video Team, composed by the ISO/IEC Moving Picture Experts Group (MPEG) and the ITU-T Video Coding Experts Group (VCEG), has standardized a scalable extension of the H.264/AVC video coding standard called Scalable Video Coding (SVC). H.264/SVC provides scalable video streams which are composed by a base layer and one or more enhancement layers. Enhancement layers may improve the temporal, the spatial or the signal-to-noise ratio resolutions of the content represented by the lower layers. One of the applications, of this standard is related to video transmission in both wired and wireless communication systems, and it is therefore important to analyze in which way packet losses contribute to the degradation of quality, and which mechanisms could be used to improve that quality. This paper provides an analysis and evaluation of H.264/SVC in error prone environments, quantifying the degradation caused by packet losses in the decoded video. It also proposes and analyzes the consequences of QoS-based discarding of packets through different marking solutions.

Validation of a method for the analysis of volatile organic compounds in water

Dissertação de mestrado, Qualidade em Análises, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015

Ist Leichte Sprache ein Konzept verständlichen Textens? Leichte Sprache für Menschen mit geistiger Behinderung

Verwaltungsformulare, Verträge, Gesetzestexte, die Bedienungsanleitung einer Kaffeemaschine oder auch der Beipackzettel eines Medikaments – jeder kennt solche Texte und fast immer gibt es ein Problem mit der Verständlichkeit. Was wollen die jetzt von mir? Was soll ich machen? Das sind Fragen, die am Ende offen bleiben. Der Leser steht hilflos vor kompliziert und unverständlich, meist auch ermüdend geschriebenen Texten. Eigentlich sollte aber jeder diese Texte verstehen können. Um die Benutzerfreundlichkeit und die Qualität einer Bedienungsanleitung gewährleisten zu können, sind in Normen, wie VDI 4500, DIN EN ISO 121000 und DIN EN 62079, Kriterien bzgl. Inhalt, Layout und Beschaffenheit festgelegt. Bei der Verständlichkeit wird quasi am Minimum angesetzt, weil wirklich jeder die Anleitung verstehen soll. Doch was ist mit denen, die die Anleitung zwar verstehen sollen, aber eben nicht können? Menschen mit geistiger Behinderung werden im Alltag mit einer Vielzahl an Texten konfrontiert, die sie nicht verstehen. Der Textinhalt bleibt somit ein nicht zu lösendes Rätsel. Dass Menschen mit geistiger Behinderung ein selbstbestimmtes und selbstständiges Leben führen können, wird so von vornherein ausgeschlossen. Die Möglichkeit durch Kommunikation an der Gesellschaft teilzunehmen, wird weitestgehend unterbunden. Um diesem Ausschluss entgegenzuwirken, muss bei der Verwendung von Sprache und Erstellung von Texten unmittelbar bei dieser Zielgruppe angesetzt werden, so dass Texte und Sprache der vorhandenen Lesekompetenz entsprechend zugänglich werden. Hier setzt das Konzept Leichte Sprache an. Durch Unterstützung und Förderung beim Einsatz von Leichter Sprache sollen Menschen mit geistiger Behinderung schulische und berufliche Fähigkeiten erwerben und erfolgreich am sozialen Leben teilnehmen können. In der folgenden Arbeit wird, um Diskriminierung vorzubeugen, zunächst die Begrifflichkeit "geistige Behinderung" geklärt und deren Verwendung festgelegt. Dann wird das Konzept Leichte Sprache vorgestellt. Grundlagen von Verständlichkeit im Allgemeinen und bezogen auf die möglichen Zielgruppen, u.a. Menschen mit geistiger Behinderung, werden erläutert. Um feststellen zu können, ob eine Eingrenzung von Texten notwendig ist, bei denen Verständlichkeit gefördert bzw. überprüft werden soll, wird zwischen verschiedenen Textsorten abgegrenzt. So kann schließlich im Ergebnis überprüft werden, ob Leichte Sprache ein Konzept verständlichen Textens ist.

Role of β-adrenergic signaling in ovarian cancer cells biology

Tese de mestrado. Biologia (Biologia Evolutiva e do Desenvolvimento). Universidade de Lisboa, Faculdade de Ciências, 2014

Novel particulate antibiotic-loaded platforms as sustained drug delivery systems for bone infection treatment

Tese de doutoramento, Farmácia (Tecnologia Farmacêutica), Universidade de Lisboa, Faculdade de Farmácia, 2015

Characterization of two immunomodulating homogalacturonan pectins from green tea

Two natural homogalacturonan (HG) pectins (MW ca. 20 kDa) were isolated from green tea based on their immunomodulatory activity. The crude tea polysaccharides (TPS1 and TPS2) were obtained from green tea leaves by hot water extraction and followed by 40% and 70% ethanol precipitation, respectively. Two homogenous water soluble polysaccharides (TPS1-2a and TPS1-2b) were obtained from TPS1 after purification with gel permeation, which gave a higher phagocytic effect than TPS2. A combination of composition, methylation and configuration analyses, as well as NMR (nuclear magnetic resonance) spectroscopy revealed that TPS1-2a and TPS1-2b were homogalacturonan (HG) pectins consisting of a backbone of 1,4-linked α-d-galacturonic acid (GalA) residues with 28.4% and 26.1% of carboxyl groups as methyl ester, respectively. The immunological assay results demonstrated that TPS1-2, which consisted mainly of HG pectins, showed phagocytosis-enhancing activity in HL-60 cells.