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

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

筛选
英文 中文
Quantifying Assurance in Learning-enabled Systems 学习型系统中的量化保证
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-06-18 DOI: 10.1007/978-3-030-54549-9_18
Erfan Asaadi, E. Denney, Ganesh J. Pai
{"title":"Quantifying Assurance in Learning-enabled Systems","authors":"Erfan Asaadi, E. Denney, Ganesh J. Pai","doi":"10.1007/978-3-030-54549-9_18","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_18","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128982494","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}
引用次数: 11
Digital Forensics in Industrial Control Systems 工业控制系统中的数字取证
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_9
R. Altschaffel, M. Hildebrandt, Stefan Kiltz, J. Dittmann
{"title":"Digital Forensics in Industrial Control Systems","authors":"R. Altschaffel, M. Hildebrandt, Stefan Kiltz, J. Dittmann","doi":"10.1007/978-3-030-26601-1_9","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_9","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125533525","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
Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF 细节决定成败:使用SSAF实现终身安全与安全协同保障
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_21
N. Johnson, T. Kelly
{"title":"Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF","authors":"N. Johnson, T. Kelly","doi":"10.1007/978-3-030-26601-1_21","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_21","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"5 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122141521","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}
引用次数: 8
Towards Zero Alarms in Sound Static Analysis of Finite State Machines 有限状态机静声分析中的零报警研究
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_1
Josselin Giet, Laurent Mauborgne, Daniel Kästner, C. Ferdinand
{"title":"Towards Zero Alarms in Sound Static Analysis of Finite State Machines","authors":"Josselin Giet, Laurent Mauborgne, Daniel Kästner, C. Ferdinand","doi":"10.1007/978-3-030-26601-1_1","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_1","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122186246","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}
引用次数: 1
Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems 实践经验报告:用于自动驾驶系统的工程安全深度神经网络
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_16
Jelena Frtunikj
{"title":"Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems","authors":"Jelena Frtunikj","doi":"10.1007/978-3-030-26601-1_16","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_16","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132527850","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
Efficient Model-Level Reliability Analysis of Simulink Models Simulink模型的高效模型级可靠性分析
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_10
K. Ding, A. Morozov, K. Janschek
{"title":"Efficient Model-Level Reliability Analysis of Simulink Models","authors":"K. Ding, A. Morozov, K. Janschek","doi":"10.1007/978-3-030-26601-1_10","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_10","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114594700","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}
引用次数: 1
SafeDeML: On Integrating the Safety Design into the System Model SafeDeML:将安全设计集成到系统模型中
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_19
Tim Gonschorek, P. Bergt, Marco Filax, F. Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper
{"title":"SafeDeML: On Integrating the Safety Design into the System Model","authors":"Tim Gonschorek, P. Bergt, Marco Filax, F. Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper","doi":"10.1007/978-3-030-26601-1_19","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_19","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131201536","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
Fitness Functions for Testing Automated and Autonomous Driving Systems 测试自动驾驶和自动驾驶系统的适应度函数
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_5
Florian Hauer, A. Pretschner, Bernd Holzmüller
{"title":"Fitness Functions for Testing Automated and Autonomous Driving Systems","authors":"Florian Hauer, A. Pretschner, Bernd Holzmüller","doi":"10.1007/978-3-030-26601-1_5","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_5","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114365053","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}
引用次数: 35
Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks 基于SDN低延迟网络的可信安全上下文交换协议
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_20
Abdul Ghafoor Abbasi, A. Abbasi, Z. Khan
{"title":"Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks","authors":"Abdul Ghafoor Abbasi, A. Abbasi, Z. Khan","doi":"10.1007/978-3-030-26601-1_20","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_20","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"IA-21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126561166","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 Evidence Analysis of Safety Arguments Using Digital Dependability Identities 使用数字可靠性身份的安全论据自动证据分析
International Conference on Computer Safety, Reliability, and Security Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-26601-1_18
Jan Reich, M. Zeller, D. Schneider
{"title":"Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities","authors":"Jan Reich, M. Zeller, D. Schneider","doi":"10.1007/978-3-030-26601-1_18","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1_18","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114667455","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术官方微信
小红书