| TÃtulo : |
Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Romanovsky, Alexander, ; Troubitsyna, Elena, ; Gashi, Ilir, ; Schoitsch, Erwin, ; Bitsch, Friedemann, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XVI, 412 p. 163 ilustraciones, 90 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-26250-1 |
| 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 Protección de datos CriptografÃa Cifrado de datos (Informática) IngenierÃa de software Visión por computador IngenierÃa Informática y Redes Seguridad de datos e información CriptologÃa |
| Ãndice Dewey: |
621.39 Ciencia de los computadores (Ingenieria de computadores) |
| Resumen: |
Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2019, 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, en septiembre de 2019 en Turku, Finlandia. Los 32 artÃculos regulares incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones; el libro también contiene dos artÃculos invitados. Los talleres incluidos en este volumen son: ASSURE 2019: 7° Taller Internacional sobre Casos de Aseguramiento para Sistemas Intensivos en Software DECSoS 2019: 14° Taller ERCIM/EWICS/ARTEMIS sobre Sistemas de Sistemas y Sistemas de Sistemas CiberfÃsicos, Inteligentes y Confiables SASSUR 2019: Octavo taller internacional sobre la próxima generación de enfoques de garantÃa de sistemas para sistemas crÃticos para la seguridad STRIVE 2019: Segundo taller internacional sobre seguridad y privacidad en sistemas automotrices WAISE 2019: Segundo taller internacional sobre ingenierÃa de seguridad con inteligencia artificial. |
| Nota de contenido: |
7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. |
| 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 |
Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings [documento electrónico] / Romanovsky, Alexander, ; Troubitsyna, Elena, ; Gashi, Ilir, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 412 p. 163 ilustraciones, 90 ilustraciones en color. ISBN : 978-3-030-26250-1 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 Protección de datos CriptografÃa Cifrado de datos (Informática) IngenierÃa de software Visión por computador IngenierÃa Informática y Redes Seguridad de datos e información CriptologÃa |
| Ãndice Dewey: |
621.39 Ciencia de los computadores (Ingenieria de computadores) |
| Resumen: |
Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2019, 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, en septiembre de 2019 en Turku, Finlandia. Los 32 artÃculos regulares incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones; el libro también contiene dos artÃculos invitados. Los talleres incluidos en este volumen son: ASSURE 2019: 7° Taller Internacional sobre Casos de Aseguramiento para Sistemas Intensivos en Software DECSoS 2019: 14° Taller ERCIM/EWICS/ARTEMIS sobre Sistemas de Sistemas y Sistemas de Sistemas CiberfÃsicos, Inteligentes y Confiables SASSUR 2019: Octavo taller internacional sobre la próxima generación de enfoques de garantÃa de sistemas para sistemas crÃticos para la seguridad STRIVE 2019: Segundo taller internacional sobre seguridad y privacidad en sistemas automotrices WAISE 2019: Segundo taller internacional sobre ingenierÃa de seguridad con inteligencia artificial. |
| Nota de contenido: |
7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. |
| 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 |
|  |
Hacer una sugerencia Refinar búsquedaComputer Safety, Reliability, and Security / Romanovsky, Alexander ; Troubitsyna, Elena ; Gashi, Ilir ; Schoitsch, Erwin ; Bitsch, Friedemann
