Información del autor
Autor Bitsch, Friedemann |
Documentos disponibles escritos por este autor (10)
Crear una solicitud de compra Refinar búsquedaComputer Safety, Reliability, and Security / Tonetta, Stefano ; Schoitsch, Erwin ; Bitsch, Friedemann
TÃtulo : Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Tipo de documento: documento electrónico Autores: Tonetta, Stefano, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 344 p. 107 ilustraciones ISBN/ISSN/DL: 978-3-319-66266-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación Compiladores (programas informáticos) IngenierÃa de software Protección de datos Software de la aplicacion IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación. Compiladores e intérpretes Seguridad de datos e información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas de la 36.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2017, celebrada en Trento, Italia, en septiembre de 2017. Los 22 artÃculos completos revisados ​​y dos resúmenes de ponencias magistrales presentados fueron cuidadosamente revisados ​​y seleccionados de 65 presentaciones. Los artÃculos están organizados en secciones temáticas sobre árboles de fallas dinámicas; caso de seguridad y argumentación; verificación formal; sistemas autónomos; análisis y pruebas estáticas; análisis y evaluación de la seguridad; seguridad y proteccion. Nota de contenido: Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [documento electrónico] / Tonetta, Stefano, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIX, 344 p. 107 ilustraciones.
ISBN : 978-3-319-66266-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ciencias de la Computación Compiladores (programas informáticos) IngenierÃa de software Protección de datos Software de la aplicacion IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación. Compiladores e intérpretes Seguridad de datos e información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas de la 36.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2017, celebrada en Trento, Italia, en septiembre de 2017. Los 22 artÃculos completos revisados ​​y dos resúmenes de ponencias magistrales presentados fueron cuidadosamente revisados ​​y seleccionados de 65 presentaciones. Los artÃculos están organizados en secciones temáticas sobre árboles de fallas dinámicas; caso de seguridad y argumentación; verificación formal; sistemas autónomos; análisis y pruebas estáticas; análisis y evaluación de la seguridad; seguridad y proteccion. Nota de contenido: Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Safety, Reliability, and Security : 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. Idioma : Inglés (eng) 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. Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security : 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.
Idioma : Inglés (eng)
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. Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Romanovsky, Alexander, ; Troubitsyna, Elena, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 316 p. 320 ilustraciones, 92 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26601-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa de software Visión por computador Microprogramación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2019, celebrada en Turku, Finlandia, en septiembre de 2019. Los 16 artÃculos completos y 5 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. . Fueron organizados en secciones temáticas denominadas: verificación formal; conducción autónoma; modelado de seguridad y confiabilidad; ingenierÃa de seguridad y evaluación de riesgos; argumentación de seguridad; verificación y validación de sistemas autónomos; y sistemas interactivos y validación de diseños. . Nota de contenido: Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil's in the detail:Through-life safety and security co-assurance using SSAF. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / [documento electrónico] / Romanovsky, Alexander, ; Troubitsyna, Elena, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXI, 316 p. 320 ilustraciones, 92 ilustraciones en color.
ISBN : 978-3-030-26601-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa de software Visión por computador Microprogramación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2019, celebrada en Turku, Finlandia, en septiembre de 2019. Los 16 artÃculos completos y 5 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. . Fueron organizados en secciones temáticas denominadas: verificación formal; conducción autónoma; modelado de seguridad y confiabilidad; ingenierÃa de seguridad y evaluación de riesgos; argumentación de seguridad; verificación y validación de sistemas autónomos; y sistemas interactivos y validación de diseños. . Nota de contenido: Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil's in the detail:Through-life safety and security co-assurance using SSAF. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / Tipo de documento: documento electrónico Autores: Casimiro, António, ; Ortmeier, Frank, ; Bitsch, Friedemann, ; Ferreira, Pedro, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXIII, 450 p. 251 ilustraciones, 78 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54549-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa de software Microprogramación CriptografÃa Cifrado de datos (Informática) Protección de datos IngenierÃa Informática y Redes Estructuras de control y microprogramación. CriptologÃa Seguridad de datos e información Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2020, celebrada en Lisboa, Portugal, en septiembre de 2020.* Los 27 artÃculos completos y 2 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 116 presentaciones. Fueron organizados en secciones temáticas denominadas: casos de seguridad y argumentación; verificación y análisis formal; modelos y métodos de seguridad; garantÃa de sistemas habilitados para el aprendizaje; experiencia práctica y herramientas; análisis de amenazas y mitigación de riesgos; seguridad de sistemas ciberfÃsicos; e inyección de fallas y tolerancia a fallas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Elementos de argumentos de garantÃa para hardware computacional complejo disponible en el mercado'' está disponible en acceso abierto bajo una licencia de gobierno abierto 3.0 a través de link.springer.com. Nota de contenido: Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter 'Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware' is available open access under an Open Government License 3.0 via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / [documento electrónico] / Casimiro, António, ; Ortmeier, Frank, ; Bitsch, Friedemann, ; Ferreira, Pedro, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXIII, 450 p. 251 ilustraciones, 78 ilustraciones en color.
ISBN : 978-3-030-54549-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa de software Microprogramación CriptografÃa Cifrado de datos (Informática) Protección de datos IngenierÃa Informática y Redes Estructuras de control y microprogramación. CriptologÃa Seguridad de datos e información Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2020, celebrada en Lisboa, Portugal, en septiembre de 2020.* Los 27 artÃculos completos y 2 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 116 presentaciones. Fueron organizados en secciones temáticas denominadas: casos de seguridad y argumentación; verificación y análisis formal; modelos y métodos de seguridad; garantÃa de sistemas habilitados para el aprendizaje; experiencia práctica y herramientas; análisis de amenazas y mitigación de riesgos; seguridad de sistemas ciberfÃsicos; e inyección de fallas y tolerancia a fallas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Elementos de argumentos de garantÃa para hardware computacional complejo disponible en el mercado'' está disponible en acceso abierto bajo una licencia de gobierno abierto 3.0 a través de link.springer.com. Nota de contenido: Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter 'Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware' is available open access under an Open Government License 3.0 via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Habli, Ibrahim, ; Sujan, Mark, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 278 p. 124 ilustraciones, 87 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-83903-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa Informática Red de computadoras IngenierÃa de software Software de la aplicacion Robótica Microprogramación Protección de datos IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Estructuras de control y microprogramación. Seguridad de datos e información Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 40.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2021, que tuvo lugar en York, Reino Unido, en septiembre de 2021. Los 17 artÃculos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 76 presentaciones. Se organizaron en secciones temáticas de la siguiente manera: garantÃa de seguridad del aprendizaje automático; ingenierÃa de seguridad; casos de seguridad y aseguramiento; aplicaciones de aprendizaje automático; validación y simulación de seguridad; y tolerancia a fallos. Nota de contenido: Machine Learning Safety Assurance -- Evaluation Framework for Performance Limitation under Sensor Attack -- Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates -- Towards certification of a reduced footprint ACAS-Xu system: A hybrid ML-based solution -- Security Engineering -- IT design for resiliency using extreme value analysis -- Evaluating and Comparing Contextually Relevant Robustness for Neural Network Classifiers -- SAE 21434-based Risk Assessment of Security Incidents in Automated Road Vehicles -- Safety and Assurance Cases -- Automating the Assembly of Security Assurance Case -- Safety Case Maintenance: A Systematic Literature Review -- Towards Certified Analysis of Software Product Line Safety Cases -- Machine Learning Applications -- Safety assurance of machine learning for chassis control functions -- Safe Interaction of Automated Forklifts and Humans at Blind Cornersin a Warehouse with Infrastructure Sensors -- Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment -- Safety Validation and Simulation -- SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems -- Attacks and Faults Injection in Self-Driving Agents on the Carla Simulator – Experience Report -- A Framework for Automated Quality Assurance and Documentation for Pharma 4.0 -- Fault Tolerance -- A Modular Approach To Non-Deterministic Dynamic Fault Trees -- Composition of Fault Forests. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / [documento electrónico] / Habli, Ibrahim, ; Sujan, Mark, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 278 p. 124 ilustraciones, 87 ilustraciones en color.
ISBN : 978-3-030-83903-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa Informática Red de computadoras IngenierÃa de software Software de la aplicacion Robótica Microprogramación Protección de datos IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Estructuras de control y microprogramación. Seguridad de datos e información Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 40.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2021, que tuvo lugar en York, Reino Unido, en septiembre de 2021. Los 17 artÃculos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 76 presentaciones. Se organizaron en secciones temáticas de la siguiente manera: garantÃa de seguridad del aprendizaje automático; ingenierÃa de seguridad; casos de seguridad y aseguramiento; aplicaciones de aprendizaje automático; validación y simulación de seguridad; y tolerancia a fallos. Nota de contenido: Machine Learning Safety Assurance -- Evaluation Framework for Performance Limitation under Sensor Attack -- Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates -- Towards certification of a reduced footprint ACAS-Xu system: A hybrid ML-based solution -- Security Engineering -- IT design for resiliency using extreme value analysis -- Evaluating and Comparing Contextually Relevant Robustness for Neural Network Classifiers -- SAE 21434-based Risk Assessment of Security Incidents in Automated Road Vehicles -- Safety and Assurance Cases -- Automating the Assembly of Security Assurance Case -- Safety Case Maintenance: A Systematic Literature Review -- Towards Certified Analysis of Software Product Line Safety Cases -- Machine Learning Applications -- Safety assurance of machine learning for chassis control functions -- Safe Interaction of Automated Forklifts and Humans at Blind Cornersin a Warehouse with Infrastructure Sensors -- Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment -- Safety Validation and Simulation -- SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems -- Attacks and Faults Injection in Self-Driving Agents on the Carla Simulator – Experience Report -- A Framework for Automated Quality Assurance and Documentation for Pharma 4.0 -- Fault Tolerance -- A Modular Approach To Non-Deterministic Dynamic Fault Trees -- Composition of Fault Forests. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Permalink
Permalink
Permalink
Permalink
Permalink
