Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets

Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have inconsistencies, allowing traffic that should be denied or vice versa. In this paper, we analyze the inconsistency characterization problem as a separate problem of the diagnosis one, and propose formal definitions in order to characterize one-to-many inconsistencies. We identify the combinatorial part of the problem that generates exponential complexities in combined diagnosis and characterization algorithms proposed by other authors. Then we propose a decomposition of the combinatorial problem in several smaller combinatorial ones, which can effectively reduce the complexity of the problem. Finally, we propose an approximate heuristic and algorithms to solve the problem in worst case polynomial time. Although many algorithms have been proposed to address this problem, all of them are combinatorial. The presented algorithms are an heuristic way to solve the problem with polynomial complexity. There are no constraints on how rule field ranges are expressed

4to. Congreso Internacional de Ciencia, Tecnología e Innovación para la Sociedad. Memoria académica

Este volumen acoge la memoria académica de la Cuarta edición del Congreso Internacional de Ciencia, Tecnología e Innovación para la Sociedad, CITIS 2017, desarrollado entre el 29 de noviembre y el 1 de diciembre de 2017 y organizado por la Universidad Politécnica Salesiana (UPS) en su sede de Guayaquil. El Congreso ofreció un espacio para la presentación, difusión e intercambio de importantes investigaciones nacionales e internacionales ante la comunidad universitaria que se dio cita en el encuentro. El uso de herramientas tecnológicas para la gestión de los trabajos de investigación como la plataforma Open Conference Systems y la web de presentación del Congreso http://citis.blog.ups.edu.ec/, hicieron de CITIS 2017 un verdadero referente entre los congresos que se desarrollaron en el país. La preocupación de nuestra Universidad, de presentar espacios que ayuden a generar nuevos y mejores cambios en la dimensión humana y social de nuestro entorno, hace que se persiga en cada edición del evento la presentación de trabajos con calidad creciente en cuanto a su producción científica. Quienes estuvimos al frente de la organización, dejamos plasmado en estas memorias académicas el intenso y prolífico trabajo de los días de realización del Congreso Internacional de Ciencia, Tecnología e Innovación para la Sociedad al alcance de todos y todas

Blockchain‑based federation of wireless sensor nodes

Wireless sensor networks (WSNs), as an integral part of most Internet of Things (IoT) devices, are currently proliferating providing a new paradigm of emerging technologies. It is estimated that the number of globally connected products will increase exponentially in the next decade. Therefore, it is not surprising finding applications in different areas such as smart homes, smart cities, industry, e-health, defense, security, vehicle networks, agriculture, and logistics among others. WSNs transmit the information gathered by the existing sensors in the IoT devices to header nodes acting as gateways to reach cloud computing nodes that will process this information. The processing of the data gathered through the sensors has made it possible to provide intelligence in strategical environments such as in the agrifood sector. Securing how this information is transmitted and assuring the integrity of the information is preserved. The use of blockchain technology has proven to be effective for securing the integrity of data transactions among entities. In this paper, we seize the advantage of this circumstance to design a robust mechanism based on smart contracts and blockchain technology that allow the reliable processing of data.Ministerio de Ciencia y Tecnología ECLIPSE RTI2018-094283-B-C3