東華大學圖書館 |

Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Computer safety, reliability, and security/ edited by Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch.
其他題名:	42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
其他題名:	SAFECOMP 2023
其他作者:	Guiochet, Jeremie.
團體作者:	SAFECOMP (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xvii, 284 p. :ill. (some col.), digital ;24 cm.
內容註:	Safety Assurance -- Assurance Case Arguments in the Large - CERN LHC Machine Protection System -- Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments -- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases -- Software Testing & Reliability -- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study -- A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry -- Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics -- Neural Networks Robustness & Monitoring -- A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks -- Are Transformers More Robust? Towards Exact Robustness Verification for Transformers -- Model-based Security and Threat Analysis -- Model-based Generation of Attack-Fault Trees -- MBTA: A Model-Based Threat Analysis approach for software architectures -- Attribute Repair for Threat Prevention -- Safety of Autonomous Driving -- Probabilistic Spatial Relations for Monitoring Behavior of Road Users -- Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems -- Security Engineering -- Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems -- From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures -- AI Safety -- The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems -- Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products -- Online Quantization Adaptation for Fault-Tolerant Neural Network Inference -- Neural Networks & Testing -- Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection -- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models.
Contained By:	Springer Nature eBook
標題:	Computer security - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-40923-3
ISBN:	9783031409233

Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
Computer safety, reliability, and security42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /[electronic resource] :SAFECOMP 2023edited by Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch. - Cham :Springer Nature Switzerland :2023. - xvii, 284 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,141810302-9743 ;. - Lecture notes in computer science ;14181..

Safety Assurance -- Assurance Case Arguments in the Large - CERN LHC Machine Protection System -- Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments -- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases -- Software Testing & Reliability -- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study -- A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry -- Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics -- Neural Networks Robustness & Monitoring -- A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks -- Are Transformers More Robust? Towards Exact Robustness Verification for Transformers -- Model-based Security and Threat Analysis -- Model-based Generation of Attack-Fault Trees -- MBTA: A Model-Based Threat Analysis approach for software architectures -- Attribute Repair for Threat Prevention -- Safety of Autonomous Driving -- Probabilistic Spatial Relations for Monitoring Behavior of Road Users -- Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems -- Security Engineering -- Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems -- From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures -- AI Safety -- The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems -- Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products -- Online Quantization Adaptation for Fault-Tolerant Neural Network Inference -- Neural Networks & Testing -- Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection -- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models.

This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.

ISBN: 9783031409233

Standard No.: 10.1007/978-3-031-40923-3doiSubjects--Topical Terms:

622818
Computer security
--Congresses.

LC Class. No.: QA76.9.A25 / S34 2023

Dewey Class. No.: 005.8

Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
LDR:03774nmm a2200349 a 4500 001 2373635
003 DE-He213
005 20240307130545.0
006 m d
007 cr nn 008maaau
008 241231s2023 sz s 0 eng d
020 $a 9783031409233 $q (electronic bk.)
020 $a 9783031409226 $q (paper)
024 7 $a 10.1007/978-3-031-40923-3 $2 doi
035 $a 978-3-031-40923-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b S34 2023
072 7 $a UK $2 bicssc
072 7 $a COM067000 $2 bisacsh
072 7 $a UK $2 thema
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b S128 2023
111 2 $a SAFECOMP (Conference) $n (42nd : $d 2023 : $c Toulouse, France) $3 3666109
245 1 0 $a Computer safety, reliability, and security $h [electronic resource] : $b 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / $c edited by Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch.
246 3 $a SAFECOMP 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xvii, 284 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14181
505 0 $a Safety Assurance -- Assurance Case Arguments in the Large - CERN LHC Machine Protection System -- Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments -- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases -- Software Testing & Reliability -- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study -- A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry -- Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics -- Neural Networks Robustness & Monitoring -- A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks -- Are Transformers More Robust? Towards Exact Robustness Verification for Transformers -- Model-based Security and Threat Analysis -- Model-based Generation of Attack-Fault Trees -- MBTA: A Model-Based Threat Analysis approach for software architectures -- Attribute Repair for Threat Prevention -- Safety of Autonomous Driving -- Probabilistic Spatial Relations for Monitoring Behavior of Road Users -- Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems -- Security Engineering -- Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems -- From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures -- AI Safety -- The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems -- Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products -- Online Quantization Adaptation for Fault-Tolerant Neural Network Inference -- Neural Networks & Testing -- Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection -- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models.
520 $a This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.
650 0 $a Computer security $v Congresses. $3 622818
650 0 $a Computer organization $v Congresses. $3 3217692
650 0 $a Software engineering $x Congresses. $3 696781
650 0 $a Programming languages (Electronic computers) $v Congresses. $3 622523
650 0 $a Computer logic $x Congresses. $3 726280
650 0 $a Application software $x Security measures $v Congresses. $3 3502338
650 1 4 $a Computer Engineering and Networks. $3 3538504
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Computer and Information Systems Applications. $3 3538505
650 2 4 $a Robotics. $3 519753
650 2 4 $a Control Structures and Microprogramming. $3 895886
650 2 4 $a Data and Information Security. $3 3538510
700 1 $a Guiochet, Jeremie. $3 3135722
700 1 $a Tonetta, Stefano. $3 3251751
700 1 $a Bitsch, Friedemann. $3 3135723
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14181. $3 3721918
856 4 0 $u https://doi.org/10.1007/978-3-031-40923-3
950 $a Computer Science (SpringerNature-11645)

	簡單查詢
	進階查詢
	圖書館推薦圖書
	讀者推薦圖書(公開)

	教師指定參考書
	借閱排行榜
	預約排行榜
	分類瀏覽
	展示書
	專題書單RSS

	個人資料
	個人檢索策略
	個人薦購
	借閱紀錄/續借/預約
	個人評論
	個人書籤
	東區互惠借書