首页>外文会议>Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops

Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops

召开年：2020
召开地：Valencia(ES)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Message from the Workshops Chairs - DSN 2020

机译：研讨会主席致辞-DSN 2020
- 作者：Domenico Cotroneo;Cristina Nita Rotaru
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
2.Third International Workshop on Dependable and Secure Machine Learning – DSML 2020

机译：第三届可靠和安全机器学习国际研讨会– DSML 2020
- 作者：Homa Alemzadeh;Rakesh Bobba;Varun Chandrasekaran;David E. Evans;Nicolas Papernot;Karthik Pattabiraman;Florian Tramèr
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
3.Second International Workshop on Data-Centric Dependability and Security (DCDS)

机译：第二届以数据为中心的可靠性和安全性国际研讨会（DCDS）
- 作者：Ibéria Medeiros;Ilir Gashi;Michael Kamp;Pedro Ferreira
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
4.Workshop on High-performance Computing Platforms for Dependable Autonomous Systems

机译：可靠自治系统的高性能计算平台研讨会
- 作者：Carles Hernández;Jaume Abella;Mikel Azkarate-Askasua;Roman Obermaisser
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
5.6th International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2020

机译：第六届智能车辆安全与防护国际研讨会-SSIV 2020
- 作者：Joäo Carlos Cunha;Kalinka Branco;Michael Lauer
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
6.TAaMR: Targeted Adversarial Attack against Multimedia Recommender Systems

机译：TAaMR：针对多媒体推荐系统的针对性攻击
- 作者：Tommaso Di Noia;Daniele Malitesta;Felice Antonio Merra
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Perturbation methods;
- Feature extraction;
- Multimedia systems;
- Recommender systems;
- Visualization;
- Task analysis;
- Measurement;
7.On The Generation of Unrestricted Adversarial Examples

机译：论无限制对抗性例子的产生
- 作者：Mehrgan Khoshpasand;Ali Ghorbani
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Robustness;
- Generators;
- Gallium nitride;
- Perturbation methods;
- Machine learning;
- Generative adversarial networks;
- Training;
8.Blackbox Attacks on Reinforcement Learning Agents Using Approximated Temporal Information

机译：使用近似的时间信息对强化学习代理进行黑箱攻击
- 作者：Yiren Zhao;Ilia Shumailov;Han Cui;Xitong Gao;Robert Mullins;Ross Anderson
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Training;
- Games;
- Perturbation methods;
- Predictive models;
- Task analysis;
- Learning (artificial intelligence);
- Approximation algorithms;
9.PyTorchFI: A Runtime Perturbation Tool for DNNs

机译：PyTorchFI：DNN的运行时扰动工具
- 作者：Abdulrahman Mahmoud;Neeraj Aggarwal;Alex Nobbe;Jose Rodrigo Sanchez Vicarte;Sarita V. Adve;Christopher W. Fletcher;Iuri Frosio;Siva Kumar Sastry Hari
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Perturbation methods;
- Tools;
- Neurons;
- Runtime;
- Machine learning;
- Reliability;
- Hardware;
10.Online Verification through Model Checking of Medical Critical Intelligent Systems

机译：通过医疗关键智能系统的模型检查进行在线验证
- 作者：João Martins;Raul Barbosa;Nuno Lourenço;Jacques Robin;Henrique Madeira
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Risk management;
- Model checking;
- Artificial intelligence;
- Software;
- Medical diagnostic imaging;
- Informatics;
- Tools;
11.BlurNet: Defense by Filtering the Feature Maps

机译：BlurNet：通过过滤特征图进行防御
- 作者：Ravi S. Raju;Mikko Lipasti
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Perturbation methods;
- Robustness;
- Standards;
- Kernel;
- Neural networks;
- Adaptation models;
12.Association Rule Mining with Differential Privacy

机译：具有差异隐私的关联规则挖掘
- 作者：Hao Zhen;Bo-Cheng Chiou;Yao-Tung Tsou;Sy-Yen Kuo;Pang-Chieh Wang
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Privacy;
- Partitioning algorithms;
- Itemsets;
13.Pelican: A Deep Residual Network for Network Intrusion Detection

机译：Pelican：用于网络入侵检测的深度残留网络
- 作者：Peilun Wu;Hui Guo;Nour Moustafa
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Training;
- Intrusion detection;
- Neural networks;
- Convolution;
- Tuning;
- Degradation;
- Feature extraction;
14.Open Source Hardware: An Opportunity For Critical Systems

机译：开源硬件：关键系统的机会
- 作者：Jimmy Le Rhun;Sylvain Girbal;Daniel Gracia Pérez
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Multicore processing;
- Software;
- Aerospace electronics;
- Real-time systems;
- Computer security;
- Hardware;
- Interference;
15.Development of a NOEL-V RISC-V SoC Targeting Space Applications

机译：针对空间应用的NOEL-V RISC-V SoC开发
- 作者：Jan Andersson
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Computer architecture;
- Microprocessors;
- Aerospace electronics;
- Software;
- Europe;
- Industries;
- Standards;
16.Safe and secure software updates on high-performance embedded systems

机译：高性能嵌入式系统上安全可靠的软件更新
- 作者：Irune Agirre
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Safety;
- Standards;
- Security;
- Embedded systems;
- Autonomous systems;
- Automobiles;
17.Approaching certification of complex systems

机译：接近复杂系统的认证
- 作者：Nicholas Mc Guire;Imanol Allende
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Safety;
- IEC Standards;
- Complex systems;
- Software;
- Linux;
- Complexity theory;
18.AI Safety Landscape From short-term specific system engineering to long-term artificial general intelligence

机译：AI安全格局，从短期特定的系统工程到长期的人工智能
- 作者：José Hernández-Orallo
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Safety;
- Conferences;
- Systems engineering and theory;
- Terminology;
- Bridges;
- Machine learning;
19.AI and Reliability Trends in Safety-Critical Autonomous Systems on Ground and Air

机译：地面和空中安全关键自主系统的AI和可靠性趋势
- 作者：Jyotika Athavale;Andrea Baldovin;Ralf Graefe;Michael Paulitsch;Rafael Rosales
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Safety;
- Reliability;
- Machine learning;
- Autonomous systems;
- Transient analysis;
- Consumer electronics;
20.Reward Tuning for self-adaptive Policy in MDP based Distributed Decision-Making to ensure a Safe Mission Planning

机译：基于MDP的分布式决策中的自适应策略的奖励调整，以确保安全的任务计划
- 作者：Mohand Hamadouche;Catherine Dezan;Kalinka R. L. J. C. Branco
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Decision making;
- Safety;
- Planning;
- Forestry;
- Tuning;
- Uncertainty;
- Robots;
21.The Quantitative Risk Norm - A Proposed Tailoring of HARA for ADS

机译：定量风险规范-针对ADS的HARA拟议裁缝
- 作者：Fredrik Warg;Martin Skoglund;Anders Thorsén;Rolf Johansson;Mattias Brännström;Magnus Gyllenhammar;Martin Sanfridson
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Hazards;
- ISO Standards;
- Accidents;
- Risk management;
- Vehicles;
- Task analysis;
22.Analysis of Cybersecurity Mechanisms with respect to Dependability and Security Attributes

机译：关于可靠性和安全性的网络安全机制分析
- 作者：Behrooz Sangchoolie;Peter Folkesson;Pierre Kleberger;Jonny Vinter
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Systematics;
- NIST;
- Authentication;
- Safety;
- Access control;
23.Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection

机译：使用基于强化学习的故障注入探索故障参数空间
- 作者：Mehrdad Moradi;Bentley James Oakes;Mustafa Saraoglu;Andrey Morozov;Klaus Janschek;Joachim Denil
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Space exploration;
- Circuit faults;
- Safety;
- Complexity theory;
- Integrated circuit modeling;
- Learning (artificial intelligence);
- Acceleration;
24.Flexible Deployment and Enforcement of Flight and Privacy Restrictions for Drone Applications

机译：灵活部署和执行无人机应用程序的飞行和隐私限制
- 作者：Nasos Grigoropoulos;Spyros Lalis
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Drones;
- Sensors;
- Navigation;
- Runtime;
- Cameras;
- Privacy;
- Urban areas;
25.Conceptual Design of Human-Drone Communication in Collaborative Environments

机译：协作环境中人机交互的概念设计
- 作者：Hans Dermot Doran;Monika Reif;Marco Oehler;Curdin Stöhr;Pierluigi Capone
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Drones;
- Collaboration;
- Robustness;
- Azimuth;
- Safety;
- Real-time systems;
- Standards;
26.A hierarchical fault tolerant architecture for an autonomous robot

机译：自主机器人的分层容错架构
- 作者：Anthony Favier;Antonin Messioux;Jérémie Guiochet;Jean-Charles Fabre;Charles Lesire
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2020年
- Fault tolerance;
- Fault tolerant systems;
- Fault trees;
- Robot kinematics;
- Osmosis;
- Robot sensing systems;
27.Resilience Modeling by Means of a Set of Recursive Functions

机译：通过一组递归函数恢复建模
- 作者：Maria Teresa Signes Pont;Juan Manuel Garcia Chamizo;Higinio Mora Mora;Jeronimo Mora Pascual
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Recursive functions;
- Behavioral modeling;
- Resilience design principles;
- Complex systems;
- System archetypes;
28.Survey on Security Threats and Protection Mechanisms in Embedded Automotive Networks

机译：嵌入式汽车网络安全威胁与保护机制调查
- 作者：Ivan Studnia;Vincent Nicomette;Eric Alata;Yves Deswarte;Mohamed Kaaniche;Youssef Laarouchi
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
29.FORISK: Formalizing Information Security Risk and Compliance Management

机译：formisk：正式化信息安全风险和合规性管理
- 作者：Stefan Fenz;Thomas Neubauer;Rafael Accorsi;Thomas Koslowski
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Semantic technologies;
- Compliance management;
- Resilience management;
- Information security;
30.Improving the Dependability of FPGA-based Real-Time Embedded Systems with Partial Dynamic Reconfiguration

机译：提高基于FPGA的实时嵌入式系统的可靠性，具有部分动态重新配置
- 作者：Jose Luis Nunes
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Dependability;
- Real-time;
- Embedded systems;
- FPGA;
- SEU;
31.Workshop on Reliability and Security Data Analysis RSDA 2013

机译：可靠性和安全数据分析研讨会RSDA 2013
- 作者：Catello Di Martino;Antonio Pecchia;Jon Stearley
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
32.Scalable Security Analysis in Hierarchical Attack Representation Model using Centrality Measures

机译：使用中心度测量的分层攻击表示模型中的可扩展安全分析
- 作者：Jin B. Hong;Dong Seong Kim
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Attack Graph;
- Attack Tree;
- Network Centrality;
- Security Analysis;
- Security Modelling Techniques;
33.Resilience: The Case of International Treaties

机译：弹性：国际条约的案例
- 作者：Ola Dahlman;Nicholas Kyriakopoulos
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Resilience;
- International treaties;
- Arms control;
- Effectiveness;
34.SCoRe: An Across-the-Board Metric for Computer Systems Resilience Benchmarking

机译：得分：计算机系统的跨板度量标准弹性基准
- 作者：Raquel Almeida;Afonso Araujo Neto;Marco Vieira
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Resilience;
- Resilient systems;
- Metrics;
- Benchmarking;
- Changeload;
- Change scenario;
35.Storage-Efficient Data Replica Number Computation for Multi-level Priority Data in Distributed Storage Systems

机译：分布式存储系统中的多级优先级数据的存储高效数据副本计算
- 作者：Chris X. Cai;Cristina L. Abad;Roy H. Campbell
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Storage system;
- Replication;
- Availability;
- Optimization;
- Budget;
36.Community-based Resilient Electricity Sharing: Optimal Spatial Clustering

机译：基于社区的弹性电力共享：最佳空间聚类
- 作者：Yoshiki Yamagata;Hajime Seya
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Electricity sharing;
- PV;
- CO_2 neutral;
- Spatial clustering;
37.On Reliability Analysis of Leader Election Protocols for Virtual Traffic Lights

机译：关于虚拟红绿灯领导选举协议的可靠性分析
- 作者：Negin Fathollahnejad;Emilia Villani;Risat Pathan;Raul Barbosa;Johan Karlsson
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Virtual traffic lights;
- Autonomous driving;
- Consensus protocols;
- Reliability analysis;
38.2nd Workshop on Open Resilient human-aware Cyber-physical systems

机译：第二次研讨会开放式弹性人为人感知网络系统
- 作者：Mohamed Kaaniche;Michael Harrison;Hermann Kopetz;Daniel Siewiorek
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
39.Key Issues in Service Systems Resilience

机译：服务系统恢复力的关键问题
- 作者：Kazuo Furuta;Taro Kanno
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Service systems;
- Dependency analysis;
- Service infrastructure;
- Stakeholders;
40.Behavioral aspects for agent-based models of resilient urban systems

机译：基于代理的弹性城市系统模型的行为方面
- 作者：Thomas Brudermann;Yoshiki Yamagata
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Extreme events;
- Social resilience;
- Human decision making;
- Heuristics;
- Mass psychology;
41.Predicting Job Completion Times Using System Logs in Supercomputing Clusters

机译：使用System Logs在超级计算集群中预测工作完成时间
- 作者：Xin Chen;Charng-Da Lu;Karthik Pattabiraman
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Log Analysis;
- Prediction;
- Hidden Markov Model;
42.Detecting and Tolerating Data Corruptions due to Device Driver Defects

机译：由于设备驱动程序缺陷，检测和容忍数据损坏
- 作者：Francesco Fucci
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Device Drivers;
- Data Corruption;
- Operating Systems;
- Fault Tolerance;
43.IOCheck: A Framework to Enhance the Security of I/O Devices at Runtime

机译：iocheck：一个框架，可以在运行时增强I / O设备的安全性
- 作者：Fengwei Zhang
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Integrity;
- Firmware;
- I/O Configurations;
- SMM;
44.Interoperability in Fingerprint Recognition: A Large-Scale Empirical Study

机译：指纹识别中的互操作性：大规模的实证研究
- 作者：Luca Lugini;Emanuela Marasco;Bojan Cukic;Ilir Gashi
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
45.Data Fusion-Based Anomaly Detection in Networked Critical Infrastructures

机译：基于数据融合的异常检测网络关键基础架构
- 作者：Bela Genge;Christos Siaterlis;Georgios Karopoulos
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Anomaly Detection System;
- Networked Critical Infrastructures;
- SCADA;
- Data Fusion;
- MPLS;
- DDoS;
46.Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance (Invited Paper)

机译：在存在自适应巡航控制相关失败的情况下，驱动程序性能：对安全分析和容错的影响（邀请纸）
- 作者：Josef Nilsson;Niklas Strand;Paolo Falcone;Jonny Vinter
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Adaptive cruise control;
- Controllability;
- Failure model;
- Driver behavior;
47.Towards Systems Resilience

机译：朝向系统恢复力
- 作者：Hiroshi Maruyama
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Resilience;
- Extreme events;
- Redundancy;
- Diversity;
- Adaptability;
48.Fault-Tolerant Broadcast Algorithms for the Virtual Hypercube Topology

机译：虚拟高速拓扑的容错广播算法
- 作者：Luiz A. Rodrigues
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
49.Autonomous Emergency Braking: A System-of-Systems Perspective

机译：自主紧急制动：系统系统的视角
- 作者：Hermann Kopetz;Stephan Poledna
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- System-of-Systems;
- SoS;
- Autonomous Emergency Braking;
- Emergence;
50.Golden-run Alignment for Analysis of Robustness Testing Results: Dealing with Diagnostics Issues

机译：鲁棒性测试结果分析的金色对齐方式：处理诊断问题
- 作者：Gizelle Sandrini Lemos;Eliane Martins
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Robustness testing result analysis;
- Golden run comparison;
- Sequence alignment;
51.Cyber Security Problem based on Multi-Objective Distributed Constraint Optimization Technique

机译：基于多目标分布式约束优化技术的网络安全问题
- 作者：Tenda Okimoto;Naoto Ikegai;Katsumi Inoue;Hitoshi Okada;Tony Ribeiro;Hiroshi Maruyama
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Cyber Security Problem;
- Multi-Objective Distributed Constraint Optimization;
52.Practical Experiences with real-world systems: Security in the World of Reliable and Safe Systems

机译：现实世界系统的实践经验：可靠和安全系统的安全性
- 作者：Nuno Silva;Rui Lopes
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Reliability;
- Safety;
- Security;
- Railway;
- Data Analysis;
- Safety critical;
- Signalling system;
53.Reducing service failures by failure and workload aware load balancing in SaaS clouds

机译：通过在SaaS云中减少故障和工作负载感知负载平衡来减少服务失败
- 作者：Arpan Roy;Rajeshwari Ganesan;Dinesh Dash;Santonu Sarkar
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Cloud data center;
- Failure model;
- VM migration;
- Software aging;
- Coefficient of variation;
- Discrete event simulation;
54.SAFE: Shoulder-Surfing Attack Filibustered With Ease

机译：安全：肩部冲浪攻击易于轻松灭绝
- 作者：Narayan Gowraj;Srinivas Avireddy;Prasanna Venkatesh Ravi;Raghav Babu Subramanian;Sruthi Prabhu
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- GUA;
- Authentication;
- Shoulder-surfing;
- Look-up table;
55.The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems

机译：Karyon项目：在合作车辆系统中可预测和安全的协调
- 作者：Antonio Casimiro;Jorg Kaiser;Elad M. Schiller;Pedro Costa;Jose Parizi;Rolf Johansson;Renato Librino
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
56.Investigating DNS traffic anomalies for malicious activities

机译：调查DNS交通异常进行恶意活动
- 作者：Fyodor Yarochkin;Vladimir Kropotov;Yennun Huang;Guo-Kai Ni;Sy-Yen Kuo;Ing-Yi Chen
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
57.An Intrusion-Tolerant Firewall Design for Protecting SIEM Systems

机译：一种用于保护SIEM系统的入侵防火墙设计
- 作者：Miguel Garcia;Nuno Neves;Alysson Bessani
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Intrusion Tolerance;
- Intrusion Prevention Systems;
- Firewall;
58.A Framework for Runtime VV in Business-Critical Service Oriented Architectures

机译：业务关键方面的架构运行时V＆V框架
- 作者：Cristiana Areias
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Verification and Validation;
- Service Oriented Architecture;
59.Model-Based Evaluation of System Resilience

机译：基于模型的系统弹性评估
- 作者：J. F. Meyer
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
60.Automatic Collection of Failure Data from the iOS Platform

机译：从iOS平台自动收集故障数据
- 作者：Marcello Cinque;Domenico Cotroneo;Carlos Rodnguez-Dominguez;Jose Luis Garrido
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Failure data collection;
- Smart phones;
- IOS;
61.Towards Evaluating the Impact of Data Quality on Service Applications

机译：旨在评估数据质量对服务应用的影响
- 作者：Naghmeh Ivaki;Nuno Laranjeiro;Marco Vieira
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Robustness assessment;
- Data quality;
- Database application;
- Services;
- Testing;
62.BARLEY: Modelling Program Behavior with Resource Usage

机译：大麦：使用资源使用建模程序行为
- 作者：Kevin Leach
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
63.Reliable Mission Deployment in Vulnerable Distributed Systems

机译：易受攻击的分布式系统中可靠的任务部署
- 作者：Massimiliano Albanese;Sushil Jajodia;Ravi Jhawar;Vincenzo Piuri
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2013年
- Data-driven reliability;
- Mission-centric computing;
- Vulnerability analysis;
64.Towards Low-Latency Byzantine Agreement Protocols Using RDMA

机译：使用RDMA对低延迟拜占庭协议协议
- 作者：Signe Rusch;Ines Messadi;Rudiger Kapitza
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Byzantine Fault Tolerance;
- Remote Direct Memory Access;
- Blockchain Consensus;
65.Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows

机译：通过在时间窗口中识别分组时序异常，检测汽车可以网络攻击
- 作者：Andrew Tomlinson;Jeremy Bryans;Siraj Ahmed Shaikh;Harsha Kumara Kalutarage
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- CAN;
- In-vehicle network;
- Cybersecurity;
- Anomaly detection;
66.Workshop on Byzantine Consensus and Resilient Blockchains (BCRB '18)

机译：拜占庭共识和弹性区块的研讨会（BCRB '18）
- 作者：Alysson Bessani;Hans P. Reiser;Marko Vukolic;Tobias Distler
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
67.4th International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2018

机译：第四届国际智能车辆安全和安全研讨会 - SSIV 2018
- 作者：Joao Carlos Cunha;Kalinka Branco;Michael Lauer
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
68.A Systematic Way to Incorporate Security in Safety Analysis

机译：一种在安全分析中纳入安全的系统方法
- 作者：Elena Lisova;Aida Causevic;Kaj Hanninen;Henrik Thane;Hans Hansson
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
69.Using Diverse Detectors for Detecting Malicious Web Scraping Activity

机译：使用不同探测器来检测恶意网络刮擦活动
- 作者：Pedro Marques;Zayani Dabbabi;Miruna-Mihaela Mironescu;Olivier Thonnard;Alysson Bessani;Frances Buontempo;Ilir Gashi
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Security assessment;
- Software diversity;
- Security tools;
- Botnet detection;
70.Challenges and pitfalls of partitioning blockchains

机译：分区区块链的挑战和陷阱
- 作者：Enrique Fynn;Fernando Pedone
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
71.Lifeguard: Local Health Awareness for More Accurate Failure Detection

机译：救生员：当地健康意识，更准确的失败检测
- 作者：Armon Dadgar;James Phillips;Jon Currey
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
72.On the Safety of Automotive Systems Incorporating Machine Learning based Components A position paper

机译：基于机器学习组件的汽车系统安全性纸张
- 作者：Mohamad Gharib;Paolo Lollini;Marco Botta;Elvio Amparore;Susanna Donatelli;Andrea Bondavalli
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Automotive systems;
- Functional safety;
- Machine learning;
- ISO 26262;
- ADAS;
73.SecureCloud: Secure Big Data Processing in Untrusted Clouds

机译：securecloud：在不受信任的云中安全的大数据处理
- 作者：Andrey Brito;Christof Fetzer
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
74.Towards Dynamic End-to-End Privacy Preserving Data Classification

机译：朝着动态端到端隐私保留数据分类
- 作者：Rania Talbi;Sara Bouchenak;Lydia Y. Chen
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Privacy preserving data classification;
- Decision trees;
- Incremental learning;
- Homomorphic encryption;
75.AVFI: Fault Injection for Autonomous Vehicles

机译：AVFI：自动车辆故障注射
- 作者：Saurabh Jha;Subho S. Banerjee;James Cyriac;Zbigniew T. Kalbarczyk;Ravishankar K. Iyer
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
76.Fuzz Testing for Automotive Cyber-security

机译：汽车网络安全的模糊测试
- 作者：Daniel S. Fowler;Jeremy Bryans;Siraj Ahmed Shaikh;Paul Wooderson
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
77.Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes

机译：模型，数据和奖励修复：马尔可夫决策过程的可信机器学习
- 作者：Shalini Ghosh;Susmit Jha;Ashish Tiwari;Patrick Lincoln;Xiaojin Zhu
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
78.EUBra-BIGSEA, A Cloud-Centric Big Data Scientific Research Platform

机译：Eubra-Bigsea，一个以云彩的大数据科学研究平台为中心
- 作者：Ignacio Blanquer;Wagner Meira Jr.
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Cloud Computing;
- Big Data;
- Quality of Service;
- Data Analytics;
79.Finding Top-k Most Frequent Items in Distributed Streams in the Time-Sliding Window Model

机译：在时间滑动窗口模型中查找分布式流中的Top-K最常用的项目
- 作者：Emmanuelle Anceaume;Yann Busnel;Vasile Cazacu
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
80.Special Session at DSN for the Best Papers from SELSE 2018

机译：DSN特别会议为Selse 2018年的最佳论文
- 作者：Alan Wood
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Soft errors;
- Hard errors;
- Logic errors;
- Uncorrectable errors;
- Unrecoverable errors;
- Error mitigation;
- Error models;
- Error-handling protocols;
- Resilience;
- Failure data;
81.Design, Development and Implementation of a Network Intrusion Detection Tool for Air Traffic Management Systems

机译：空中交通管理系统网络入侵检测工具的设计，开发和实现
- 作者：Theobald de Riberolles
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Anomaly detection;
- Intrusion;
- IDS;
- ATM;
82.Dependability in a Multi-tenant Multi-framework Deep Learning as-a-Service Platform

机译：在多租户多框架深度学习AS-Service平台中的可靠性
- 作者：Scott Boag;Parijat Dube;Kaoutar El Maghraoui;Benjamin Herta;Waldemar Hummer;K. R. Jayaram;Rania Khalaf;Vinod Muthusamy;Michael Kalantar;Archit Verma
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
83.Enhanced dependability evaluation through Krylov methods and matrix functions: the case of load-sharing systems

机译：通过Krylov方法和矩阵函数提高可靠性评估：负载共享系统的情况
- 作者：Giulio Masetti
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
84.First International Workshop on Dependable and Secure Machine Learning DSML 2018

机译：第一届国际研讨会，可靠和安全机器学习DSML 2018
- 作者：Homa Alemzadeh;Karthik Pattabiraman;David E. Evans
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
85.SWAMP: Smart Water Management Platform Overview and Security Challenges

机译：沼泽：智能水管理平台概述和安全挑战
- 作者：Carlos Kamienski;Joao Henrique Kleinschmidt;Juha-Pekka Soininen;Kari. Kolehmainen;Luca Roffia;Marcos Visoli;Rodrigo Filev Maia;Stenio Fernandes
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Internet of Things;
- Smart Water Management;
- Precision Irrigation;
86.Visualizing BFT SMR distributed systems - example of BFT-SMaRt

机译：可视化BFT SMR分布式系统 - BFT-SMART示例
- 作者：Noelle Rakotondravony;Hans P. Reiser
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Distributed systems;
- Visualization;
- BFT-SMaRt;
87.Diagnosing Failures of Cloud Management Actions

机译：诊断云管理操作的失败
- 作者：Rohit Ranchal;Praveen Jayachandran
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Cloud computing;
- Troubleshooting;
- Patching;
88.Latency-Aware Leader Selection for Geo-Replicated Byzantine Fault-Tolerant Systems

机译：延迟感知Geo-Replated Byzantine容错系统的领导者选择
- 作者：Michael Eischer;Tobias Distler
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
89.Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework

机译：使用VANVISLMS框架验证和保护DLMS / COSEM实现
- 作者：Henrique Mendes;Iberia Medeiros;Nuno Neves
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
90.Prototyping Automotive Smart Ecosystems

机译：原型制作汽车智能生态系统
- 作者：Emilia Cioroaica;Thomas Kuhn;Thomas Bauer
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Prototype Platform;
- Simulation;
- Smart Ecosystems;
- Automotive;
- Visualization;
- System of Systems;
- Software Ecosystems;
- Testing;
- Virtual Testing;
91.Autonomous Driving System: Model Based Safety Analysis

机译：自动驾驶系统：基于模型的安全分析
- 作者：Mohamed TLIG;Mathilde MACHIN;Romain KERNEIS;Emmanuel ARBARETIER;Linda ZHAO;Florent MEURVILLE;Jean VAN FRANK
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Automated Driving Systems;
- Functional Safety;
- ISO 26262;
- MBSA;
- AltaRica;
- Autonomous critical systems;
92.Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study

机译：无人机空中车辆基于模型的可靠性分析 - 以案例研究
- 作者：Matheus L. Franco;Rosana T. V. Braga;Kalinka R. J. L. Branco;Catherine Dezan;Andre L. de Oliveira;Jean-Philippe Diguet
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
93.Real-Time Security through a TEE

机译：通过TEE实时安全
- 作者：Roberto Duenez;Albert M. K. Cheng
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Embedded security;
- Trusted Environments;
- Real time;
- ARM TrustZone;
94.Risk assessment and security countermeasures for vehicular instrument clusters

机译：车辆仪器集群风险评估和安全对策
- 作者：Eugen Horatiu Gurban;Bogdan Groza;Pal-Stefan Murvay
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
95.PRESEnCE: A Framework for Monitoring, Modelling and Evaluating the Performance of Cloud SaaS Web Services

机译：存在：一种监控，建模和评估云SaaS Web服务性能的框架
- 作者：Abdallah A. Z. A. Ibrahim
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
96.A Large-scale System for Real-time Glucose Monitoring

机译：用于实时血糖监测的大规模系统
- 作者：Long Vu;Venkata N. Pavuluri;Yuan-chi Chang;Deepak S. Turaga;Alex Zhong;Pratik Agrawal;Amit Singh;Boyi Jiang;Krishna Chirutha
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
97.Hamartia: A Fast and Accurate Error Injection Framework

机译：Hamartia：一种快速准确的错误注射框架
- 作者：Chun-Kai Chang;Sangkug Lym;Nicholas Kelly;Michael B. Sullivan;Mattan Erez
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
98.Evaluating optical flow vectors under varying computer-generated snow intensities and pixel density for autonomous vehicles

机译：评估在不同计算机产生的雪强度和自动车辆的像素密度下的光学流量矢量
- 作者：Vikas Agrawal;Marcel Frueh;O. Bringmann;W. Rosenstiel
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
99.Parity++: Lightweight Error Correction for Last Level Caches

机译：奇偶校验++：最后一级缓存的轻量级纠错
- 作者：Irina Alam;Clayton Schoeny;Lara Dolecek;Puneet Gupta
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年
- Caches;
- Lightweight error-correction;
- Memory speculation;
100.ConfEx: Towards Automating Software Configuration Analytics in the Cloud

机译：Confex：在云中自动化软件配置分析
- 作者：Ozan Tuncer;Nilton Bila;Sastry Duri;Canturk Isci;Ayse K. Coskun
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2018年