| TÃtulo : |
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. |
| 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 |
| Ãndice Dewey: |
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. |
| 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 |
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.
| 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 |
| Ãndice Dewey: |
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. |
| 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 |
|  |
39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
