首页>外文会议>International Conference on Computer Safety, Reliability, and Security

International Conference on Computer Safety, Reliability, and Security

召开年：2020
召开地：Lisbon(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Antonio Casimiro;Frank Ortmeier
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
2.Towards AI Trustworthiness

机译：迈向AI诚信
- 作者：Guillaume Soudain
- 会议名称：《》 | 2020年
3.Safe Perception and AI for Autonomous Driving

机译：安全感知和自动驾驶AI
- 作者：Jonas Nilsson
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
4.ISO TR 4804: Safety and Cybersecurity for Automated Driving Systems

机译：ISO TR 4804：自动驾驶系统的安全性和网络安全
- 作者：Simon Fuerst
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
5.Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities

机译：具有数字依赖身份的网络物理系统运行时安全监控器工程
- 作者：Jan Reich;Daniel Schneider;Ioannis Sorokos;Yiannis Papadopoulos;Tim Kelly;Ran Wei;Eric Armengaud;Cem Kaypmaz
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Dynamic risk management;
- Runtime certification;
- Runtime safety monitor;
- Model-based safety engineering;
6.Systematic Evaluation of (Safety) Assurance Cases

机译：（安全）保证案件的系统评价
- 作者：Thomas Chowdhury;Alan Wassyng;Richard F. Paige;Mark Lawford
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Assurance case;
- Safety;
- GSN;
- Traceability;
7.Just Enough Formality in Assurance Argument Structures

机译：保证论证结构中的正当性
- 作者：Torin Viger;Rick Salay;Gehan Selim;Marsha Chechik
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Assurance cases;
- Goal Structuring Notation (GSN);
- Safety arguments;
- Argument decomposition;
- Strategies;
- Formalization;
- Deductive reasoning;
- Fallacies;
- Argument templates;
8.Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems

机译：旨在重新认证集成海事系统中的模块化更新
- 作者：Georg Hake;Sebastian Feuerstack;Axel Hahn
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- System of Systems;
- Updates;
- Contracts;
- Certification;
9.A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)

机译：高度可参数化，连续运行且对安全至关重要的FPGA设计的功能验证方法：应用于CERN辐射监测电子设备（CROME）
- 作者：Katharina Ceesay-Seitz;Hamza Boukabache;Daniel Perrin
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
10.A Compositional Semantics for Repairable BDMPs

机译：可修复BDMP的组成语义
- 作者：Shahid Khan;Joost-Pieter Katoen;Marc Bouissou
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Reliability;
- Dependability;
- Formal methods;
- Probabilistic model checking;
- Monte-Carlo simulation;
- Compositional analysis;
11.Model-Based Safety Analysis of Mode Transitions

机译：基于模型的模式转换安全性分析
- 作者：Marco Bozzano;Peter Munk;Markus Schweizer;Stefano Tonetta;Viktoria Vozarova
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
12.Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference

机译：使用符号自动机学习和归纳推理将安全LTL有效转换为DFA
- 作者：Georgios Giantamidis;Stylianos Basagiannis;Stavros Tripakis
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Linear Temporal Logic;
- Safety properties;
- Automata learning;
- Symbolic automata;
- Inductive inference;
13.Automated Attacker Synthesis for Distributed Protocols

机译：分布式协议的自动攻击者综合
- 作者：Max von Hippel;Cole Vick;Stavros Tripakis;Cristina Nita-Rotaru
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Synthesis;
- Security;
- Distributed protocols;
14.An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security

机译：用于评估物理网络安全性的攻击者建模框架
- 作者：Christopher Deloglos;Carl Elks;Ashraf Tantawy
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- CPS;
- Security;
- Attacker modeling;
15.Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection

机译：使用神经网络预测铁路信号命令以进行异常检测
- 作者：Markus Heinrich;Dominik Renkel;Tolga Arul;Stefan Katzenbeisser
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
16.Automated Anomaly Detection in CPS Log Files: A Time Series Clustering Approach

机译：CPS日志文件中的自动异常检测：时间序列聚类方法
- 作者：Tabea Schmidt;Florian Hauer;Alexander Pretschner
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Anomaly detection;
- CPS;
- Time series data;
- Clustering;
- Unsupervised machine learning;
- Log analysis;
17.Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

机译：确保人行横道上行人检测的机器学习安全性
- 作者：Lydia Gauerhof;Richard Hawkins;Chiara Picardi;Colin Paterson;Yuki Hagiwara;Ibrahim Habli
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Machine Learning;
- Safety argument;
- Self-driving car;
- Safety assurance process;
18.Safety-Aware Hardening of 3D Object Detection Neural Network Systems

机译：3D对象检测神经网络系统的安全意识强化
- 作者：Chih-Hong Cheng
- 会议名称：《》 | 2020年
19.Model-Centered Assurance for Autonomous Systems

机译：自治系统的以模型为中心的保证
- 作者：Susmit Jha;John Rushby;Natarajan Shankar
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
20.A Safety Framework for Critical Systems Utilising Deep Neural Networks

机译：利用深度神经网络的关键系统的安全框架
- 作者：Xingyu Zhao;Alec Banks;James Sharp;Valentin Robu;David Flynn;Michael Fisher;Xiaowei Huang
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Safety cases;
- Quantitative claims;
- Reliability claims;
- Deep learning verification;
- Assurance arguments;
- Safe AI;
- Bayesian inference;
21.Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware

机译：现成的复杂计算硬件的保证论证元素
- 作者：Rob Ashmore;James Sharp
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Artificial intelligence;
- Computational hardware;
- Machine learning;
- Safety;
- Security;
22.Quantifying Assurance in Learning-Enabled Systems

机译：启用学习的系统中的量化保证
- 作者：Erfan Asaadi;Ewen Denney;Ganesh Pai
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Assurance;
- Autonomy;
- Confidence;
- Learning-enabled systems;
- Machine learning;
- Quantification;
23.Cyber-Security of Neural Networks in Medical Devices

机译：医疗设备中神经网络的网络安全
- 作者：Uwe Becker
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Medical devices;
- Neural networks;
- AI;
- CNN;
- DNN;
- Cyber-security;
- Systems engineering;
- Safety-informed security;
- STPA-SafeSec;
24.FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases

机译：FASTEN.Safe：模型驱动的工程工具，用于检验可检查的保证案例
- 作者：Carmen Carlan;Daniel Ratiu
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Assurance cases;
- GSN;
- NuSMV;
- Language engineering;
25.On Validating Attack Trees with Attack Effects

机译：关于使用攻击效果验证攻击树
- 作者：Hideaki Nishihara;Yasuyuki Kawanishi;Daisuke Souma;Hirotaka Yoshida
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
26.Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle

机译：安全满足安全性：将IEC 62443用于高度自动化的公路车辆
- 作者：Dominik Puellen;Nikolaos Anagnostopoulos;Tolga Arul;Stefan Katzenbeisser
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- IEC 62443;
- Security;
- Safety;
- Risk mitigation;
27.Threat Analysis Framework for Safety Architectures in SCDL

机译：SCDL中安全架构的威胁分析框架
- 作者：Kenji Taguchi;Ryo Kurachi;Kiyoshi Sasaki;Nobuhiko Nakamura;Kazuki Tomonaga;Shuhei Yamashita
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- SCDL;
- Safety architecture;
- ISO 26262;
- Security;
- Threat analysis;
28.Efficient Load-Time Diversity for an Embedded Real-Time Operating System

机译：嵌入式实时操作系统的有效加载时间多样性
- 作者：Joachim Fellmuth;Julian Hartmer;Hanno Skowronek;Sabine Glesner
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Security;
- Real-time;
- FreeRTOS;
- CPS;
- WCET;
29.Towards an Automated Exploration of Secure IoT/CPS Design-Variants

机译：致力于安全物联网/ CPS设计变量的自动探索
- 作者：Lukas Gressl;Michael Krisper;Christian Steger;Ulrich Neffe
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Cyber security;
- Embedded system design;
- Secure IoT systems;
- Secure CPS;
- Secure embedded consumer devices;
30.Securing Electric Vehicle Charging Systems Through Component Binding

机译：通过组件绑定保护电动汽车充电系统
- 作者：Andreas Fuchs;Dustin Kern;Christoph Krauss;Maria Zhdanova
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Electric vehicle charging;
- Security;
- TPM 2.0;
- ISO 15118;
31.Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs

机译：使用基于硬件在环的故障注入确定工业控制程序中控制流错误的影响
- 作者：Jens Vankeirsbilck;Hans Hallez;Jeroen Boydens
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Hardware-in-the-loop simulation;
- Fault injection;
- Control flow error;
32.On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study

机译：关于配置用于可靠性实验的测试台：准则和故障注入案例研究
- 作者：Joao R. Campos;Ernesto Costa;Marco Vieira
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Dependability;
- Testbed;
- Fault injection;
33.A Classification of Faults Covering the Human-Computer Interaction Loop

机译：人机交互回路的故障分类
- 作者：Philippe Palanque;Andy Cockburn;Carl Gutwin
- 会议名称：《International Conference on Computer Safety, Reliability, and Security》 | 2020年
- Human error;
- Failures;
- Human-computer interaction loop;