Computer safety, reliability, and se...
SAFECOMP (Conference) (2023 :)

FindBook      Google Book      Amazon      博客來     
  • Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Computer safety, reliability, and security/ edited by Jeremie Guiochet ... [et al.].
    其他題名: SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings /
    其他題名: SAFECOMP 2023 Workshops
    其他作者: Guiochet, Jeremie.
    團體作者: SAFECOMP (Conference)
    出版者: Cham :Springer Nature Switzerland : : 2023.,
    面頁冊數: xvi, 438 p. :ill. (some col.), digital ;24 cm.
    內容註: Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities -- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy -- Assurance Cases for Timing Properties of Automotive TSN Networks -- Toward Dependability Assurance Framework for Automated Driving Systems -- A Quantitative Approach for System of Systems' Resilience Analyzing Based on Archimate -- Towards DO-178C Compliance of a Secure Product -- The Need for Threat Modelling in Unmanned Aerial Systems -- Using Runtime information of controllers for safe adaptation at runtime: a Process Mining approach -- Safety and Robustness for Deep Neural Networks: An Automotive Use Case -- Towards Dependable Integration Concepts for AI-based Systems -- A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices -- Computer-Aided Generation of Assurance Cases -- RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence -- Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases -- Analyzing Origins of Safety and Security Interactions using Feared Events Trees and Multi-level Model -- Utilising Redundancy to Enhance Security of Safety-Critical Systems -- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain -- Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning -- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals -- Research on Brain Load prediction based on machine learning for High-speed Railway -- Paired Safety Rule Structure for Human-machine Cooperation with Feature Update and Evolution -- Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling -- Rear-end Collision Risk Analysis for Autonomous Driving -- Improving road traffic safety and performance - barriers and directions towards cooperative automated vehicles -- A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions -- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning -- AIMOS: Metamorphic Testing of AI - An Industrial Application -- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms -- A Reasonable Driver Standard for Automated Vehicle Safety -- Structuring Research Related to Dynamic Risk Management for Autonomous Systems -- Towards Safe Machine Learning Lifecycles with ESG Model Cards -- Towards Deep Anomaly Detection with Structured Knowledge Representations -- Evaluating and Increasing Segmentation Robustness in CARLA -- Safety Integrity Levels for Artificial Intelligence -- Can Large Language Models assist in Hazard Analysis -- Contextualised Out-of-Distribution Detection using Pattern Identification.
    Contained By: Springer Nature eBook
    標題: Computer security - Congresses. -
    電子資源: https://doi.org/10.1007/978-3-031-40953-0
    ISBN: 9783031409530
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入