2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)最新文献

SeReCP: A Secure and Reliable Communication Platform for the Smart Grid SeReCP:智能电网安全可靠的通信平台

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2017-12-18 DOI: 10.1109/PRDC.2017.31

Kubilay Demir, N. Suri

{"title":"SeReCP: A Secure and Reliable Communication Platform for the Smart Grid","authors":"Kubilay Demir, N. Suri","doi":"10.1109/PRDC.2017.31","DOIUrl":"https://doi.org/10.1109/PRDC.2017.31","url":null,"abstract":"The management of a complex cyber-pbysical system such as the Smart Grid (SG) requires responsive, scalable nod high-bandwidth communication, which is often beyond the capabilities of the classical closed communication networks of the power grid. Consequently, the use of scalable public IPbased networks is increasingly beingadvocated. However, a direct consequence of the use of public networks is the exposure of the SG to varied reliability/seeurity risks, e.g., distributed denialot-serviee (DDoS). Thus the need exists for new lightweight mechanisms that can provide both cost-effective communication along with proactive DDoS attaek proteetion. We fill this gap by proposing a novel approach termed as SeReCP, which leverages: (1) a semi-trusted P2P-based publish-subseribe (PUb-sub) system providing a proaetive countermeasure for DDoS attacks nod secure group communications by aid of a group key management system, (2) a data diffusion mechanism that sustains the network availability in the case of both raodomly sweeping nod targeted DDoS attacks on pub-sub brokers, nod (3) a multi-boming-based fast recovery mecbaoism for detecting nod requesting the dropped paekets, thus paving the way for meeting the stringent latency requirements of SG applications. Our evaluation on a real testbed demonstrates that SeReCP provides the required seeurity nod availability for SG applications with up to 30% failures of the pub-sub brokers. Overall, we sbow that SeReCP belps enable the secure use of public network based communication for safetycritical cyber-pbysical systems such as the SG.","PeriodicalId":317544,"journal":{"name":"2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128303313","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

Attack Induced Common-Mode Failures on PLC-Based Safety System in a Nuclear Power Plant: Practical Experience Report 核电厂plc安全系统攻击诱发共模故障:实践经验报告

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2017-05-05 DOI: 10.1109/PRDC.2017.34

Bernard Lim, Daniel Chen, Y. An, Z. Kalbarczyk, R. Iyer

引用次数: 15

MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems 面向可扩展存储系统的网络优化多阶段擦除编码

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2017-05-05 DOI: 10.1109/PRDC.2017.54

Hiroaki Akutsu, Takahiro Yamamoto, K. Ueda, Hideo Saito

{"title":"MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems","authors":"Hiroaki Akutsu, Takahiro Yamamoto, K. Ueda, Hideo Saito","doi":"10.1109/PRDC.2017.54","DOIUrl":"https://doi.org/10.1109/PRDC.2017.54","url":null,"abstract":"In scalable storage systems, there are two kinds of methods for data redundancy: mirroring and parity. Each has its pros and cons. Mirroring creates a large amount of redundancy data, resulting in less usable space. Write performance degrades proportionally to the redundancy level due to an increase in communication. Parity-based methods partition data into multiple pieces, add parity information, and distribute the pieces of data and parity information. Parity-based methods are not often used with memory class media that are faster than the network, because distributing the data across servers results in low read performance. This research aims to establish an efficient data protection method that can be applied to fast, memory class media. We propose a new parity-based method called Multi-stage Erasure Coding (MEC), which creates two different erasure codes: one at the data transmission source server, and the other at the destination server. We show that our method reduces the space required to achieve redundancy while achieving high performance by making the amount of write communication independent of the redundancy level. We built a prototype program using MEC on a commodity cluster server. We show that compared with conventional parity-based methods with redundancy level 2, read I/O throughput is over one order of magnitude higher thanks to local reads and that write I/O throughput is almost the same due to network bottleneck.","PeriodicalId":317544,"journal":{"name":"2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132545097","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

Smart Cage Implementation with Dependable Safety Agent for Dogs 智能笼子实现与可靠的安全代理的狗

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2017-05-05 DOI: 10.1109/PRDC.2017.45

Kiat Siong Ng, Pei-Yin Chen, Pi-Hui Ting

{"title":"Smart Cage Implementation with Dependable Safety Agent for Dogs","authors":"Kiat Siong Ng, Pei-Yin Chen, Pi-Hui Ting","doi":"10.1109/PRDC.2017.45","DOIUrl":"https://doi.org/10.1109/PRDC.2017.45","url":null,"abstract":"This paper presents a smart cage which consists of an automated excrement detection module, a cleaning module, a feeding module, and multiple additional sensors for a dog. In the smart cage, excrement is detected by using image processing methods and is automatically cleaned up by the conveyance. Moreover, the conveyance can also be a treadmill for the dog to exercise, with its built-in and adjustable speed function which is designed for different levels of training. However, since the smart cage is automatic, it thus operates with minimal involvement from the pet owner. Therefore, the safety of the dog becomes an important issue due to no supervision. In this paper, a dependable safety agent will be proposed to solve the safety issue while the conveyance is still in use. The dependable safety agent will monitor two kinds of information and determine whether or not to stop the conveyance rotation. The first kind is the image processing technique which is used to detect the movement of the dog in the cage, with the purpose to signal for the conveyance to stop immediately if the dog moves abnormally. The second kind of information that is used to stop the conveyance, is by detecting unusual current peaks of the conveyance with the use of a current sensor. The smart cage may become safer and more reliable through using these methods to avoid any harm to the dog.","PeriodicalId":317544,"journal":{"name":"2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134083369","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

An Empirical Investigation of Fault Triggers in Android Operating System Android操作系统故障触发器的实证研究

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2017-01-01 DOI: 10.1109/PRDC.2017.27

Fangyun Qin, Zheng Zheng, Xiaodan Li, Yu Qiao, Kishor S. Trivedi

引用次数: 19

Integration of Integrity Enforcing Technologies into Embedded Control Devices: Experiences and Evaluation 嵌入式控制设备集成完整性强化技术:经验与评价

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2017-01-01 DOI: 10.1109/PRDC.2017.29

T. Rauter, Andrea Höller, Johannes Iber, Michael Krisper, Christian Kreiner

引用次数: 6

Detection of Recovery Patterns in Cluster Systems Using Resource Usage Data 利用资源使用数据检测集群系统中的恢复模式

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2017-01-01 DOI: 10.1109/PRDC.2017.17

Nentawe Gurumdimma, A. Jhumka

引用次数: 6

Learning Process Behavioral Baselines for Anomaly Detection 异常检测的学习过程行为基线

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 1900-01-01 DOI: 10.1109/PRDC.2017.28

Ahmed M. Fawaz, W. Sanders

{"title":"Learning Process Behavioral Baselines for Anomaly Detection","authors":"Ahmed M. Fawaz, W. Sanders","doi":"10.1109/PRDC.2017.28","DOIUrl":"https://doi.org/10.1109/PRDC.2017.28","url":null,"abstract":"Intrusion resilience is a protection strategy aimed at building systems that can continue to provide service during attacks. One approach to intrusion resilience is to continuously monitor a system's state and change its configuration to maintain service even while attacks are occurring. Intrusion detection, through both anomaly detection (for unknown attacks) and signature detection (for known attacks) is thus a crucial part of that resilience strategy. In this paper, we introduce KOBRA, an online anomaly detection engine that learns behavioral baselines for applications. KOBRA is implemented as a set of cooperative kernel modules that collects time-stamped process events. The process events are converted to a discrete-time signal in the polar space. We learn local patterns that occur in the data and then learn the normal co-occurrence relationships between the patterns. The patterns and the co-occurrence relations model the normal behavioral baseline of an application. We compute an anomaly score for tested traces and compare it against a threshold for anomaly detection. We evaluate the baseline by experimenting with its ability to discriminate between different processes and detect malicious behavior.","PeriodicalId":317544,"journal":{"name":"2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122922723","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

Application of Congestion Notifications in a Cyber-Physical System 拥塞通知在网络物理系统中的应用

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 1900-01-01 DOI: 10.1109/PRDC.2017.30

Stephen Jackson, B. McMillin

引用次数: 1

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination 车辆协调动态组成员的规范、实施和验证

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 1900-01-01 DOI: 10.1109/PRDC.2017.57

Mikael Asplund, Jakob Lovhall, E. Villani

引用次数: 10