2018 14th European Dependable Computing Conference (EDCC)最新文献

Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection RTOS内核的硬件运行时验证:使用故障注入的评估

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00016

Dimitry Solet, Jean-Luc Béchennec, M. Briday, S. Faucou, S. Pillement

引用次数: 2

Message from WBD 2018 Workshop Organizers WBD 2018研讨会主办方寄语

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/edcc.2018.00012

引用次数: 0

Towards a Formal Approach to Analysing Security of Safety-Critical Systems 对安全关键系统的安全分析的正式方法

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00040

Inna Vistbakka, E. Troubitsyna

引用次数: 10

A Message-Passing Based Algorithm for k-Terminal Reliability 基于消息传递的k-终端可靠性算法

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00022

Minh Lê, J. Weidendorfer

引用次数: 0

Performance Benchmarking of Smart Contracts to Assess Miner Incentives in Ethereum 评估以太坊矿工激励的智能合约性能基准

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00034

A. Aldweesh, Maher Alharby, E. Solaiman, A. Moorsel

{"title":"Performance Benchmarking of Smart Contracts to Assess Miner Incentives in Ethereum","authors":"A. Aldweesh, Maher Alharby, E. Solaiman, A. Moorsel","doi":"10.1109/EDCC.2018.00034","DOIUrl":"https://doi.org/10.1109/EDCC.2018.00034","url":null,"abstract":"A defining feature of the Ethereum blockchain is its ability to execute smart contracts, providing a Turing complete programming model for distributed applications in non-trusted environments. The successful operation of the Ethereum blockchain depends on whether the miners' incentives (in the form of fees) to execute contracts is proportional to the miners' cost (in terms of energy usage, and thus CPU usage). In general, if the received fee is not proportional to the computational cost, miners would prefer some tasks over others, thus potentially adversely affecting the continuing dependable operation of the blockchain. In this paper we design a benchmark to compare smart contract execution time with the award a miner would receive, to determine if incentives align. We present the design of the benchmarking approach and provide initial results for the Python Ethereum client running on a Mac. The results indicate that for functions in Ethereum's most popular contracts the difference of reward per CPU second can be up to a factor of almost 50. In addition, contract creation, which is done once for each new contract, can be up to 6 times more lucrative than the regular execution of contract functions. Potentially, these discrepancies result in misaligned incentives that impact the dependable operation of the blockchain.","PeriodicalId":129399,"journal":{"name":"2018 14th European Dependable Computing Conference (EDCC)","volume":"10 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122719951","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}

引用次数: 33

Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors 评估程序设计语言对软错误的固有敏感性

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00021

F. Cerveira, Alcides Fonseca, R. Barbosa, H. Madeira

{"title":"Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors","authors":"F. Cerveira, Alcides Fonseca, R. Barbosa, H. Madeira","doi":"10.1109/EDCC.2018.00021","DOIUrl":"https://doi.org/10.1109/EDCC.2018.00021","url":null,"abstract":"The choice of programming language depends on a number of factors, such as efficiency and maintainability. With the predicted increase of the soft error rate in coming years due to technological improvements and the popularization of energy-saving techniques, the responsibility of tolerating transient hardware faults is no longer solely on the hardware-side, but is becoming more and more a software problem. Therefore choices taken throughout the software development and compilation process, such as the used programming language, are now a factor that should be taken into account. This paper evaluates the impact of the programming language in the sensitivity and vulnerability to soft errors of an application, through extensive fault injection campaigns that cover 5 benchmarks over 7 programming languages, considering the most common implementation. The results show that both the programming language and workload have a significant correlation with the occurrence of failures due to soft errors. Furthermore, since execution time varied noticeably across programming languages, applications developed in less-efficient languages showed a higher vulnerability time window in which they may be affected by soft errors.","PeriodicalId":129399,"journal":{"name":"2018 14th European Dependable Computing Conference (EDCC)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131202520","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

Fault-Tolerance Evaluation of a New SQL Database 一种新型SQL数据库的容错评估

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00023

Ainhoa Azqueta-Alzúaz, M. Patiño-Martínez, V. Vianello, R. Jiménez-Peris

引用次数: 3

Detecting Network Threats using OSINT Knowledge-Based IDS 使用OSINT基于知识的IDS检测网络威胁

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00031

Ivo Vacas, Ibéria Medeiros, N. Neves

{"title":"Detecting Network Threats using OSINT Knowledge-Based IDS","authors":"Ivo Vacas, Ibéria Medeiros, N. Neves","doi":"10.1109/EDCC.2018.00031","DOIUrl":"https://doi.org/10.1109/EDCC.2018.00031","url":null,"abstract":"Cybercrime has steadily increased over the last years, being nowadays the greatest security concern of most enterprises. Institutions often protect themselves from attacks by employing intrusion detection systems (IDS) that analyze the payload of packets to find matches with rules representing threats. However, the accuracy of these systems is as good as the knowledge they have about the threats. Nowadays, with the continuous flow of novel forms of sophisticated attacks and their variants, it is a challenge to keep an IDS updated. Open Source Intelligence (OSINT) could be explored to effectively obtain this knowledge, by retrieving information from diverse sources. This paper proposes a fully automated approach to update the IDS knowledge, covering the full cycle from OSINT data feed collection until the installation of new rules and blacklists. The approach was implemented as the IDSoSint system and was assessed with 49 OSINT feeds and production traffic. It was able to identify in real time various forms of malicious activities, including botnet C&C servers communications, remote access applications, brute-force attacks, and phishing events.","PeriodicalId":129399,"journal":{"name":"2018 14th European Dependable Computing Conference (EDCC)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116117843","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}

引用次数: 13

Simulation of Stochastic Blockchain Models 随机区块链模型的仿真

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00035

Pierre-Yves Piriou, J. Dumas

引用次数: 10

A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence 国际象棋方法论在可证明证据创设中的系统应用

2018 14th European Dependable Computing Conference (EDCC) Pub Date : 2018-09-01 DOI: 10.1109/EDCC.2018.00019

Lucas Bressan, A. L. Oliveira, Leonardo Montecchi, B. Gallina

引用次数: 6