Autor Gallina, Barbara
|
|
Documentos disponibles escritos por este autor (4)
Hacer una sugerencia Refinar búsqueda37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / Gallina, Barbara ; Skavhaug, Amund ; Bitsch, Friedemann
Título : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings Tipo de documento: documento electrónico Autores: Gallina, Barbara, ; Skavhaug, Amund, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XXI, 312 p. 92 ilustraciones ISBN/ISSN/DL: 978-3-319-99130-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Computadoras Propósitos especiales Red de computadoras Ingeniería de software Protección de datos Microprogramación Lógica informática y fundamentos de la programación Sistemas de propósito especial y basados en aplicaciones Redes de comunicación informática Seguridad de datos e información Estructuras de control y microprogramación Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 37.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2018, celebrada en Västerås, Suecia, en septiembre de 2018. Los 19 artículos completos revisados y 1 artículo breve presentados junto con tres resúmenes de ponencias principales fueron cuidadosamente revisado y seleccionado entre 63 presentaciones. Los artículos están organizados en secciones temáticas sobre estándares de seguridad automotriz y potencial de reutilización entre dominios; Conducción Autónoma y Análisis de Seguridad; Verificación; Aseguramiento Multipreocupación; Tolerancia a fallos; y Riesgos de seguridad y protección. Nota de contenido: Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings [documento electrónico] / Gallina, Barbara, ; Skavhaug, Amund, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXI, 312 p. 92 ilustraciones.
ISBN : 978-3-319-99130-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Computadoras Propósitos especiales Red de computadoras Ingeniería de software Protección de datos Microprogramación Lógica informática y fundamentos de la programación Sistemas de propósito especial y basados en aplicaciones Redes de comunicación informática Seguridad de datos e información Estructuras de control y microprogramación Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 37.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2018, celebrada en Västerås, Suecia, en septiembre de 2018. Los 19 artículos completos revisados y 1 artículo breve presentados junto con tres resúmenes de ponencias principales fueron cuidadosamente revisado y seleccionado entre 63 presentaciones. Los artículos están organizados en secciones temáticas sobre estándares de seguridad automotriz y potencial de reutilización entre dominios; Conducción Autónoma y Análisis de Seguridad; Verificación; Aseguramiento Multipreocupación; Tolerancia a fallos; y Riesgos de seguridad y protección. Nota de contenido: Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hamid, Brahim, ; Gallina, Barbara, ; Shabtai, Asaf, ; Elovici, Yuval, ; Garcia-Alfaro, Joaquin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 173 p. 76 ilustraciones, 53 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-16874-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Protección de datos Criptografía Cifrado de datos (Informática) Red de computadoras Ordenadores Ingeniería de software Seguridad de datos e información Servicios de seguridad Criptología Redes de comunicación informática Entornos informáticos Índice Dewey: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, del Taller Internacional sobre Interacción de Seguridad, Protección y Arquitectura de Sistemas/Software, CSITS 2018, y el Taller Internacional sobre Seguridad Cibernética para Sistemas de Transporte Inteligentes, ISSA 2018, celebrado en Barcelona, España. en septiembre de 2018, junto con el 23º Simposio Europeo sobre Investigación en Seguridad Informática, ESORICS 2018. El taller de la AISS 2018 recibió 10 presentaciones de las cuales se aceptaron 3 artículos completos y 1 artículo breve. Cubren temas como ingeniería de seguridad de software, arquitecturas de privacidad y seguridad de dominios específicos y seguridad automática. Además, se incluye un documento invitado sobre el entrelazamiento de la co-ingeniería de seguridad y protección. El taller CSITS 2018 recibió 9 presentaciones de las cuales se aceptaron 5 artículos completos y 1 artículo breve. Los artículos seleccionados tratan sobre la seguridad de los vehículos y la seguridad de la aviación. . Nota de contenido: Invited Paper -- Towards safety and security co-engineering. Challenging aspects for a consistent intertwining -- Safety and Security Interplay -- Understanding Common Automotive Security Issues and their Implications -- SysML model transformation for safety and security analysis -- The Challenge of Safety Tactics Synchronization for Cooperative Systems (Short Paper) -- SAM: A Security Abstraction Model for Automotive Software Systems -- Car Security -- CAN-FD-Sec: Improving Security of CAN-FD Protocol -- INCANTA - INtrusion detection in Controller Area Networks with Time-covert Authentication -- Detection of Injection Attacks in Compressed CAN Traffic Logs -- Key Is In The Air: Hacking Remote Keyless Entry Systems (Short Paper) -- Aviation Security -- Surveying Aviation Professionals on the Security of the Air Traffic Control System -- On the Security of MIL-STD-1553 Communication Bus. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers [documento electrónico] / Hamid, Brahim, ; Gallina, Barbara, ; Shabtai, Asaf, ; Elovici, Yuval, ; Garcia-Alfaro, Joaquin, . - 1 ed. . - [s.l.] : Springer, 2019 . - XII, 173 p. 76 ilustraciones, 53 ilustraciones en color.
ISBN : 978-3-030-16874-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Protección de datos Criptografía Cifrado de datos (Informática) Red de computadoras Ordenadores Ingeniería de software Seguridad de datos e información Servicios de seguridad Criptología Redes de comunicación informática Entornos informáticos Índice Dewey: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, del Taller Internacional sobre Interacción de Seguridad, Protección y Arquitectura de Sistemas/Software, CSITS 2018, y el Taller Internacional sobre Seguridad Cibernética para Sistemas de Transporte Inteligentes, ISSA 2018, celebrado en Barcelona, España. en septiembre de 2018, junto con el 23º Simposio Europeo sobre Investigación en Seguridad Informática, ESORICS 2018. El taller de la AISS 2018 recibió 10 presentaciones de las cuales se aceptaron 3 artículos completos y 1 artículo breve. Cubren temas como ingeniería de seguridad de software, arquitecturas de privacidad y seguridad de dominios específicos y seguridad automática. Además, se incluye un documento invitado sobre el entrelazamiento de la co-ingeniería de seguridad y protección. El taller CSITS 2018 recibió 9 presentaciones de las cuales se aceptaron 5 artículos completos y 1 artículo breve. Los artículos seleccionados tratan sobre la seguridad de los vehículos y la seguridad de la aviación. . Nota de contenido: Invited Paper -- Towards safety and security co-engineering. Challenging aspects for a consistent intertwining -- Safety and Security Interplay -- Understanding Common Automotive Security Issues and their Implications -- SysML model transformation for safety and security analysis -- The Challenge of Safety Tactics Synchronization for Cooperative Systems (Short Paper) -- SAM: A Security Abstraction Model for Automotive Software Systems -- Car Security -- CAN-FD-Sec: Improving Security of CAN-FD Protocol -- INCANTA - INtrusion detection in Controller Area Networks with Time-covert Authentication -- Detection of Injection Attacks in Compressed CAN Traffic Logs -- Key Is In The Air: Hacking Remote Keyless Entry Systems (Short Paper) -- Aviation Security -- Surveying Aviation Professionals on the Security of the Air Traffic Control System -- On the Security of MIL-STD-1553 Communication Bus. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings Tipo de documento: documento electrónico Autores: Capilla, Rafael, ; Gallina, Barbara, ; Cetina, Carlos, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVIII, 181 p. 55 ilustraciones ISBN/ISSN/DL: 978-3-319-90421-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Programación de computadoras Compiladores (programas informáticos) Computadoras digitales electrónicas Ordenadores Profesiones Inteligencia artificial Técnicas de programación Compiladores e intérpretes Rendimiento y evaluación del sistema La profesión informática Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre Reutilización de Software, ICSR 2018, celebrada en Madrid, España, en mayo de 2018. Los 9 artículos completos revisados y los 2 artículos breves presentados fueron cuidadosamente revisados y seleccionados entre 29 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: gestión de la variabilidad; jerarquías y medidas de reutilización; dependencias y trazabilidad; y líneas de productos de software, características y reutilización de reescritores de código. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings [documento electrónico] / Capilla, Rafael, ; Gallina, Barbara, ; Cetina, Carlos, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVIII, 181 p. 55 ilustraciones.
ISBN : 978-3-319-90421-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Programación de computadoras Compiladores (programas informáticos) Computadoras digitales electrónicas Ordenadores Profesiones Inteligencia artificial Técnicas de programación Compiladores e intérpretes Rendimiento y evaluación del sistema La profesión informática Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre Reutilización de Software, ICSR 2018, celebrada en Madrid, España, en mayo de 2018. Los 9 artículos completos revisados y los 2 artículos breves presentados fueron cuidadosamente revisados y seleccionados entre 29 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: gestión de la variabilidad; jerarquías y medidas de reutilización; dependencias y trazabilidad; y líneas de productos de software, características y reutilización de reescritores de código. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings Tipo de documento: documento electrónico Autores: Gallina, Barbara, ; Skavhaug, Amund, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XV, 564 p. 190 ilustraciones ISBN/ISSN/DL: 978-3-319-99229-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Ingeniería Informática Red de computadoras Ingeniería de software Inteligencia artificial Ordenadores Lógica informática y fundamentos de la programación Ingeniería Informática y Redes Hardware de la computadora Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de cinco talleres compartidos con SAFECOMP 2018, la 37.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, celebrada en Västerås, Suecia, en septiembre de 2018. Los 28 artículos completos revisados y los 21 artículos breves se presentan juntos con 5 artículos introductorios a cada taller fueron cuidadosamente revisados y seleccionados entre 73 presentaciones. Los talleres de este año son: ASSURE 2018 – Casos de aseguramiento para sistemas intensivos en software; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Sistemas y sistemas de sistemas ciberfísicos, inteligentes, integrados y confiables; SASSUR 2018 – Próxima Generación de Enfoques de Garantía de Sistemas para Sistemas Críticos para la Seguridad; STRIVE 2018 – Seguridad, protección y privacidad en los sistemas automotrices; y WAISE 2018 – Ingeniería de Seguridad de Inteligencia Artificial. El capítulo ''"Boxing Clever": Técnicas prácticas para obtener información sobre los datos de entrenamiento y monitorear el cambio de distribución'' está disponible en acceso abierto bajo una Licencia de Gobierno Abierto a través de link.springer.com. Nota de contenido: 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018). En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings [documento electrónico] / Gallina, Barbara, ; Skavhaug, Amund, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2018 . - XV, 564 p. 190 ilustraciones.
ISBN : 978-3-319-99229-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Ingeniería Informática Red de computadoras Ingeniería de software Inteligencia artificial Ordenadores Lógica informática y fundamentos de la programación Ingeniería Informática y Redes Hardware de la computadora Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de cinco talleres compartidos con SAFECOMP 2018, la 37.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, celebrada en Västerås, Suecia, en septiembre de 2018. Los 28 artículos completos revisados y los 21 artículos breves se presentan juntos con 5 artículos introductorios a cada taller fueron cuidadosamente revisados y seleccionados entre 73 presentaciones. Los talleres de este año son: ASSURE 2018 – Casos de aseguramiento para sistemas intensivos en software; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Sistemas y sistemas de sistemas ciberfísicos, inteligentes, integrados y confiables; SASSUR 2018 – Próxima Generación de Enfoques de Garantía de Sistemas para Sistemas Críticos para la Seguridad; STRIVE 2018 – Seguridad, protección y privacidad en los sistemas automotrices; y WAISE 2018 – Ingeniería de Seguridad de Inteligencia Artificial. El capítulo ''"Boxing Clever": Técnicas prácticas para obtener información sobre los datos de entrenamiento y monitorear el cambio de distribución'' está disponible en acceso abierto bajo una Licencia de Gobierno Abierto a través de link.springer.com. Nota de contenido: 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018). En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
