Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Performance evaluation of routing protocols for MANETs with known connectivity patterns using evolving graphs

The assessment of routing protocols for mobile wireless networks is a difficult task, because of the networks` dynamic behavior and the absence of benchmarks. However, some of these networks, such as intermittent wireless sensors networks, periodic or cyclic networks, and some delay tolerant networks (DTNs), have more predictable dynamics, as the temporal variations in the network topology can be considered as deterministic, which may make them easier to study. Recently, a graph theoretic model-the evolving graphs-was proposed to help capture the dynamic behavior of such networks, in view of the construction of least cost routing and other algorithms. The algorithms and insights obtained through this model are theoretically very efficient and intriguing. However, there is no study about the use of such theoretical results into practical situations. Therefore, the objective of our work is to analyze the applicability of the evolving graph theory in the construction of efficient routing protocols in realistic scenarios. In this paper, we use the NS2 network simulator to first implement an evolving graph based routing protocol, and then to use it as a benchmark when comparing the four major ad hoc routing protocols (AODV, DSR, OLSR and DSDV). Interestingly, our experiments show that evolving graphs have the potential to be an effective and powerful tool in the development and analysis of algorithms for dynamic networks, with predictable dynamics at least. In order to make this model widely applicable, however, some practical issues still have to be addressed and incorporated into the model, like adaptive algorithms. We also discuss such issues in this paper, as a result of our experience.

Towards a Methodology for Coordination Mechanism Selection in Open Systems

Agent-oriented software engineering (AOSE) is a promising approach to developing applications for dynamic open systems. If well developed, these applications can be opportunistic, taking advantage of services implemented by other developers at appropriate times. However, methodologies are needed to aid the development of systems that are both flexible enough to be opportunistic and tightly defined by the application requirements. In this paper, we investigate how developers can choose the coordination mechanisms of agents so that the agents will best fulfil application requirements in an open system.

Volunteered Geographic Information For Water Management: A Prototype Architecture

Driven by Web 2.0 technology and the almost ubiquitous presence of mobile devices, Volunteered Geographic Information (VGI) is knowing an unprecedented growth. These notable technological advancements have opened fruitful perspectives also in the field of water management and protection, raising the demand for a reconsideration of policies which also takes into account the emerging trend of VGI. This research investigates the opportunity of leveraging such technology to involve citizens equipped with common mobile devices (e.g. tablets and smartphones) in a campaign of report of water-related phenomena. The work is carried out in collaboration with ADBPO - Autorità di bacino del fiume Po (Po river basin Authority), i.e. the entity responsible for the environmental planning and protection of the basin of river Po. This is the longest Italian river, spreading over eight among the twenty Italian Regions and characterized by complex environmental issues. To enrich ADBPO official database with user-generated contents, a FOSS (Free and Open Source Software) architecture was designed which allows not only user field-data collection, but also data Web publication through standard protocols. Open Data Kit suite allows users to collect georeferenced multimedia information using mobile devices equipped with location sensors (e.g. the GPS). Users can report a number of environmental emergencies, problems or simple points of interest related to the Po river basin, taking pictures of them and providing other contextual information. Field-registered data is sent to a server and stored into a PostgreSQL database with PostGIS spatial extension. GeoServer provides then data dissemination on the Web, while specific OpenLayers-based viewers were built to optimize data access on both desktop computers and mobile devices. Besides proving the suitability of FOSS in the frame of VGI, the system represents a successful prototype for the exploitation of user local, real-time information aimed at managing and protecting water resources.

Um modelo de EIS - enterprise information system - que identifica características para comportamentos proativos na recuperação de informações

Este documento constitui uma dissertação de mestrado, requisito parcial para a obtenção do grau de Mestre em Administração pela Universidade Federal do Rio Grande do Sul. O tema da pesquisa é o relacionamento existente entre as características técnicas de um projeto de sistema de informação e apoio à decisão e os comportamentos dos usuários no seu uso. O objetivo é desenvolver e apresentar um modelo conceitual de EIS (“Enterprise Information Systems”), a partir da literatura, das tendências tecnológicas e de estudos de caso, que identifique características para comportamentos proativos dos usuários na recuperação de informações. Adotou-se o conceito de comportamento proativo na recuperação de informações como a combinação das categorias exploração de dados e busca focada. Entre os principais resultados, pode-se destacar a definição de categorias relacionadas com as características dos sistemas - flexibilidade, integração e apresentação - e de categorias relacionadas com os comportamentos dos usuários na recuperação de informações - exploração de dados e busca focada, bem como a apresentação de um modelo conceitual para sistemas EIS. Pode-se destacar também a exploração de novas técnicas para análise qualitativa de dados, realizada com o objetivo de buscar uma maior preservação do contexto nos estudos de caso.

Impactos da implantação do sistema de informações sobre o processo decisório estratégico: uma experiência do SERPRO

O ESTUDO OBJETIVOU VERIFICAR OS IMPACTOS DA IMPLANTAÇÃO DO SISTEMA DE INFORMAÇÕES SOBRE O PROCESSO DECISÓRIO ESTRATÉGICO DO SERPRO - SERVIÇO FEDERAL DE PROCESSAMENTO DE DADOS. CONSIDERA-SE QUE AS ENTREVISTAS REALIZADAS COM A DIRETORIA, BEM COMO OS RESULTADOS DA PESQUISA APLICADA AOS SUPERINTENDENTES E COORDENADORES DA UNIDADE DE PROCESSOS CORPORATIVOS DA REFERIDA EMPRESA, SE CONSTITUIREM NOS SUPORTES DE ARGUMENTAÇÃO DESTE TRABALHO. FORAM TAMBÉM ANALISADOS OS DOCUMENTOS OFICIAIS DA ORGANIZAÇÃO E REALIZADAS ENTREVISTAS COM ANTIGOS ADMINISTRADORES. OS RESULTADOS MOSTRAM QUE OS MAIORES IMPACTOS DA IMPLANTAÇÃO NA ORGANIZAÇÃO FORAM O DESVELAMENTO DO PROCESSO DECISÓRIO ESTRATÉGICO, A AGILIZAÇÃO DESSAS DECISÕES ESTRATÉGICAS E UMA POTENCIALIZAÇÃO DO USO DOS DIVERSOS SISTEMAS DE INFORMAÇÕES POR PARTE DE TODOS OS USUÁRIOS DO SISTEMA DE INFORMAÇÃO PARA O PROCESSO DECISÓRIO.

A informação no processo de descentralização administrativa do setor saúde: o caso do cartão nacional de saúde em Niterói

A importância da informação como recurso estratégico nas organizações conduz à relevância que o projeto Cartão Nacional de Saúde (CNS) do SUS assume na reestruturação do setor público de Saúde, que busca um novo modelo de gestão, nas três esferas de governo. A descentralização da gestão, como um processo extremamente dinâmico e participativo, rede fine os papéis dos gestores, que assumem novas responsabilidades, exigindo um aparato burocrático mais flexível. Seus desafios são muitos, visto que as organizações de saúde são sempre complexas. Neste estudo buscou-se o entendimento da dinâmica organizacional e de sua adaptação às mudanças impostas pelo ambiente, com base no referencial teórico proposto por H. Mintzberg e sua aplicação às organizações do SUS. A experiência de implantação desse novo sistema de informação, CNS, de abrangência nacional, é analisada em seus aspectos locais, com seus êxitos e dificuldades, no município de Niterói.

Os possíveis efeitos da modalidade de licitação pregão em um órgão representante da administração pública direta: o exército brasileiro

Comércio eletrônico é um assunto que envolve múltiplos aspectos relacionados à utilização de infra-estrutura digital para suportar a transação de negócios. V árias são as formas de se exemplificar a aplicação de comércio eletrônico, como, por exemplo: utilização de quiosques de auto atendimento para a aquisição de refrigerantes, cartões telefônicos e café, obtenção de saldos bancários e pagamento de contas; utilização de armazenamento de dados de clientes que para fins de implantação de um programa de marketing de relacionamento; utilização de redes que interliguem organizações diversas, internamente ou externamente, para fins de otimização logística e permitir o fluxo de dados necessários à gestão das organizações Apesar das diversas possibilidades de se adotar práticas de comércio eletrônico, não se deve esperar que essas práticas sejam passíveis de serem replicadas, genericamente, por todas as organizações, pois estas diferem em sua composição, no que se trata das suas culturas, estruturas, estratégias e outros componentes. Devido ao caráter amplo do tema comércio eletrônico, este trabalho traz uma abordagem conceitual do mesmo e algumas das suas aplicações nas áreas de marketing, logística e governo eletrônico; apresenta alguns comentários sobre sistemas de informações e tecnologias de comunicação que os suportam; caracteriza as diferenças que existem entre as organizações, utilizando-se de um modelo organizacional que retrata as organizações como sendo um conjunto de forças: cultura e estrutura, estratégia, pessoas e seus papéis e tecnologia, em equilíbrio dinâmico entre si e inseridas no ambiente social, tecnológico, econômico e político e, como exemplo, infere a respeito de possíveis resultados que podem ser esperados a partir da adoção da modalidade de licitação pregão, eletrônico ou presencial, no âmbito de organizações militares do Exército Brasileiro, no que se refere à cultura, às pessoas e seus papéis e à tecnologia.

Understanding e-government technology transfer: evidence from the transfer of a patent management system from EPO to INPI

Drawing upon Brazilian experience, this research explores some of the key issues to be addressed in using e-government technical cooperation designed to enhance service provision of Patent Offices in developing countries. While the development of software applications is often seen merely as a technical engineering exercise, localization and adaptation are context bounded matters that are characterized by many entanglements of human and non-humans. In this work, technical, legal and policy implications of technical cooperation are also discussed in a complex and dynamic implementation environment characterized by the influence of powerful hidden agendas associated with the arena of intellectual property (IP), which are shaped by recent technological, economic and social developments in our current knowledge-based economy. This research employs two different theoretical lenses to examine the same case, which consists of transfer of a Patent Management System (PMS) from the European Patent Office (EPO) to the Brazilian Patent Office that is locally named ‘Instituto Nacional da Propriedade Industrial’ (INPI). Fundamentally, we have opted for a multi-paper thesis comprising an introduction, three scientific articles and a concluding chapter that discusses and compares the insights obtained from each article. The first article is dedicated to present an extensive literature review on e-government and technology transfer. This review allowed the proposition on an integrative meta-model of e-government technology transfer, which is named E-government Transfer Model (ETM). Subsequently, in the second article, we present Actor-Network Theory (ANT) as a framework for understanding the processes of transferring e-government technologies from Patent Offices in developed countries to Patent Offices in developing countries. Overall, ANT is seen as having a potentially wide area of application and being a promising theoretical vehicle in IS research to carry out a social analysis of messy and heterogeneous processes that drive technical change. Drawing particularly on the works of Bruno Latour, Michel Callon and John Law, this work applies this theory to a longitudinal study of the management information systems supporting the Brazilian Patent Office restructuration plan that involved the implementation of a European Patent Management System in Brazil. Based upon the ANT elements, we follow the actors to identify and understand patterns of group formation associated with the technical cooperation between the Brazilian Patent Office (INPI) and the European Patent Office (EPO). Therefore, this research explores the intricate relationships and interactions between human and non-human actors in their attempts to construct various network alliances, thereby demonstrating that technologies embodies compromise. Finally, the third article applies ETM model as a heuristic frame to examine the same case previously studied from an ANT perspective. We have found evidence that ETM has strong heuristic qualities that can guide practitioners who are engaged in the transfer of e-government systems from developed to developing countries. The successful implementation of e-government projects in developing countries is important to stimulate economic growth and, as a result, we need to understand the processes through which such projects are being implemented and succeed. Here, we attempt to improve understanding on the development and stabilization of a complex social-technical system in the arena of intellectual property. Our preliminary findings suggest that e-government technology transfer is an inherently political process and that successful outcomes require continuous incremental actions and improvisations to address the ongoing issues as they emerge.

Stage level measurement of information and communication technology in organizations

Na moderna Economia do Conhecimento, na Era do Big Data, entender corretamente o uso e a gestão da Tecnologia de Informação e Comunicação (TIC) tendo como base o campo acadêmico de estudos de Sistemas de Informação (SI), torna-se cada vez mais relevante e estratégico para as organizações que pretendem: permanecer em atividade, estar aptas para atender novas demandas (internas e externas) e enfrentar as complexas mudanças na competição de mercado. Esta pesquisa utiliza a teoria dos estágios de crescimento, fundamentada pelos estudos de Richard L. Nolan nos anos 70. A literatura acadêmica relacionada com modelos de estágios de crescimento e o contexto do campo de estudo de SI, fornecem as bases conceituais deste estudo. A pesquisa identifica um modelo com seus construtos relacionados aos estágios de crescimento das iniciativas da TIC/SI organizacional, partindo das variáveis de benchmark de segundo nível de Nolan, e propõe sua operacionalização com a criação e desenvolvimento de uma escala. De caráter exploratório e descritivo, a pesquisa traz contribuição teórica ao paradigma da teoria dos estágios de crescimento, adicionando um novo processo de crescimento em sua estrutura conceitual. Como resultado, é disponibilizado além de um instrumento de escala bilíngue (português e inglês), recomendações e regras para aplicação de um instrumento de pesquisa do tipo survey, na continuidade deste estudo. Como implicação geral desta pesquisa, é esperado que seu uso e aplicação ao mensurar a avaliação do nível de estágio da TIC/SI em organizações, possam auxiliar dois perfis de indivíduos: acadêmicos que estudam essa temática, assim como, profissionais que buscam respostas de suas ações práticas nas organizações onde trabalham.

Do registro ao indicador: gestão da produção da informação assistencial nos hospitais

A valorização da utilização de indicadores assistenciais no monitoramento do desempenho dos sistemas de serviços de saúde cresceu de forma significativa nas últimas décadas. A expansão do Sistema Único de Saúde/SUS e do Sistema de Saúde Suplementar, e as formas de gestão adotadas estimularam o uso de indicadores na avaliação do desempenho, qualidade e segurança nos hospitais, sendo propostos sistemas de indicadores. Não houve uma correspondente preocupação com as condições de produção dos dados e informações para esses indicadores nos serviços de saúde. O artigo discute algumas das condições necessárias para a qualidade nos indicadores para a gestão da assistência nos hospitais: uma cultura de valorização da informação clínica, administrativa e de pesquisa, compartilhada por todos, e a adequada gestão dos registros clínicos, estatísticas hospitalares e sistemas de informações hospitalares. Não existem propostas prontas para a gestão da informação nos hospitais, fazendo-se necessário desenvolver uma capacidade institucional de incorporar e utilizar, na forma mais adequada para cada instituição e contexto, competências e recursos materiais e humanos diversificados, para que a gestão da informação se transforme em um processo dinâmico e parte da gestão do serviço como um todo

Caracterização batimétrica e fisicooceanográfica do canal de acesso ao porto de Cabedelo/PB: uma análise ambiental ao derrame de óleo

The State of Paraíba is one of the most dynamic states of Brazil, strategically located in the northeast, is notable for the excellent potential for integration of different transportation modes forming the states of Rio Grande do Norte, Pernambuco and Alagoas. The dynamic that occurs with port activity causes changes in the space where it is installed. And the elements of this space are always more than suffering direct or indirect influences as the flow in the port is expanded. Therefore, this region became subject to the accidental spillage of oil, because it presents a heavy traffic of ships of various sizes that can run aground or collide with oil causing accidental events. The study of geomorphological and sedimentological compositions of seafloor becomes important as more is known about the relationships between these parameters and associated fauna, and can identify their preferred habitats. The database background, acoustically collected along the proposed study area, is a wealth of information, which were duly examined, cataloged and made available. Such information can serve as an important tool, providing a geomorphological survey of the sedimentary area studied, and come to subsidize, in a flexible, future decision making. With the study area Port of Cabedelo, Paraíba - Brazil, this research aimed to evaluate the influence of the tidal surface and background in modeling the seabed, including the acquisition of information about the location of submerged rocky bodies and the depth of these bodies may turn out to be natural traps for the trapping of oil in case of leaks, and obtain the relationship between types of bed and the hydrodynamic conditions present in the region. In this context, for this study were collected bathymetric data (depth) and physical oceanographic (height of water column, water temperature, intensity and direction of currents, waves and turbidity), meteorological (rainfall, air temperature, humidity, winds and barometric pressure) of the access channel to the Port of Cabedelo / PB and its basin evolution (where the cruise ships dock), and includes tools of remote sensing (Landsat 7 ETM +, 2001), so that images and the results are integrated into Geographic Information Systems and used in the elaboration of measures aimed at environmental protection areas under the influence of this scale facilities, serving as a grant to prepare a contingency plan in case of oil spills in the region. The main findings highlight the techniques of using hydroacoustic data acquisition together bathymetric surveys of high and low frequency. From there, five were prepared in bathymetric pattern of Directorate of Hydrography and Navigation - DHN, with the depth in meters, on a scale of 1:2500 (Channel and Basin Evolution of Access to Port of Cabedelo), where there is a large extent possible beachrocks that hinder the movement of vessels in the port area, which can cause collisions, running aground and leaking oil. From the scatter diagram of the vectors of currents, it can be seen as the tidal stream and undergoes a channeling effect caused by the bidirectional effect of the tide (ebb and flood) in the basin of the Port of Cabedelo evolution in NW-direction SE and the highest speed of the currents occurs at low tide. The characterization weather for the period from 28/02 to 04/07/2010 values was within the expected average for the region of study. The multidisciplinary integration of products (digital maps and remote sensing images), proved to be efficient for the characterization of underwater geomorphological study area, reaching the aim to discriminate and enhance submerged structures, previously not visible in the images