2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)最新文献_第4页

Software-Defined Dependable Computing for Spacecraft 航天器软件定义可靠计算

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00043

C. Fuchs, N. Murillo, A. Plaat, E. V. D. Kouwe, D. Harsono, Peng Wang

引用次数: 1

InfoLeak: Scheduling-Based Information Leakage infolleak:基于调度的信息泄漏

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00015

Tsvetoslava Vateva-Gurova, Salman Manzoor, Yennun Huang, N. Suri

{"title":"InfoLeak: Scheduling-Based Information Leakage","authors":"Tsvetoslava Vateva-Gurova, Salman Manzoor, Yennun Huang, N. Suri","doi":"10.1109/PRDC.2018.00015","DOIUrl":"https://doi.org/10.1109/PRDC.2018.00015","url":null,"abstract":"Covert-and side-channel attacks, typically enabled by the usage of shared resources, pose a serious threat to complex systems such as the Cloud. While their exploitation in the real world depends on properties of the execution environment (e.g., scheduling), the explicit consideration of these factors is often neglected. This paper introduces InfoLeak, an information leakage model that establishes the crucial role of the scheduler for exploiting core-private caches as covert channels. We show, formally and empirically, how the availability of these channels and the corresponding attack feasibility are affected by scheduling. Moreover, our model allows security experts to assess the related threat, posed by core-private cache covert channels for a particular system by considering solely the scheduling information. To validate the utility of InfoLeak, we deploy a covert-channel attack and correlate its success ratio to the scheduling of the attacker processes in the target system. We demonstrate the applicability of the InfoLeak model for analyzing the scheduling information for possible information leakage and also provide an example on its usage.","PeriodicalId":409301,"journal":{"name":"2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"432 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116707035","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

An Approach for Trustworthiness Benchmarking Using Software Metrics 一种基于软件度量的可信度基准测试方法

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00019

N. Medeiros, N. Ivaki, Pedro Costa, M. Vieira

{"title":"An Approach for Trustworthiness Benchmarking Using Software Metrics","authors":"N. Medeiros, N. Ivaki, Pedro Costa, M. Vieira","doi":"10.1109/PRDC.2018.00019","DOIUrl":"https://doi.org/10.1109/PRDC.2018.00019","url":null,"abstract":"Trustworthiness is a paramount concern for users and customers in the selection of a software solution, specially in the context of complex and dynamic environments, such as Cloud and IoT. However, assessing and benchmarking trustworthiness (worthiness of software for being trusted) is a challenging task, mainly due to the variety of application scenarios (e.g., businesscritical, safety-critical), the large number of determinative quality attributes (e.g., security, performance), and last, but foremost, due to the subjective notion of trust and trustworthiness. In this paper, we present trustworthiness as a measurable notion in relative terms based on security attributes and propose an approach for the assessment and benchmarking of software. The main goal is to build a trustworthiness assessment model based on software metrics (e.g., Cyclomatic Complexity, CountLine, CBO) that can be used as indicators of software security. To demonstrate the proposed approach, we assessed and ranked several files and functions of the Mozilla Firefox project based on their trustworthiness score and conducted a survey among several software security experts in order to validate the obtained rank. Results show that our approach is able to provide a sound ranking of the benchmarked software.","PeriodicalId":409301,"journal":{"name":"2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115763408","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}

引用次数: 6

Hierarchical Abnormal-Node Detection Using Fuzzy Logic for ECA Rule-Based Wireless Sensor Networks 基于ECA规则的无线传感器网络的模糊层次异常节点检测

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00051

Nesrine Berjab, Hieu Hanh Le, Chia-Mu Yu, S. Kuo, H. Yokota

{"title":"Hierarchical Abnormal-Node Detection Using Fuzzy Logic for ECA Rule-Based Wireless Sensor Networks","authors":"Nesrine Berjab, Hieu Hanh Le, Chia-Mu Yu, S. Kuo, H. Yokota","doi":"10.1109/PRDC.2018.00051","DOIUrl":"https://doi.org/10.1109/PRDC.2018.00051","url":null,"abstract":"The Internet of things (IoT) is a distributed, networked system composed of many embedded sensor devices. Unfortunately, these devices are resource constrained and susceptible to malicious data-integrity attacks and failures, leading to unreliability and sometimes to major failure of parts of the entire system. Intrusion detection and failure handling are essential requirements for IoT security. Nevertheless, as far as we know, the area of data-integrity detection for IoT has yet to receive much attention. Most previous intrusion-detection methods proposed for IoT, particularly for wireless sensor networks (WSNs), focus only on specific types of network attacks. Moreover, these approaches usually rely on using precise values to specify abnormality thresholds. However, sensor readings are often imprecise and crisp threshold values are inappropriate. To guarantee a lightweight, dependable monitoring system, we propose a novel hierarchical framework for detecting abnormal nodes in WSNs. The proposed approach uses fuzzy logic in event-condition-action (ECA) rule-based WSNs to detect malicious nodes, while also considering failed nodes. The spatiotemporal semantics of heterogeneous sensor readings are considered in the decision process to distinguish malicious data from other anomalies. Following our experiments with the proposed framework, we stress the significance of considering the sensor correlations to achieve detection accuracy, which has been neglected in previous studies. Our experiments using real-world sensor data demonstrate that our approach can provide high detection accuracy with low false-alarm rates. We also show that our approach performs well when compared to two well-known classification algorithms.","PeriodicalId":409301,"journal":{"name":"2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129929983","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

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions 原子并发实时事务的规范和形式化验证

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00021

Simin Cai, B. Gallina, Dag Nyström, C. Seceleanu

{"title":"Specification and Formal Verification of Atomic Concurrent Real-Time Transactions","authors":"Simin Cai, B. Gallina, Dag Nyström, C. Seceleanu","doi":"10.1109/PRDC.2018.00021","DOIUrl":"https://doi.org/10.1109/PRDC.2018.00021","url":null,"abstract":"Although atomicity, isolation and temporal correctness are crucial to the dependability of many real-time database-centric systems, the selected assurance mechanism for one property may breach another. Trading off these properties requires to specify and analyze their dependencies, together with the selected supporting mechanisms (abort recovery, concurrency control, and scheduling), which is still insufficiently supported. In this paper, we propose a UML profile, called UTRAN, for specifying atomic concurrent real-time transactions, with explicit support for all three properties and their supporting mechanisms. We also propose a pattern-based modeling framework, called UPPCART, to formalize the transactions and the mechanisms specified in UTRAN, as UPPAAL timed automata. Various mechanisms can be modeled flexibly using our reusable patterns, after which the desired properties can be verified by the UPPAAL model checker. Our techniques facilitate systematic analysis of atomicity, isolation and temporal correctness trade-offs with guarantee, thus contributing to a dependable real-time database system.","PeriodicalId":409301,"journal":{"name":"2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123412833","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 Algorithms Selection for Unsupervised Anomaly Detection 无监督异常检测算法选择研究

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00050

T. Zoppi, A. Ceccarelli, A. Bondavalli

{"title":"On Algorithms Selection for Unsupervised Anomaly Detection","authors":"T. Zoppi, A. Ceccarelli, A. Bondavalli","doi":"10.1109/PRDC.2018.00050","DOIUrl":"https://doi.org/10.1109/PRDC.2018.00050","url":null,"abstract":"Anomaly detection, which aims at identifying unexpected trends and data patterns, has widely been used to build error detectors, failure predictors or intrusion detectors. Internal faults or malicious attacks have a different impact on the behavior of the system. They usually manifest as different observable deviations from the expected behavior, which may be identified by anomaly detection algorithms. Our study aims at investigating the suitability of unsupervised algorithms and their families in detecting either point, contextual or collective anomalies. To provide a complete picture, we consider both sliding and non-sliding window algorithms which operate in unsupervised mode. Along with qualitative analyses of each algorithm and family, we conduct an experimental campaign in which we run each algorithm on three state-of-the-art datasets in which we inject either point, contextual or collective anomalies. Results show that non-sliding algorithms are capable to detect point and collective anomalies, while they cannot effectively deal with contextual ones. Instead, sliding window algorithms require shorter periods of training and naturally build a local context, which allow them to effectively deal with contextual anomalies. Such observations are summarized to support the choice of the correct algorithm depending on the investigated class(es) of anomaly.","PeriodicalId":409301,"journal":{"name":"2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121634144","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

Research on Convolutional Codes are Used in RAID 卷积码在RAID中的应用研究

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00032

Tianyi Zhang, M. Kitakami

引用次数: 0

Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT 基于机器学习的3GPP NB-IoT自适应重复方案

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00046

Li-Sheng Chen, W. Chung, Ing-Yi Chen, S. Kuo

引用次数: 6

A SAT-Based Approach for SDN Rule Table Distribution 基于sat的SDN规则表分发方法

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00034

Ryota Ogasawara, Masayuki Arai

引用次数: 3

Restructuring Mesh-Connected Processor Arrays with Spares on Four Sides by Orthogonal Side Rotation 四边备件网格连接处理器阵列的正交边旋转重构

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00029

I. Takanami, Masaru Fukushi

引用次数: 0