Detecting and resolving redundancies in EP3P policies

Current regulatory requirements on data privacy make it increasingly important for enterprises to be able to verify and audit their compliance with their privacy policies. Traditionally, a privacy policy is written in a natural language. Such policies inherit the potential ambiguity, inconsistency and mis-interpretation of natural text. Hence, formal languages are emerging to allow a precise specification of enforceable privacy policies that can be verified. The EP3P language is one such formal language. An EP3P privacy policy of an enterprise consists of many rules. Given the semantics of the language, there may exist some rules in the ruleset which can never be used, these rules are referred to as redundant rules. Redundancies adversely affect privacy policies in several ways. Firstly, redundant rules reduce the efficiency of operations on privacy policies. Secondly, they may misdirect the policy auditor when determining the outcome of a policy. Therefore, in order to address these deficiencies it is important to identify and resolve redundancies. This thesis introduces the concept of minimal privacy policy - a policy that is free of redundancy. The essential component for maintaining the minimality of privacy policies is to determine the effects of the rules on each other. Hence, redundancy detection and resolution frameworks are proposed. Pair-wise redundancy detection is the central concept in these frameworks and it suggests a pair-wise comparison of the rules in order to detect redundancies. In addition, the thesis introduces a policy management tool that assists policy auditors in performing several operations on an EP3P privacy policy while maintaining its minimality. Formal results comparing alternative notions of redundancy, and how this would affect the tool, are also presented.

Motorização de fármacos na água bruta e na água para consumo humano por cromatolografia líquida de ultra eficiência associada à espectrometria de massa tandem

Tese de doutoramento, Farmácia (Bromatologia), Universidade de Lisboa, Faculdade de Farmácia, 2014

Avaliação de riscos e desenvolvimento de equipamento anti-queda para acesso vertical a espaços confinados

Na fábrica da EPAL, em Vale da Pedra, o risco de queda em altura no acesso vertical a espaços confinados, foi avaliado como sendo aceitável mediante a adoção de medidas de controlo que não existiam, ou que não eram adequadas, ou ainda que não eram utilizadas. Para responder a este problema, foi concebido, desenvolvido e ensaiado um inovador dispositivo portátil anti-queda. Este previne a queda no acesso entre o pavimento e os primeiros degraus de aberturas verticais conducentes a espaços confinados. Além da função preventiva, também pode fazer parte da proteção anti-queda, como ponto de ancoragem dos equipamentos de proteção contra quedas. Os ensaios realizados revelaram que, em comparação com as alternativas pré-fabricadas disponíveis, esta solução é mais adequada para prevenir quedas, por se adaptar a múltiplas configurações de acesso, com um dispositivo relativamente leve, fácil de transportar e de aplicar, estável e resistente. / In EPAL factory in Vale da Pedra, the risk of falling from a height in the vertical access to confined spaces, was evaluated as being acceptable by the adoption of control measures that did not exist, or were not suitable, or were not used. To respond to this problem, an innovative portable anti-falling device was designed, developed and tested. This prevents falling in access between the ground and the first steps of vertical openings leading to confined spaces. In addition to the preventive function, it can also be part of the fall-arrest protection, as anchor point of fall protection equipment. The tests revealed that, in comparison with the prefabricated alternatives available, this solution is best suited to prevent falls, due to its adaptability to multiple access settings, with a relatively light device, easy to carry and to use, stable and resistant.

Integração de componentes sociais em ePortfolios: aplicação ao eGuided

A aprendizagem e consolidação do conhecimento fora da sala de aulas é uma tarefa cada vez mais importante e necessária no dia-a-dia, úteis para aprofundar conhecimentos, desenvolver capacidades complementares ou obter melhores resultados. Neste sentido, a adoção de ferramentas que integrem diversas abordagens como o eLearning, ePAL e ePortfolio, revelam ser uma mais-valia para auxiliar nesta tarefa. Foi com base na integração destes conceitos e abordagens que surgiu a plataforma eGuided, passando a disponibilizar um conjunto de ferramentas específicas para promover e incentivar a aprendizagem dos alunos, assim como o desenvolvimento de determinadas competências e capacidades a vários níveis. De um modo geral, esta plataforma permite disponibilizar informações dos utilizadores relacionadas com o seu percurso académico e profissional, assim como informação pessoal. Por sua vez, estas informações são organizadas de forma a, entre outras coisas, (i) ser possível mostrar a evolução do aluno nos vários níveis; (ii) determinar a abordagem mais adequada para potenciar a aprendizagem do aluno, tendo em conta as suas características; (iii) encontrar pessoas com determinadas características ou capacidades pessoais, profissionais ou académicas. No entanto, ao longo do funcionamento do eGuided tornou-se notória a falta de interação entre os seus membros, que revelaram sentir-se isolados na utilização da mesma. Daí a proposta desta dissertação de mestrado que visa estender a plataforma através da integração de novas funcionalidades características das redes sociais, que a tornassem participativa e promovesse a partilha efetiva e flexível de informação, experiências e conhecimento entre os seus utilizadores. A ideia é promover a utilização de um meio comum e complementar à aprendizagem, que estimule a cooperação entre os membros, dando visibilidade às suas capacidades e competências e, ao mesmo tempo, estabeleça uma ponte entre os alunos e os potenciais empregadores.