Mostrando ítems 57-76 de 76

Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM

Daniel Díaz López; Blanco Uribe, María; Santiago Cely, Claudia; Vega Torres, Andrés; Moreno Guataquira, Nicolás; Morón Castro, Stefany; Nespoli, Pantaleone; Gómez Mármol, Félix (Guest Editor: Constantinos KoliasEgiptoInglaterra, 2018)

Due to the growth of IoT (Internet of Tings) devices in diferent industries and markets in recent years and considering the currently insufcient protection for these devices, a security solution safeguarding IoT architectures ...
SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC

Cadavid-Rengifo, Héctor; Ospina Hernandez, Gerardo (Congresso Nacional de Excelência em Gestão, 2014)

Una gran parte de las pequeñas y medianas empresas Colombianas han mostrado, de acuerdo con cifras oficiales, unos muy bajos índices de supervivencia tras sus primeros años de creación. Esto es especialmente grave dado que ...
Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Rocha, Camilo; Múñoz, César (NASA Langley Research CenterHampton, Virginia., 2011)

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...
Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas

Cadavid Rengifo, Héctor Fabio; Gómez Perdomo, Jonatan (ScieloColombia, 2009)

En este artículo se describe un sistema desarrollado para la extracción de grandes cuerpos de texto de Internet, teniendo como motivación el valor que ofrecen los ejemplos de lenguaje natural disponibles en la red para ...
A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting

Cadavid, Héctor; Andrikopoulos, Vasilios; Avgeriou, Paris; Klein, John (The ACM Digital Library is published by the Association for Computing MachineryBari, Italy., 2020)

Background: The Systems Engineering and Software Engineering disciplines are highly intertwined in most modern Systems of Systems (SoS), and particularly so in industries such as defense, transportation, energy and health ...
Synchronous set relations in rewriting logic

Muñoz, César; Rocha Niño, Hernán Camilo (Elsevier, 2014)

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...
Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

Cerinza, Daniel; Ospina, Victoria Eugenia (Colombia., 2015)

La tecnología al servicio del negocio, no el negocio al servicio de la tecnología. Es importante tener clara esta relación para que las tecnologías de Información (TI) son un generador de beneficios en las organizaciones. ...
Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia

Ospina-Becerra, Victoria Eugenia; Cerinza Mejía, Daniel Ricardo (Orlando, Florida, E.E.U.U., 2015)

La tecnología al servicio del negocio, no el negocio al servicio de la tecnología. Es importante tener clara esta relación para que las tecnologías de Información (TI) son un generador de beneficios en las organizaciones. ...
Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

Cerinza, Daniel; Ospina, Victoria Eugenia (Colombia., 2019)

La tecnología al servicio del negocio, no el negocio al servicio de la tecnología. Es importante tener clara esta relación para que las tecnologías de Información (TI) son un generador de beneficios en las organizaciones. ...
Theorem Proving Modulo Based on Boolean Equational Procedures

Rocha, Camilo; Meseguer, José (Springer, 2008)

Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...
Tool Interoperability in the Maude Formal Environment

Durán, Francisco; Rocha, Camilo; Álvarez, José María (SpringerBerlín, 2011)

We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...
Towards a Maude Formal Environment

Durán, Francisco; Rocha, Camilo; Álvarez, José María (SpringerBerlín, 2011)

Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in ...
Towards a measuring framework for knowledge creation in smart cities

Ceballos-Zuluaga, Andrea; Benavides-Navarro, Luis Daniel; Ospina-Becerra, Victoria Eugenia (Colombia, 2020)

This article investigates the implications of general models of smart sustainable cities (SSC) on the indicators and measurement frameworks that we use to study them. We first investigate the mainstream theory of SSC and ...
Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics

Cadavid, Héctor; Garzón, Wilmer; Pérez, Alexander; López, Germán; Mendivelso, Cristian; Ramírez, Carlos (Springer NatureSwitzerland., 2018)

Colombia is a country with a huge agricultural potential, thanks to its size and geography diversity. Unfortunately, it is far from using it efficiently: 65% of its farmland is either unused or underused due to political ...
Towards Real-Time Semantics for a Distributed Event-Based MOP Language

Sanabria, Mateo; Garzón Alfonso, Wilmer; Benavides Navarro, Luis Daniel (Springer NatureSwitzerland., 2018)

This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...
TRANSFORMACIÓN DE PRÁCTICAS PEDAGÓGICAS USANDO TIC Y RENATA: CONTEXTO Y CASOS DE ESTUDIO EN BIOMEDICINA Y ECONOMÍA

Álvarez Piñeiro, Olga Patricia; Cadavid-Rengifo, Héctor (© 2013 Asociación Colombiana de Facultades de Ingeniería (ACOFI), International Federation of Engineering Education Societies (IFEES), 2013)

Este artículo presenta dos propuestas de transformación de las prácticas pedagógicas con apoyo de tecnología, diseñadas como parte del proyecto de investigación “Diseño de un modelo de transformación de prácticas educativas ...
TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats

Useche Pelaez, David; Diaz Lopez, Daniel; Nespoli, Pantaleone; Gomez Marmol, Felix (IEEE XploreSpain, 2018)

The Internet of Things (IoT) is considered as an emerging technology with considerable potentialities. Its paradigm of everything connected together invaded the real world, with smart objects located in several daily ...
TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats

Useche Pelaez, David; Diaz Lopez, Daniel; Nespoli, Pantaleone; Gomez Marmol, Felix (IEEE XploreValencia, España., 2018-10)

The Internet of Things (IoT) is considered as an emerging technology with considerable potentialities. Its paradigm of everything connected together invaded the real world, with smart objects located in several daily ...
Using Reverse Engineering to Handle Malware

Sánchez Venegas, Carlos Andrés; Aguado Bedoya, Camilo; Díaz López, Daniel Orlando; García Ruíz, Juan Carlos Camilo (EDICIONES UCC PRODUCTSBogotá, 2019)

Introduction: This paper is a product of the research Project “Cyber Security Architecture for Incident Management” developed in the Colombian School of Engineering Julio Garavito in the year 2018. Objetive: Reverse ...
El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot

Álvarez Piñeiro, Olga Patricia; Alvarado Pérez, Kevin Julián; Sánchez Prieto, Kevin Snaider (Estados Unidos, 2018)

En el presente artículo se muestran resultados de los avances obtenidos como resultado de un proyecto de grado realizado por estudiantes de pregrado del programa de Ingeniería de Sistemas de la Escuela Colombiana de ...

Envíos recientes

Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM
...
Daniel Díaz López | 2018

Due to the growth of IoT (Internet of Tings) devices in diferent industries and markets in recent years and considering the currently insufcient protection for these devices, a security solution safeguarding IoT architectures are highly desirable. An interesting perspective for the development of security solutions is the use of an event management approach, knowing that an event may become an incident when an information asset is afected under certain circumstances. Te paper at hand proposes a security solution based on the management of security events within IoT scenarios in order to accurately identify suspicious activities. To this end, diferent vulnerabilities found in IoT devices are described, as well as unique features that make these devices an appealing target for attacks. Finally, three IoT attack scenarios are presented, describing exploited vulnerabilities, security events generated by the attack, and accurate responses that could be launched to help decreasing the impact of the attack on IoT devices. Our analysis demonstrates that the proposed approach is suitable for protecting the IoT ecosystem, giving an adequate protection level to the IoT devices.

LEER
SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC
...
Cadavid-Rengifo, Héctor | 2014

Una gran parte de las pequeñas y medianas empresas Colombianas han mostrado, de acuerdo con cifras oficiales, unos muy bajos índices de supervivencia tras sus primeros años de creación. Esto es especialmente grave dado que dichas empresas son las que proveen la mayor parte del empleo formal del país, poniendo también en perspectiva los efectos futuros de los nuevos tratados de libre comercio. Considerando la urgencia de brindarle a los empresarios Colombianos herramientas que les permita mejorar la productividad de sus empresas para afrontar mejor la competencia extranjera, en este artículo se presenta una herramienta de simulación de procesos de manufactura diseñada específicamente para ayudar a la transferencia de la metodología de mejoramiento continuo TOC (teoría de restricciones) a la pequeña y mediana empresa, y a mitigar uno de los mayores riesgos asociados a esta tarea: la resistencia al cambio.

LEER
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
...
Rocha, Camilo | 2011

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract set relations. The infrastructure consists of an ordersorted rewrite theory in Maude, a rewriting logic system, that enables the synchronous execution of a set relation provided by the user. By using the infrastructure, existing algorithm verification techniques already available in Maude for traditional asynchronous rewriting, such as reachability analysis and model checking, are automatically available to synchronous set rewriting. The use of the infrastructure is illustrated with an executable operational semantics of a simple synchronous language and the verification of temporal properties of a synchronous system.

LEER
Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas
...
Cadavid Rengifo, Héctor Fabio | 2009

En este artículo se describe un sistema desarrollado para la extracción de grandes cuerpos de texto de Internet, teniendo como motivación el valor que ofrecen los ejemplos de lenguaje natural disponibles en la red para las tareas de aprendizaje no supervisado de dichos naturales, dado por características como su enorme volumen, permanente actualización respecto de las alteraciones del lenguaje, y bajo costo, en tiempo y recursos, en cuanto a los mecanismos tradicionales de construcción de corpus para esas tareas de aprendizaje. Se presentan las estrategias incorporadas al sistema con el fin de maximizar el aprovechamiento de los recursos de hardware y así reducir los tiempos de extracción, al igual que se presentan las características de extensibilidad para los formatos soportados, y adaptabilidad respecto a la manera como el sistema limpia los contenidos para obtener muestras de lenguaje natural puras. Al final del artículo se presentan los resultados experimentales obtenidos con uno de los dominios de contenido en español más grande de Internet: es.wikipedia.org, a través de los cuales se concluye sobre la validez y aplicabilidad de un corpus extraído directamente de la Internet para un eventual proceso de aprendizaje de morfología o sintaxis.

LEER
A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting
...
Cadavid, Héctor | 2020

Background: The Systems Engineering and Software Engineering disciplines are highly intertwined in most modern Systems of Systems (SoS), and particularly so in industries such as defense, transportation, energy and health care. However, the combination of these disciplines during the architecting of SoS seems to be especially challenging; the literature suggests that major integration and operational issues are often linked to ambiguities and gaps between system-level and software-level architectures. Aims: The objective of this paper is to empirically investigate: 1) the state of practice on the interplay between these two disciplines in the architecting process of systems with SoS characteristics; 2) the problems perceived due to this interplay during said architecting process; and 3) the problems arising due to the particular characteristics of SoS systems. Method: We conducted a questionnaire-based online survey among practitioners from industries in the aforementioned domains, having a background on Systems Engineering, Software Engineering or both, and experience in the architecting of systems with SoS characteristics. The survey combined multiple-choice and openended questions, and the data collected from the 60 respondents were analyzed using quantitative and qualitative methods. Results: We found that although in most cases the software architecting process is governed by system-level requirements, the way requirements were specified by systems engineers, and the lack of domain-knowledge of software engineers, often lead to misinterpretations at software level. Furthermore, we found that unclear and/or incomplete specifications could be a common cause of technical debt in SoS projects, which is caused, in part, by insufficient interface definitions. It also appears that while the SoS concept has been adopted by some practitioners in the field, the same is not true about the existing and growing body of knowledge on the subject in Software Engineering resulting in recurring problems with system integration. Finally, while not directly related to the interplay of the two disciplines, the survey also indicates that low-level hardware components, despite being identified as the root cause of undesired emergent behavior, are often not considered when modeling or simulating the system. Conclusions: The survey indicates the need for tighter collaboration between the two disciplines, structured around concrete guidelines and practices for reconciling their differences. A number of open issues identified by this study require further investigation.

LEER
Synchronous set relations in rewriting logic
...
Muñoz, César | 2014

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract set relations. The infrastructure, which is written in the Maude system, enables the synchronous execution of a set relation provided by the user. By using the infrastructure, algorithm verification techniques such as reachability analysis and model checking, already available in Maude for traditional asynchronous rewriting, are automatically available to synchronous set rewriting. In this way, set-based synchronous languages and systems such as those built from agents, components, or objects can be naturally specified and simulated, and are also amenable to formal verification in the Maude system. The use of the infrastructure and some of its Maude-based verification capabilities are illustrated with an executable operational semantics of the Plan Execution Interchange Language (PLEXIL), a synchronous language developed by NASA to support autonomous spacecraft operations.

LEER
Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia
...
Cerinza, Daniel | 2015

La tecnología al servicio del negocio, no el negocio al servicio de la tecnología. Es importante tener clara esta relación para que las tecnologías de Información (TI) son un generador de beneficios en las organizaciones. En este artículo se habla de la importancia de las tecnologías de información en las instituciones prestadoras de salud, la arquitectura empresarial (AE) en este sector. Este tipo de proyectos es bastante ambicioso por lo cual surge la necesidad de mostrar una manera de identificar y medir los posibles beneficios que se pueden llegar a generar. Finalmente se plantea una posible metodología para construir un modelo que identifique y mida los beneficios del uso de las TI en una organización prestadora de servicios de salud.

LEER
Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia
...
Ospina-Becerra, Victoria Eugenia | 2015

La tecnología al servicio del negocio, no el negocio al servicio de la tecnología. Es importante tener clara esta relación para que las tecnologías de Información (TI) son un generador de beneficios en las organizaciones. En este artículo se habla de la importancia de las tecnologías de información en las instituciones prestadoras de salud, la arquitectura empresarial (AE) en este sector. Este tipo de proyectos es bastante ambicioso por lo cual surge la necesidad de mostrar una manera de identificar y medir los posibles beneficios que se pueden llegar a generar. Finalmente se plantea una posible metodología para construir un modelo que identifique y mida los beneficios del uso de las TI en una organización prestadora de servicios de salud.

LEER
Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia
...
Cerinza, Daniel | 2019

La tecnología al servicio del negocio, no el negocio al servicio de la tecnología. Es importante tener clara esta relación para que las tecnologías de Información (TI) son un generador de beneficios en las organizaciones. En este artículo se habla de la importancia de las tecnologías de información en las instituciones prestadoras de salud, la arquitectura empresarial (AE) en este sector. Este tipo de proyectos es bastante ambicioso por lo cual surge la necesidad de mostrar una manera de identificar y medir los posibles beneficios que se pueden llegar a generar. Finalmente se plantea una posible metodología para construir un modelo que identifique y mida los beneficios del uso de las TI en una organización prestadora de servicios de salud.

LEER
Theorem Proving Modulo Based on Boolean Equational Procedures
...
Rocha, Camilo | 2008

Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean theory and show that each of them gives rise to a Boolean decision procedure based on a canonical rewrite system modulo associativity and commutativity. Then, we present two modular extensions of our decision procedure for Dijkstra-Scholten propositional logic to the Sequent Calculus for First Order Logic and to the Syllogistic Logic with Complements of L. Moss. These extensions take the form of rewrite theories that are sound and complete for performing deduction modulo their equational parts and exhibit good mechanization properties. We illustrate the practical usefulness of this approach by a direct implementation of one of these theories in Maude rewriting logic language, and automatically proving a challenge benchmark in theorem proving.

LEER
Tool Interoperability in the Maude Formal Environment
...
Durán, Francisco | 2011

We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the Church-Rosser Checker, the Coherence Checker, and the Maude Inductive Theorem Prover. We explain the high-level design decisions behind MFE, give a summarized account of its main features, and illustrate with an example the interoperation of the tools available in its current release.

LEER
Towards a Maude Formal Environment
...
Durán, Francisco | 2011

Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in the development of formal analysis tools for checking specific properties of Maude specifications. This includes tools for checking termination, confluence, and inductive properties of rewrite theories. Nevertheless, most of these tools have been designed to work in isolation, making it difficult, for instance, to exchange data between them and inconvenient to switch between their environments. This paper presents the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can interact with tools to mechanically verify properties of Maude specifications. One important aspect of this work is that the MFE has been designed to be easily extended with tools having highly heterogeneous designs whilst creating synergy among them. As a proof of concept, we report on the integration of five commonly used formal analysis tools for Maude specifications into MFE and illustrate their interoperability with an example.

LEER
Towards a measuring framework for knowledge creation in smart cities
...
Ceballos-Zuluaga, Andrea | 2020

This article investigates the implications of general models of smart sustainable cities (SSC) on the indicators and measurement frameworks that we use to study them. We first investigate the mainstream theory of SSC and their corresponding measurement frameworks. From the analysis, we show that such frameworks do not address the dynamic behaviour of cities. We then explore knowledge based smart sustainable cities, as an alternative theory of SSC, and investigate the measurement frameworks derived from this theory. We show that, despite having a different approach, these measurement frameworks still depend on static indicators and promote static view of the city. We then conjecture that this is due to fussy definitions of knowledge and incomplete investigations of the implications of latest theories of knowledge over the structure and strategy of smart cities. Finally, we propose a set of premises and principles that will improve the theory of Knowledge based smart sustainable cities (KBSSC) and show how this new definition will affect the design of indicators and measurement frameworks in a KBSSC.

LEER
Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics
...
Cadavid, Héctor | 2018

Colombia is a country with a huge agricultural potential, thanks to its size and geography diversity. Unfortunately, it is far from using it efficiently: 65% of its farmland is either unused or underused due to political problems. Furthermore, vast of Colombian agriculture is characterized - when compared with other countries - by low levels of productivity, due to the lack of good farming practices and technologies. The new political framework created by the recently signed peace agreement in this country opens new opportunities to increase its agricultural vocation. However, a lot of work is still required in this country to improve the synergy between academia, industry, agricultural experts, and farmers towards improving productivity in this field. Advances in smart-farming technologies such as Remote Sensing (RS), Internet of Things (IoT), Big Data/Data Analytics and Geographic Information Systems (GIS), bring a great opportunity to contribute to such synergy. These technologies allow not only to collect and analyze data directly from the crops in real time, but to extract new knowledge from it. Furthermore, this new knowledge, combined with the knowledge of local experts, could become the core of future technical assistance and decision support systems tools for countries with a great variety of soils and tropical floors such as Colombia. Motivated by these issues, this paper proposes an extension to Thingsboard, a popular open-source IoT platform. This extended version aims to be the core of a cloud-based Smart Farming platform that will concentrate sensors, a decision support system, and a configuration of remotely controlled and autonomous devices (e.g. water dispensers, rovers or drones). The architecture of the platform is described in detail and then showcased in a scenario with simulated sensors. In such scenario early warnings of an important plant pathogen in Colombia are generated by data analytics, and actions on third-party devices are dispatched in consequence.

LEER
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
...
Sanabria, Mateo | 2018

This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between specification and implementation, allowing several formal specifications and concrete implementations to be combined into a single executing system. To address real-time monitoring of modern distributed applications, we recently proposed REAL-T, a reactive event-based distributed programming language with explicit support for distributions and time manipulation. REAL-T allows programmers to instrument distributed applications to monitor and enforce specific behavior. It also supports requirements of modern reactive applications (responsiveness, resiliency, elasticity and asynchronous communication). The REAL-T programming model is very flexible, making the semantic specifications very challenging.

LEER
TRANSFORMACIÓN DE PRÁCTICAS PEDAGÓGICAS USANDO TIC Y RENATA: CONTEXTO Y CASOS DE ESTUDIO EN BIOMEDICINA Y ECONOMÍA
...
Álvarez Piñeiro, Olga Patricia | 2013

Este artículo presenta dos propuestas de transformación de las prácticas pedagógicas con apoyo de tecnología, diseñadas como parte del proyecto de investigación “Diseño de un modelo de transformación de prácticas educativas que promueva la construcción e implementación reflexiva de prácticas de enseñanza - aprendizaje a través de la Red Nacional Académica de Tecnología (Renata)”. El proyecto, desarrollado conjuntamente por la Escuela Colombiana de Ingeniería, la Universidad del Rosario y la Pontificia Universidad Javeriana Cali, buscó construir una herramienta metodológica para acercar a los docentes a nuevas estrategias pedagógicas centradas en el estudiante y soportadas por tecnologías de la información y la comunicación. Las propuestas son resultado de un proceso de trabajo interinstitucional, que contempló identificar en las tres instituciones condiciones organizacionales, modelos pedagógicos y asignaturas con alto grado de deserción, para elegir a un grupo de profesores e invitarlos a participar a un proceso de acompañamiento y capacitación para la elaboración de una propuesta pedagógica que se sustentará en aprendizaje centrado en el estudiante con incorporación de tecnologías de información y comunicación y redes de alta velocidad como la red Renata.

LEER
TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats
...
Useche Pelaez, David | 2018

The Internet of Things (IoT) is considered as an emerging technology with considerable potentialities. Its paradigm of everything connected together invaded the real world, with smart objects located in several daily appliances able to communicate autonomously through already existing network infrastructures. On the downside, the great advance carried by IoT in our life brings at the same time serious security issues, since the information flow among the objects remains mainly unprotected from malicious attackers. The paper at hand proposes TRIS, a novel sentinel to protect smart environments from cyber threats. Our sentinel shields the IoT devices using three defense rings, resulting in a more accurate protection. Additionally, we discuss the actual deployment of the sentinel using open-source tools. Exhaustive experiments are conducted on the sentinel, showing that the deployed sentinel performs meticulously even in heavily stressing conditions, thus demonstrating the applicability of TRIS in a distributed and dynamic scenario such as IoT.

LEER
TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats
...
Useche Pelaez, David | 2018-10

The Internet of Things (IoT) is considered as an emerging technology with considerable potentialities. Its paradigm of everything connected together invaded the real world, with smart objects located in several daily appliances able to communicate autonomously through already existing network infrastructures. On the downside, the great advance carried by IoT in our life brings at the same time serious security issues, since the information flow among the objects remains mainly unprotected from malicious attackers. The paper at hand proposes TRIS, a novel sentinel to protect smart environments from cyber threats. Our sentinel shields the IoT devices using three defense rings, resulting in a more accurate protection. Additionally, we discuss the actual deployment of the sentinel using open-source tools. Exhaustive experiments are conducted on the sentinel, showing that the deployed sentinel performs meticulously even in heavily stressing conditions, thus demonstrating the applicability of TRIS in a distributed and dynamic scenario such as IoT.

LEER
Using Reverse Engineering to Handle Malware
...
Sánchez Venegas, Carlos Andrés | 2019

Introduction: This paper is a product of the research Project “Cyber Security Architecture for Incident Management” developed in the Colombian School of Engineering Julio Garavito in the year 2018. Objetive: Reverse engineering involves deconstructing and extracting knowledge about objects. The use of reverse engineering in malware analysis is extremely useful in understanding the functionalities and purposes of a suspicious sample. Methods: This paper makes use of Radare which is one of the most popular open source tools for reverse engineering, with the aim of dealing with malware. Results: A use case related to hacking of anti-sandbox malware is presented, in such a way that it is possible to analyze the behavior of the sample using a sandbox. Additionally, another use case is presented, where an in-depth analysis of a malicious Android application aimed to the audience of a popular event (FIFA World Cup 2018) is developed, making it possible to demonstrate the relevance of reverse engineering techniques in end-user protection strategies. Conclusions: This paper shows how the results of a reverse engineering process can be integrated with Yara rules, allowing for the detection of malware on the fly, and it also shows an alternative to automatically generating Yara rules through the yarGen generator. Originality: Use of Open Source reversing solutions by Colombian Law Enforcement Agencies has not been discussed previously, making this paper a notable element toward the modernization of the Army. Limitation: Different approaches and perspectives about the limitations in the use of reverse engineering by Law Enforcement Agencies are also shared.

LEER
El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot
...
Álvarez Piñeiro, Olga Patricia | 2018

En el presente artículo se muestran resultados de los avances obtenidos como resultado de un proyecto de grado realizado por estudiantes de pregrado del programa de Ingeniería de Sistemas de la Escuela Colombiana de Ingeniería, proyecto que planteó como objetivo principal: "Diseñar, desarrollar implementar y evaluar un Agente Inteligente (Chatbot), como recurso tecnológico para la atención a la comunidad. El artículo muestra resultados de las diversas etapas de desarrollo del proyecto: investigación para conceptualizar la tecnología denominada Chatbot y su evolución, análisis de infaltables en la construcción de un Chatbot para que logre su correcto funcionamiento, identificación de problemas prioritarios de la Escuela Colombiana de Ingeniería, relacionados con la comunicación con la comunidad y finalmente conclusiones.

LEER

‹›

Listar AD - CTG – Informática por título

Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM ﻿

SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC ﻿

Simulation and Verification of Synchronous Set Relations in Rewriting Logic ﻿

Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas ﻿

A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting ﻿

Synchronous set relations in rewriting logic ﻿

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia ﻿

Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia ﻿

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia ﻿

Theorem Proving Modulo Based on Boolean Equational Procedures ﻿

Tool Interoperability in the Maude Formal Environment ﻿

Towards a Maude Formal Environment ﻿

Towards a measuring framework for knowledge creation in smart cities ﻿

Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics ﻿

Towards Real-Time Semantics for a Distributed Event-Based MOP Language ﻿

TRANSFORMACIÓN DE PRÁCTICAS PEDAGÓGICAS USANDO TIC Y RENATA: CONTEXTO Y CASOS DE ESTUDIO EN BIOMEDICINA Y ECONOMÍA ﻿

TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats ﻿

TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats ﻿

Using Reverse Engineering to Handle Malware ﻿

El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot ﻿

Envíos recientes

Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM

SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC

Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas

A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting

Synchronous set relations in rewriting logic

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

Theorem Proving Modulo Based on Boolean Equational Procedures

Tool Interoperability in the Maude Formal Environment

Towards a Maude Formal Environment

Towards a measuring framework for knowledge creation in smart cities

Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics

Towards Real-Time Semantics for a Distributed Event-Based MOP Language

TRANSFORMACIÓN DE PRÁCTICAS PEDAGÓGICAS USANDO TIC Y RENATA: CONTEXTO Y CASOS DE ESTUDIO EN BIOMEDICINA Y ECONOMÍA

TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats

TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats

Using Reverse Engineering to Handle Malware

El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot

Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM

SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC

Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas

A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting

Synchronous set relations in rewriting logic

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

Theorem Proving Modulo Based on Boolean Equational Procedures

Tool Interoperability in the Maude Formal Environment

Towards a Maude Formal Environment

Towards a measuring framework for knowledge creation in smart cities

Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics

Towards Real-Time Semantics for a Distributed Event-Based MOP Language

TRANSFORMACIÓN DE PRÁCTICAS PEDAGÓGICAS USANDO TIC Y RENATA: CONTEXTO Y CASOS DE ESTUDIO EN BIOMEDICINA Y ECONOMÍA

TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats

TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats

Using Reverse Engineering to Handle Malware

El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot