SAFE: A Declarative Trust-Agile System with Linked Credentials

Secure Access For Everyone (SAFE), is an integrated system for managing trust

using a logic-based declarative language. Logical trust systems authorize each

request by constructing a proof from a context---a set of authenticated logic

statements representing credentials and policies issued by various principals

in a networked system. A key barrier to practical use of logical trust systems

is the problem of managing proof contexts: identifying, validating, and

assembling the credentials and policies that are relevant to each trust

decision.

SAFE addresses this challenge by (i) proposing a distributed authenticated data

repository for storing the credentials and policies; (ii) introducing a

programmable credential discovery and assembly layer that generates the

appropriate tailored context for a given request. The authenticated data

repository is built upon a scalable key-value store with its contents named by

secure identifiers and certified by the issuing principal. The SAFE language

provides scripting primitives to generate and organize logic sets representing

credentials and policies, materialize the logic sets as certificates, and link

them to reflect delegation patterns in the application. The authorizer fetches

the logic sets on demand, then validates and caches them locally for further

use. Upon each request, the authorizer constructs the tailored proof context

and provides it to the SAFE inference for certified validation.

Delegation-driven credential linking with certified data distribution provides

flexible and dynamic policy control enabling security and trust infrastructure

to be agile, while addressing the perennial problems related to today's

certificate infrastructure: automated credential discovery, scalable

revocation, and issuing credentials without relying on centralized authority.

We envision SAFE as a new foundation for building secure network systems. We

used SAFE to build secure services based on case studies drawn from practice:

(i) a secure name service resolver similar to DNS that resolves a name across

multi-domain federated systems; (ii) a secure proxy shim to delegate access

control decisions in a key-value store; (iii) an authorization module for a

networked infrastructure-as-a-service system with a federated trust structure

(NSF GENI initiative); and (iv) a secure cooperative data analytics service

that adheres to individual secrecy constraints while disclosing the data. We

present empirical evaluation based on these case studies and demonstrate that

SAFE supports a wide range of applications with low overhead.

Acreditação do Laboratório de Metrologia da Frilabo para Ensaios e Calibrações em Temperaturas

O trabalho desenvolvido centrou-se na preparação da acreditação NP EN ISO/IEC 17025 do Laboratório de Metrologia da empresa Frilabo para prestação de serviços na área das temperaturas, no ensaio a câmaras térmicas e na calibração de termómetros industriais. Considerando o âmbito do trabalho desenvolvido, são abordados nesta tese conceitos teóricos sobre temperatura e incertezas bem como considerações técnicas de medição da temperatura e cálculo de incertezas. São também referidas considerações sobre os diferentes tipos de câmaras térmicas e termómetros. O texto apresenta os documentos elaborados pelo autor sobre os procedimentos de ensaio a câmaras térmicas e respetivo procedimento de cálculo da incerteza. Também estão presentes neste texto documentos elaborados pelo autor sobre os procedimentos de calibração de termómetros industriais e respetivo procedimento de cálculo da incerteza. Relativamente aos ensaios a câmara térmicas e calibração de termómetros o autor elaborou os fluxogramas sobre a metodologia da medição da temperatura nos ensaios, a metodologia de medição da temperatura nas calibrações, e respetivos cálculos de incertezas. Nos diferentes anexos estão apresentados vários documentos tais como o modelo de folha de cálculo para tratamento de dados relativos ao ensaio, modelo de folha de cálculo para tratamento de dados relativo às calibrações, modelo de relatório de ensaio, modelo de certificado de calibração, folhas de cálculo para gestão de clientes/equipamentos e numeração automática de relatórios de ensaio e certificados de calibração que cumprem os requisitos de gestão do laboratório. Ainda em anexo constam todas as figuras relativas à monitorização da temperatura nas câmara térmicas como também as figuras da disposição dos termómetros no interior das câmaras térmicas. Todas as figuras que aparecem ao longo do documento que não estão referenciadas são da adaptação ou elaboração própria do autor. A decisão de alargar o âmbito da acreditação do Laboratório de Metrologia da Frilabo para calibração de termómetros, prendeu-se com o facto de que sendo acreditado como laboratório de ensaios na área das temperaturas, a realização da rastreabilidade dos padrões de medida internamente, permitiria uma gestão de recursos otimizada e rentabilizada. A metodologia da preparação de todo o processo de acreditação do Laboratório de Metrologia da Frilabo, foi desenvolvida pelo autor e está expressa ao longo do texto da tese incluindo dados relevantes para a concretização da referida acreditação nos dois âmbitos. A avaliação de todo o trabalho desenvolvido será efetuada pelo o organismo designado IPAC (Instituto Português de Acreditação) que confere a acreditação em Portugal. Este organismo irá auditar a empresa com base nos procedimentos desenvolvidos e nos resultados obtidos, sendo destes o mais importante o Balanço da Melhor Incerteza (BMI) da medição também conhecido por Melhor Capacidade de Medição (MCM), quer para o ensaio às câmaras térmicas, quer para a calibração dos termómetros, permitindo desta forma complementar os serviços prestados aos clientes fidelizados à Frilabo. As câmaras térmicas e os termómetros industriais são equipamentos amplamente utilizados em diversos segmentos industriais, engenharia, medicina, ensino e também nas instituições de investigação, sendo um dos objetivos respetivamente, a simulação de condições específicas controladas e a medição de temperatura. Para entidades acreditadas, como os laboratórios, torna-se primordial que as medições realizadas com e nestes tipos de equipamentos ostentem confiabilidade metrológica1, uma vez que, resultados das medições inadequados podem levar a conclusões equivocadas sobre os testes realizados. Os resultados obtidos nos ensaios a câmaras térmicas e nas calibrações de termómetros, são considerados bons e aceitáveis, uma vez que as melhores incertezas obtidas, podem ser comparadas, através de consulta pública do Anexo Técnico do IPAC, com as incertezas de outros laboratórios acreditados em Portugal. Numa abordagem mais experimental, pode dizer-se que no ensaio a câmaras térmicas a obtenção de incertezas mais baixas ou mais altas depende maioritariamente do comportamento, características e estado de conservação das câmaras, tornando relevante o processo de estabilização da temperatura no interior das mesmas. A maioria das fontes de incerteza na calibração dos termómetros são obtidas pelas características e especificações do fabricante dos equipamentos, que se traduzem por uma contribuição com o mesmo peso para o cálculo da incerteza expandida (a exatidão de fabricante, as incertezas herdadas de certificados de calibração, da estabilidade e da uniformidade do meio térmico onde se efetuam as calibrações). Na calibração dos termómetros as incertezas mais baixas obtêm-se para termómetros de resoluções mais baixas. Verificou-se que os termómetros com resolução de 1ºC não detetavam as variações do banho térmico. Nos termómetros com resoluções inferiores, o peso da contribuição da dispersão de leituras no cálculo da incerteza, pode variar consoante as características do termómetro. Por exemplo os termómetros com resolução de 0,1ºC, apresentaram o maior peso na contribuição da componente da dispersão de leituras. Pode concluir-se que a acreditação de um laboratório é um processo que não é de todo fácil. Podem salientar-se aspetos que podem comprometer a acreditação, como por exemplo a má seleção do ou dos técnicos e equipamentos (má formação do técnico, equipamento que não seja por exemplo adequado à gama, mal calibrado, etc…) que vão efetuar as medições. Se não for bem feita, vai comprometer todo o processo nos passos seguintes. Deve haver também o envolvimento do todos os intervenientes do laboratório, o gestor da qualidade, o responsável técnico e os técnicos, só assim é que é possível chegar à qualidade pretendida e à melhoria contínua da acreditação do laboratório. Outro aspeto importante na preparação de uma acreditação de um laboratório é a pesquisa de documentação necessária e adequada para poder tomar decisões corretas na elaboração dos procedimentos conducentes à referida. O laboratório tem de mostrar/comprovar através de registos a sua competência. Finalmente pode dizer-se que competência é a palavra chave de uma acreditação, pois ela manifesta-se nas pessoas, equipamentos, métodos, instalações e outros aspetos da instituição a que pertence o laboratório sob acreditação.

Reaccreditation ceremony of the career of Library and Documentation of the National University

This section presents information on the delivery ceremony of the official certificate of reaccreditation, by the SINAES, to the career of Diploma, Bachelor (with the following two emphases: Information Management, Information Technology and Communication) and Bachelor of Library and Documentation, held last March 3, 2011. It includes some of the speeches delivered that night, and several photographs illustrating such an important event for both the School of Library and to the university community.

Recursos humanos e gestão da qualidade: "estudos de caso" em instituições particulares de solidariedade social no Concelho de Estremoz

Neste trabalho discute-se a relevância da performance nas Instituições de Solidariedade Social, com especial incidência a Gestão de Recursos Humanos, e a implementação da Gestão da Qualidade Total, na medida que se multiplicam as exigências em torno da eficiência, quantidade e qualidade dos serviços, e uma maior flexibilidade para assegurar a competitividade a nível nacional. A Gestão Estratégica de Recursos Humanos é a resposta possível e sustentada, de colocar os colaboradores no centro das Instituições, apelando à autonomia, criatividade, talento, estímulos, aspirações individuais e cooperativas, e considerar que são os colaboradores que fazem o sucesso das Instituições. Com este trabalho pretende-se chamar a atenção para a importância da GRH dentro das Instituições de Solidariedade Social, fazendo um diagnóstico da laboração na área de recursos humanos e propondo um plano de intervenção/reorganização destes mesmos serviços. Este trabalho de Dissertação segue a metodologia de três estudos de caso cuja recolha de dados foi realizada, tendo por base diversas fontes: análise documental, observação direta, questionário. Verificamos que as Instituições, objetos de estudo revelam poucos conhecimentos a nível da gestão de recursos humanos, e no que concerne à gestão da qualidade, duas das intuições não tem qualquer conhecimento, apenas a Cerciestemoz trabalha em prol da qualidade uma vez que é, uma Instituição já com vários certificados de qualidade. Face ao estudo empírico realizado constatamos que existe alguma dificuldade em prevalecer a gestão de recursos humanos e a gestão da qualidade, porque terão que estar inseridas as políticas de Gestão Recursos Humanos para que os colaboradores se sintam mais motivados e responsáveis pelas funções que desempenham, o que não é visível neste momento; ABSTRACT: This research discusses the relevance of performance in social solidarity institutions, with a focus on Human Resource Management, and the implementation of Total Quality Management, to the extent that multiply the requirements around efficiency, quantity and quality of services and greater flexibility to ensure competitiveness at national level. The Strategic Human Resource Management is possible and sustained response, placing employees at the center of the institutions, calling for autonomy, creativity, talent, stimuli, individual aspirations and cooperative skills, and consider that it is the employees that make the success of the institutions. This work is intended to draw attention to the importance of HRM in the institutions of social solidarity, making a diagnosis of laboring in the area of human resources and proposing an action plan / reorganization of these same services. This Master's work follows the methodology of three case studies in which data collection was carried out, based on several sources: document analysis, direct observation, questionnaire. We found that the institutions, objects of study reveal little knowledge in the management of human resources, and with regard to quality management, two of intuitions do not have any knowledge, only Cerciestemoz works for the quality since it is a institution already with several quality certificates. Given the empirical study found that there is some difficulty prevail human resource management and quality management, they will have to be inserted the policies of Human Resources Management for employees and feel more motivated and responsible for the functions they perform, the which is not visible at this time.

Georg Breidenstein: Zeugnisnotenbesprechung. Zur Analyse der Praxis schulischer Leistungsbewertung. Opladen / Berlin / Toronto: Barbara Budrich 2012 (101 S.) [Rezension]

Rezension von: Georg Breidenstein: Zeugnisnotenbesprechung. Zur Analyse der Praxis schulischer Leistungsbewertung. Opladen / Berlin / Toronto: Barbara Budrich 2012 (101 S.; ISBN 978-3-86649-466-4)

Satisfação Laboral e Compromisso Organizacional

O projeto realizou-se num contexto onde as organizações mantêm os funcionários conectados, motivados, e satisfeitos pessoal e profissionalmente, onde em companhia dos seus líderes, marcham em busca da tão desejada progressão organizacional, maximizando o lucro e minimizando os custos continuamente. Por este motivo, decidiu-se elaborar o projeto, cujo objetivo é avaliar/examinar duas variáveis, a Satisfação Laboral e o Compromisso Organizacional, destacando uma possível associação entre ambas. O universo em análise é a população da empresa angolana no sector da informação, empresa integrada no mercado angolano, cujo objeto de trabalho passa por recolher, tratar e distribuir a informação, nacional e internacionalmente. A mesma teve a amabilidade que disponibilizar os seus 172 colaboradores como amostra para fazer parte deste projeto. Para o estudo foram utilizadas metodologias quantitativas, aplicando-se dois questionários. O primeiro, de Warr, Cook e Wall referente a Satisfação Laboral, e o segundo, de Allen Meyer, refere-se ao Compromisso Organizacional, ambos previamente aprovados/certificados, e utilizados anteriormente com as referidas variáveis. Relativamente aos resultados, observou-se a existência de um impacto significativo entre a variável Satisfação Laboral e a variável Compromisso Organizacional; tento a primeira uma influência positiva sobre a segunda. Os resultados do estudo concluíram que os valores provenientes da correlação de Pearson (Tabela) demonstram o esperado, isto é, existe uma associação positiva com intensidade moderada, fortes e muito fortes (0.60 a 0.97) entre a variável Satisfação laboral Compromisso laboral.

Impacte da nova regulamentação na certificação energética de edifícios

Dissertação de Mestrado, Engenharia Civil, Especialização em Construção, Instituto Superior de Engenharia, Universidade do Algarve, 2016

Optimización financiera de portafolios de inversión en la Bolsa de Valores de Colombia mediante el uso de RGOP

La Bolsa de Valores de Colombia (BVC) ha tenido un impacto reducido en la población colombiana sobre todo debido a la falta de educación financiera y a múltiples casos de corrupción que han opacado su rol en la sociedad -- En general, los colombianos ven con incertidumbre, desconfianza y escepticismo las ventajas de invertir en la bolsa tales como obtener rendimientos superiores que las de las inversiones tradicionales, seguridad en las transacciones y disponibilidad del dinero cuando se requiera, lo que desencadena inversiones en métodos más tradicionales, como los CDT (certificado de depósito a término), con muy bajas tasas de rendimiento, o en negocios que representan altos riesgos -- Dicho comportamiento ha generado que muchas de las inversiones que realiza una persona promedio en Colombia no vayan más allá de productos financieros conocidos, negocios familiares o tradicionales, pirámides o multiniveles que entorpecen el sistema financiero -- Una de las principales barreras encontradas al momento de invertir en la Bolsa de Valores de Colombia son creencias populares tales como: a) es obligatorio tener grandes capitales de dinero, o b) es necesario un conocimiento financiero especializado para invertir -- También resulta incierto para muchos usuarios en cuáles acciones convendría invertir una vez desmitificadas las anteriores creencias -- Para mitigar algunos de dichos inconvenientes, el estudio de portafolios de inversión propone como estrategia principal la diversificación de la inversión y la limitación del riesgo con el fin de crear portafolios altamente eficientes en términos financieros -- Si bien existen múltiples técnicas para la creación y la optimización de portafolios de inversión (por ejemplo: growth optimal portfolio), su uso en Colombia es limitado debido en lo primordial a que es una metodología reciente y a que su implementación no suele ser trivial, puesto que requiere el uso de múltiples herramientas computacionales para ser puesto en práctica -- El presente trabajo de grado presenta la implementación de un algoritmo de optimización robusto, en el sentido de las distribuciones de probabilidad requeridas, llamado portafolio óptimo de crecimiento robusto (robust growth optimal portfolio o RGOP) para acciones de la Bolsa de Valores de Colombia -- Se escogieron varios portafolios al tener en cuenta tres criterios de inclusión para las acciones y se simularon tres escenarios y una suposición con el fin de demostrar la eficacia del algoritmo para minimizar el riesgo de inversión y maximizar la tasa de crecimiento en unos horizontes de tiempo predefinidos -- En último lugar se compararon las rentabilidades de los diferentes portafolios propuestos con las tasas de captación de CDT y CDA (certificados de depósito de ahorro) de bancos populares en Colombia -- La implementación del algoritmo se realizó en la plataforma Matlab y se acudió a varias bibliotecas de modelamiento matemático -- Sin tener en cuentas los costos de transacciones por compra y venta de acciones, los resultados muestran que mientras el sector financiero ofrecía a través de los CDT inferiores de 180 días un promedio de 4.80% de rentabilidad, en un período similar el RGOP arrojaba en promedio 11.83% en los portafolios de inversión de los tres escenarios, es decir, la metodología propuesta ofreció rendimientos superiores a las ofertas de los bancos en 147% para los períodos simulados -- En conclusión, todos los escenarios analizados presentaron mejores rendimientos en la simulación que los rendimientos ofrecidos por los bancos durante el mismo período; se les dio mayor ponderación a las acciones que presentaron tasas de crecimiento mayores de tal forma que se minimizaran los riesgos implícitos de invertir en bolsa -- El RGOP mostró ser una técnica robusta para su uso con acciones de la Bolsa de Valores de Colombia porque ofreció una sólida combinación entre retorno y riesgo para futuros inversionistas

SECURITY, PRIVACY AND APPLICATIONS IN VEHICULAR AD HOC NETWORKS

With wireless vehicular communications, Vehicular Ad Hoc Networks (VANETs) enable numerous applications to enhance traffic safety, traffic efficiency, and driving experience. However, VANETs also impose severe security and privacy challenges which need to be thoroughly investigated. In this dissertation, we enhance the security, privacy, and applications of VANETs, by 1) designing application-driven security and privacy solutions for VANETs, and 2) designing appealing VANET applications with proper security and privacy assurance. First, the security and privacy challenges of VANETs with most application significance are identified and thoroughly investigated. With both theoretical novelty and realistic considerations, these security and privacy schemes are especially appealing to VANETs. Specifically, multi-hop communications in VANETs suffer from packet dropping, packet tampering, and communication failures which have not been satisfyingly tackled in literature. Thus, a lightweight reliable and faithful data packet relaying framework (LEAPER) is proposed to ensure reliable and trustworthy multi-hop communications by enhancing the cooperation of neighboring nodes. Message verification, including both content and signature verification, generally is computation-extensive and incurs severe scalability issues to each node. The resource-aware message verification (RAMV) scheme is proposed to ensure resource-aware, secure, and application-friendly message verification in VANETs. On the other hand, to make VANETs acceptable to the privacy-sensitive users, the identity and location privacy of each node should be properly protected. To this end, a joint privacy and reputation assurance (JPRA) scheme is proposed to synergistically support privacy protection and reputation management by reconciling their inherent conflicting requirements. Besides, the privacy implications of short-time certificates are thoroughly investigated in a short-time certificates-based privacy protection (STCP2) scheme, to make privacy protection in VANETs feasible with short-time certificates. Secondly, three novel solutions, namely VANET-based ambient ad dissemination (VAAD), general-purpose automatic survey (GPAS), and VehicleView, are proposed to support the appealing value-added applications based on VANETs. These solutions all follow practical application models, and an incentive-centered architecture is proposed for each solution to balance the conflicting requirements of the involved entities. Besides, the critical security and privacy challenges of these applications are investigated and addressed with novel solutions. Thus, with proper security and privacy assurance, these solutions show great application significance and economic potentials to VANETs. Thus, by enhancing the security, privacy, and applications of VANETs, this dissertation fills the gap between the existing theoretic research and the realistic implementation of VANETs, facilitating the realistic deployment of VANETs.