发布求助
文献互助 智能选刊 最新文献

International Conference on Computer Safety, Reliability, and Security最新文献

筛选
英文 中文
Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection 基于神经网络的铁路信号命令异常预测
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_11
Markus Heinrich, Dominik Renkel, T. Arul, S. Katzenbeisser
{"title":"Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection","authors":"Markus Heinrich, Dominik Renkel, T. Arul, S. Katzenbeisser","doi":"10.1007/978-3-030-54549-9_11","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_11","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129765904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference 使用符号自动机学习和归纳推理的安全LTL到DFA的有效翻译
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_8
G. Giantamidis, Stylianos Basagiannis, S. Tripakis
{"title":"Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference","authors":"G. Giantamidis, Stylianos Basagiannis, S. Tripakis","doi":"10.1007/978-3-030-54549-9_8","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_8","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131344382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach 自动异常检测在CPS日志文件-时间序列聚类方法
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_12
Tabea Schmidt, Florian Hauer, A. Pretschner
{"title":"Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach","authors":"Tabea Schmidt, Florian Hauer, A. Pretschner","doi":"10.1007/978-3-030-54549-9_12","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_12","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121098900","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Cyber-Security of Neural Networks in Medical Devices 神经网络在医疗设备中的网络安全
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_19
Uwe Becker
{"title":"Cyber-Security of Neural Networks in Medical Devices","authors":"Uwe Becker","doi":"10.1007/978-3-030-54549-9_19","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_19","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128469117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases 系好。安全:一个模型驱动的工程工具，用于试验可检查的保证用例
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_20
Carmen Cârlan, D. Ratiu
{"title":"FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases","authors":"Carmen Cârlan, D. Ratiu","doi":"10.1007/978-3-030-54549-9_20","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_20","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129941199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle 安全满足安全:高度自动化道路车辆使用IEC 62443
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_22
Dominik Püllen, N. Anagnostopoulos, T. Arul, S. Katzenbeisser
{"title":"Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle","authors":"Dominik Püllen, N. Anagnostopoulos, T. Arul, S. Katzenbeisser","doi":"10.1007/978-3-030-54549-9_22","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_22","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125402721","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Classification of Faults Covering the Human-Computer Interaction Loop 涵盖人机交互回路的故障分类
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_29
Philippe A. Palanque, A. Cockburn, C. Gutwin
{"title":"A Classification of Faults Covering the Human-Computer Interaction Loop","authors":"Philippe A. Palanque, A. Cockburn, C. Gutwin","doi":"10.1007/978-3-030-54549-9_29","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_29","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126036472","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Model-Based Safety Analysis of Mode Transitions 基于模型的模式转换安全性分析
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_7
M. Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová
{"title":"Model-Based Safety Analysis of Mode Transitions","authors":"M. Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová","doi":"10.1007/978-3-030-54549-9_7","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_7","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"360 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114406707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
On Validating Attack Trees with Attack Effects 关于验证带有攻击效果的攻击树
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_21
Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida
{"title":"On Validating Attack Trees with Attack Effects","authors":"Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida","doi":"10.1007/978-3-030-54549-9_21","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_21","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117154046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings 确保交叉路口行人检测机器学习的安全性
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_13
Lydia Gauerhof, R. Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, I. Habli
{"title":"Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings","authors":"Lydia Gauerhof, R. Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, I. Habli","doi":"10.1007/978-3-030-54549-9_13","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_13","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122134366","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 29
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书