Utilizamos cookies

Este sitio web utiliza cookies propias y de terceros para mantener la sesión, ofrecerle una mejor experiencia de usuario y obtener datos estadísticos de navegación de los usuarios. Para más información vea la Política de cookies.

Ver Investigador - - Prisma - Unidad de Bibliometría

Sergio Pozo Hidalgo

Profesor Contratado Doctor
sergiopozo@us.es

Investiga en

Palabras clave
Líneas de investigación
Resumen
Tipo Año Título Fuente
Ponencia2013 A security pattern-driven approach toward the automation of risk treatment in business processes INTERNATIONAL JOINT CONFERENCE CISIS'12 - ICEUTE'12 - SOCO'12 SPECIAL SESSIONS
Artículo2012 CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2011 OPBUS: RISK-AWARE FRAMEWORK FOR THE CONFORMANCE OF SECURITY-QUALITY REQUIREMENTS IN BUSINESS PROCESSES SECRYPT 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia2010 A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs 2010 24TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA)
Ponencia2010 Towards dependable business processes with fault-tolerance approach Proceedings - 3rd International Conference on Dependability, DEPEND 2010
Artículo2009 A heuristic process for local inconsistency diagnosis in firewall rule sets Journal Of Networks
Ponencia2009 AFPL2, An Abstract Language for Firewall ACLs with NAT support DEPEND: 2009 SECOND INTERNATIONAL CONFERENCE ON DEPENDABILITY
Ponencia2009 EFFICIENT ALGORITHMS AND ABSTRACT DATA TYPES FOR LOCAL INCONSISTENCY ISOLATION IN FIREWALL ACLS SECRYPT 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia2009 Efficient data structures for local inconsistency detection in firewall ACL updates ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings
Ponencia2009 MDA-based framework for automatic generation of consistent firewall ACLs with NAT COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II
Artículo2009 Model-Based Development of firewall rule sets: Diagnosing model inconsistencies INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2008 A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets SECRYPT 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia2008 AFPL, an abstract language model for firewall ACLs COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, PROCEEDINGS
Ponencia2008 Fast algorithms for consistency-based diagnosis of firewall rule sets ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY
Ponencia2008 Fast algorithms for local inconsistency detection in firewall ACL updates Proceedings - 2nd Int. Conf. Emerging Security Inf., Systems and Technologies, SECURWARE 2008, Includes DEPEND 2008: 1st Int. Workshop on Dependability and Security in Complex and Critical Inf. Sys.
Ponencia2008 Firewall rule set inconsistency characterization by clustering WOSIS 2008: SECURITY IN INFORMATION SYSTEMS, PROCEEDINGS
Ponencia2008 Polynomial heuristic algorithms for inconsistency characterization in firewall rule sets Proceedings - 2nd Int. Conf. Emerging Security Inf., Systems and Technologies, SECURWARE 2008, Includes DEPEND 2008: 1st Int. Workshop on Dependability and Security in Complex and Critical Inf. Sys.
Artículo2005 An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE
Ponencia2005 Analysis and visualization of scientific communities with information extracted from the web IEEE LATIN AMERICA TRANSACTIONS
Ponencia2005 Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform Second IEEE International Workshop on Mobile Commerce and Services, Proceedings
Ponencia2005 Diagnosis of inconsistency in contracts using design by contract IEEE LATIN AMERICA TRANSACTIONS
Ponencia2005 Estrategias eficientes en el nivel de aplicación para el filtrado y balanceo de carga de paquetes Actas IV Congreso Internacional de Auditoria y Seguridad de la Información: CIASI 2005
Artículo2004 Determination of possible minimal conflict sets using constraint databases technology and clustering ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004
Artículo2000 Arquitectura post-industrial CIC Centro Informativo de la Construction
Técnicas automáticas para la diagnosis de inconsistencias en listas de control de acceso de firewalls (2010)
Dirigida por: Martínez Gasca, Rafael
Este investigador no ha dirigido/tutorizado tesis

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/10/2006 30/09/2009 Investigador/a Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01) Ministerio de Educación y Ciencia (Nacional)
01/01/2010 31/12/2014 Investigador/a Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714) Ministerio de Ciencia e Innovación (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
02/03/2011 02/09/2011 Responsable Automatización del desarrollo de crawlers (P020-11/E08) Trovit Search, S.L. (Desconocido)
05/01/2008 05/01/2009 Investigador/a Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08) EADS - Construcciones Aeronáuticas, S.A. (Desconocido)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
20/04/2010 23/04/2010 Responsable Advanced Information Networking and Applications (PP2010-06-049) Universidad de Sevilla (Local)
El investigador no tiene ningún resultado de investigación asociado