Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Sergio Pozo Hidalgo


Sergio Pozo Hidalgo
Telefono: 954559897
Email: Solicitar correo
Página personal: http://www.lsi.us.es/~quivir
Perfil en ORCID: 0000-0001-7616-7825
Perfil en Scopus: 13608055000
Perfil en Dialnet: 2477050

Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Contratado Doctor LOU

Responsable de los siguientes proyectos/ayudas en la US:

  • Contrato con empresas (Arts. 68/83 LOU):
    • Automatización del desarrollo de crawlers (P020-11/E08)

  • Ayuda a la investigación:
    • Advanced Information Networking and Applications (PP2010-06-049)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714 - Investigador)
    • Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01 - Investigador)

  • Contrato con empresas (Arts. 68/83 LOU):
    • Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-134 (2017/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2008/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2007/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Álvarez de la Concepción, Miguel Ángel, Álvarez García, Juan Antonio, Ceballos Guerrero, Rafael, García Vallejo, Carlos A., Gutiérrez Rodríguez, Javier Jesús, et. al.:
Estructuras de Datos y Algoritmos. Ed. 1. Santander (ESPAÑA). Universidad de Sevilla. 2010. ISBN 978-84-693-8230-1

Álvarez de la Concepción, Miguel Ángel, Fernandez-Montes Gonzalez, Alejandro, García Vallejo, Carlos A., Gómez López, Mª Teresa, Gutiérrez Rodríguez, Javier Jesús, et. al.:
Análisis y Diseño de Algoritmos. Sevilla,. Universidad de Sevilla. 2010. ISBN 978-84-693-8232-5

García Vallejo, Carlos A., Álvarez García, Juan Antonio, De la Rosa Troyano, Fco Fernando, Gutiérrez Rodríguez, Javier Jesús, Ceballos Guerrero, Rafael, et. al.:
Estructuras de Datos y Algortimos. Ed. 1. Sevilla,. Universidad de Sevilla. 2009. ISBN 978-84-692-5205-5

Capítulos en Libros
De la Rosa Troyano, Fco Fernando, Pozo Hidalgo, Sergio, Casanova, P. J., Martínez Gasca, Rafael:
Análisis y Visualización de Comunidades Científicas con Información Extraida de la Web. Pag. 291-301. En: IX Jornadas de Ingeniería del Software y Bases de Datos. Malaga. 2004

Publicaciones en Revistas
Pozo Hidalgo, Sergio, Martinez Gasca, Rafael, Reina Quintero, Antonia María, Varela Vaca, Angel Jesus:
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework. En: The Journal of Systems and Software. 2012. Vol. 85. Núm. 2. Pag. 425-457. 10.1016/j.jss.2011.09.008

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
CONFIDDENT: A Model-Driven Consistent and Non-Redundant Layer-3 Firewall ACL Design, Development and Maintenance Framework. En: The Journal of Systems and Software. 2012. Vol. 85. Núm. 2. Pag. 425-457. http://dx.doi.org/10.1016/j.jss.2011.09.008

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Borrego, Diana, Pozo Hidalgo, Sergio:
Fault Tolerance Framework Using Model-Based Diagnosis: Towards Dependable Business Processes. En: International Journal On Advances in Security. 2011. Pag. 11-22

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
MDA-Based Framework for Automatic Generation of Consistent Firewall Acls With Nat. En: Lecture Notes in Computer Science. 2009. Pag. 130-144

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. En: Journal of Networks. 2009

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Model Based Development of Firewall Rule Sets: Diagnosing Model Faults. En: Information and Software Technology. 2009. Vol. 51. Núm. 5. Pag. 894-915

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Afpl, an Abstract Language Model for Firewall Acls. En: Lecture Notes in Computer Science. 2008. Vol. 2. Núm. 5073. Pag. 468-483

Ceballos Guerrero, Rafael, De la Rosa Troyano, Fco Fernando, Pozo Hidalgo, Sergio:
Diagnosis de Inconsistencia en Contratos Usando el Diseño Por Contrato. En: Revista IEEE America Latina. 2005. Pag. 120-125

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Pozo Hidalgo, Sergio:
An Integration of Fdi and Dx Techniques for Determining the Minimal Diagnosis in an Automatic Way. En: Lecture Notes in Computer Science. 2005. Vol. 3789. Pag. 1082-1092

De la Rosa Troyano, Fco Fernando, Pozo Hidalgo, Sergio, Martínez Gasca, Rafael:
Meeting-Abstract: Análisis y Visualizacion de Comunidades Científicas con Información Extraída de la Web. En: Revista IEEE America Latina. 2005. Vol. 3. Núm. 1

De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael:
Gestión de Proyectos Software Mediante Mapas Conceptuales. En: Proceedings of the V Adis 2004 Workshop on Decision Support in Software Engineering. 2004. Pag. 1-10

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio:
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. En: Lecture Notes in Computer Science. 2004. Vol. 3315. Pag. 942-952

Aportaciones a Congresos
Varela Vaca, Ángel Jesús, Warschofsky, Robert, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio, Meinel, Christoph:
A Security Pattern-Driven Approach Toward the Automation of Risk Treatment in Business Processeses. Comunicación en congreso. CISIS'12. Comité de Programa en 5th International Conference on Computational Intelligence in Security for Information System. Ostrava, Czech Republic. 2012

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio:
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. Comunicación en congreso. International on Security and Cryptography (SECRYPT). 2011

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Borrego, Diana, Pozo Hidalgo, Sergio:
Towards Dependable Business Processes With Fault-Tolerance Approach. Comunicación en congreso. Third International Conference on Dependability. Venice, Italy. 2010. 2010 Third International Conference on Dependability (Depend 2010). 104. 111

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall Acls. Comunicación en congreso. Advanced Information Networking and Applications. Perth, Australia. 2010. The 24th IEEE International Conference on Advanced Information Networking and Applications (Aina 2010) to Be Held in Perth, Western Australia, 20-23 April 2010. 1. 8

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
MDA-Based Framework for Automatic Generation of Consistent Firewall Acls With Nat. Comunicación en congreso. International Conference on Computational Science and Its Applications. Sowon, Korea. 2009. International Conference on Computational Science and Its Applications Proceedings. 130. 144

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael, De la Rosa Troyano, Fco Fernando:
Efficient Data Structures for Local Inconsistency Detection in Firewall Acl Updates. Comunicación en congreso. International Conference on Enterprise Information Systems. Milan, Italy. 2009. Proceedings of the 11th International Conference on Enterprise Information Systems, Volume Isas. 176. 181

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Afpl2, an Abstract Language for Firewall Acls With Nat Support. Comunicación en congreso. International Conference on Dependability. Greece. 2009. Second International Conference on Dependability. Depend2009. June18-23, 2009. Athens/Glyfada, Greece. 52. 59

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall Acls. Comunicación en congreso. International Conference on Security and Cryptography. Mila, Italia. 2009. Secrypt 2009, Proceedings of the International Conference on Security and Cryptography, Milan, Italy, July 7-10, 2009, Secrypt is Part of Icete - the International Joint Conference on e-Business and Telecommunications 2009. 43. 52

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
A Real Time Algorithm for Firewall Acl Inconsistency Detection in Ad Hoc Networks. Comunicación en congreso. Iadis International Conference on Applied Computing. Algarve, Portugal. 2008. Iadis International Conference on Applied Computing. 117. 124

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Firewall Rule Set Inconsistency Characterization by Clustering. Comunicación en congreso. International Conference on Enterprise Information System. . Barcelona, España. 2008. 6th International Workshop on Security in Information Systems (Wosis). 1. 6

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
An Order Independent Consistency-Based Diagnosis Process for Firewall Rule Sets. Comunicación en congreso. Reunión Española de Criptología y Seguridad de la Información. Salamanca, España. 2008. Actas de la X Reunión Española de Criptología y Seguridad de la Información. 1. 10

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
A Heuristic Polynomial Algorithm for Local Inconsistecy Diagnosis in Firewall Rule Sets. Comunicación en congreso. International Joint Conference on e-Business and Telecommunications. 2008. Proceedings of the International Conference on Security and Cryptography. 1. 12

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
Fast Algorithms for Local Inconsistency Detection in Firewall Acl Updates. Comunicación en congreso. International Workshop on Dependability and Security in Complex and Critical Information Systems. Cap Esterel, Agay, Francia. 2008. Proceedings of the 1st International Workshop on Dependability and Security in Complex and Critical Information Systems (Depend). 1. 10

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. Comunicación en congreso. International Conference on Emerging Security Information, Systems and Technologies. Cap Esterel, Agay, Francia. 2008. Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies. 1. 9

Barba Rodríguez, Irene, Borrego, Diana, Pozo Hidalgo, Sergio, Valle Sevillano, Carmelo del:
Nuevas Propuestas Sobre Evaluación Alternativa para las Asignaturas de Programación en las Ingenierías en Informática. Comunicación en congreso. I Congreso Internacional de Profesorado Principiante e Inserción Profesional a la Docencia. 2008. Actas del I Congreso Internacional de Profesorado Principiante e Inserción Profesional a la Docencia. 0. 0

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Fast Algorithms for Consistency-Based Diagnosis of Firewalls Rule Sets. Comunicación en congreso. IEEE International Symposium on Frontiers in Availability, Reliability and Security (Fares), in International Conference on Availability, Reliability and Security (Ares) (2008). . Barcelona, España. 2007. IEEE International Conference on Availability, Reliability and Security (Ares). 229. 236

Pozo Hidalgo, Sergio:
CSP-Based Firewall Rule Set Diagnosis Using Security Policies. Comunicación en congreso. IEEE International Symposium on Frontiers in Availability, Reliability and Security (Fares), in International Conference on Availability, Reliability and Security (Ares) (2008). . Barcelona, España. 2007. IEEE International Conference on Availability, Reliability and Security (Ares). 723. 729

Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Pozo Hidalgo, Sergio:
Distributed Model-Based Diagnosis Using Object-Relational Constraint Databases. Comunicación en congreso. IEEE International Conference on Advanced Information Networking and Applications. Viena, Austria. 2006. 20th International Conference on Advanced Information Networking and Applications. 866. 870

Pozo Hidalgo, Sergio, Facio Valero,Aitor, Martínez Gasca, Rafael:
Tecnicas Estrategicas de Simulacion de Comportamiento en Honeynets. Comunicación en congreso. Congreso Nacional de Internet, Telecomunicaciones y Sociedad de la Información. 2005

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael, Ceballos Guerrero, Rafael:
Behavioral Pattern Analysis of Secure Migration and Communications in Ecommerce Using Cryptographic Protocols on a Mobile Mas Platform. Comunicación en congreso. IEEE International Workshop on Mobile Commerce and Services: Wmcs 05. Munich, Alemania. 2005. The Second IEEE International Workshop on Mobile Commerce and Services, 2005: Wmcs 05. 60. 69

Pozo Hidalgo, Sergio:
Análisis y Nuevas Propuestas en Honeynets. Conferencia Congreso no publicada. Netfilter Workshop. ETS Ingeniería Informática. Universidad de Sevilla. 2005. 4th Netfilter Workshop Proceedings. 0. 0

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael:
Análisis y Nuevas Propuestas para Honeynets. Comunicación en congreso. Cedi 2005. Granada. 2005. Simposio Sobre Seguridad Informática. 109. 116

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael, Gómez López, Mª Teresa:
Securing Mobile Agent Based Tele-Assistance Systems. Comunicación en congreso. Workshop on Tele-Care and Collaborative Virtual Communities in Elderly Care. 2004. Tele-Care and Collaborative Virtual Communities in Elderly Care (Telecare). 63. 72

Ceballos Guerrero, Rafael, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio:
Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases. Comunicación en congreso. Dx-04. Carcassonne, Francia. 2004. 15th International Workshop on Principles of Diagnosis. 21. 26

Ceballos Guerrero, Rafael, De la Rosa Troyano, Fco Fernando, Pozo Hidalgo, Sergio:
Diagnosis de Inconsitencia en Contratos Usando el Diseño Bajo Contrato. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Malaga, España. 2004. IX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2004). 25. 36

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael, Gómez López, Mª Teresa:
Secure Tunnels for Mobile Multi-Agent Systems. Comunicación en congreso. Iberoamerican Workshop on Multi-Agent Systems. Puebla, Mexico. 2004. Iberoamerican Workshop on Multi-Agent Systems (Iberagents). 1. 10

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio, Ortega Ramírez, Juan A.:
Herramienta Web para el Razonamiento Semicualitativo a Partir de Bases de Datos. Comunicación en congreso. Asociación Española para la Inteligencia Artificial. Conferencia. San Sebastián. 2003. CAEPIA-TTIA 2003. X Conferencia de la Asocicación Española para la Inteligenciia Artificial. 441. 445

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Altas Prestaciones en Sisteamas de Comercio Electronico Concurrentes Basados en JAVA: Sistema Ceap. Comunicación en congreso. JAVA Hispano. 2003. JAVA Hispano 2003. 238. 248

Neira Ayuso, Pablo, Pozo Hidalgo, Sergio, Martínez Gasca, Rafael:
Estrategias Eficientes en el Nivel de Aplicación para el Filtrado y Balanceo de Carga de Paquetes. Comunicación en congreso. Congreso Iberoamericano de Auditoria y Control de Sistemas de Informacion, Ciasi 2001. Madrid- España. 2001. Ciasi: Congreso Iberoamericano de Auditoría y Control de Sistemas de Información. 80. 88

Pozo Hidalgo, Sergio:
Participacion en las IX Jornadas de Ingenieria del Software y Bases de Datos (Jisbd'04). 9-12 Noviembre, Malaga. Conferencia en Jornada no publicada

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla