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
