2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing最新文献

Two Efficient Software Techniques to Detect and Correct Control-Flow Errors 两种检测和纠正控制流错误的有效软件技术

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.10

H. Zarandi, M. Maghsoudloo, N. Khoshavi

{"title":"Two Efficient Software Techniques to Detect and Correct Control-Flow Errors","authors":"H. Zarandi, M. Maghsoudloo, N. Khoshavi","doi":"10.1109/PRDC.2010.10","DOIUrl":"https://doi.org/10.1109/PRDC.2010.10","url":null,"abstract":"This paper proposes two efficient software techniques, Control-flow and Data Errors Correction using Data-flow Graph Consideration (CDCC) and Miniaturized Check-Pointing (MCP), to detect and correct control-flow errors. These techniques have been implemented based on addition of redundant codes in a given program. The creativity applied in the methods for online detection and correction of the control-flow errors is using data-flow graph alongside of using control-flow graph. These techniques can detect most of the control-flow errors in the program firstly, and next can correct them, automatically. Therefore, both errors in the control-flow and program data which is caused by control-flow errors can be corrected, efficiently. In order to evaluate the proposed techniques, a post compiler is used, so that the techniques can be applied to every 80X86 binaries, transparently. Three benchmarks quick sort, matrix multiplication and linked list are used, and a total of 5000 transient faults are injected on several executable points in each program. The experimental results demonstrate that at least 93% and 89% of the control-flow errors can be detected and corrected without any data error generation by the CDCC and MCP, respectively. Moreover, the strength of these techniques is significant reduction in the performance and memory overheads in compare to traditional methods, for as much as remarkable correction abilities.","PeriodicalId":382974,"journal":{"name":"2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125155519","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}

引用次数: 21

An Asynchronous Checkpoint-Based Redundant Multithreading Architecture 基于异步检查点的冗余多线程体系结构

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.27

Jie Yin, Jianhui Jiang

引用次数: 1

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications 基于Jackson需求和规格说明参考模型的正式验证和需求管理

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.42

Takashi Kitamura, Keishi Okamoto, M. Takeyama

引用次数: 0

A Minimal Roll-Back Based Recovery Scheme for Fault Toleration in Pipeline Processors 基于最小回滚的流水线处理器容错恢复方案

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.44

Jun Yao, Ryoji Watanabe, Takashi Nakada, Hajime Shimada, Y. Nakashima, Kazutoshi Kobayashi

引用次数: 3

Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms 为灵活高效的安全机制实现混合虚拟机监控

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.32

Junya Sawazaki, T. Maeda, A. Yonezawa

{"title":"Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms","authors":"Junya Sawazaki, T. Maeda, A. Yonezawa","doi":"10.1109/PRDC.2010.32","DOIUrl":"https://doi.org/10.1109/PRDC.2010.32","url":null,"abstract":"Virtual machine monitors (VMMs) have emerged as potential tools %% are one of the promising approaches for implementing security mechanisms to enhance the security and/or reliability of software systems. There are two approaches to implementing VMMs. One is a software-based approach that emulates the execution of virtual machines via software. The other is a hardware-based approach that utilizes the hardware virtualization support of CPUs. The software-based approach is preferred for implementing security mechanisms, whereas the hardware-based approach is preferred from the viewpoint of performance. In this paper, we present an approach to implementing a hybrid VMM for flexible and efficient security mechanisms. The hybrid VMM consists of a software-based VMM (QEMU) and hardware-based VMM (KVM), and it dynamically switches between them. Using the hybrid VMM, security- and reliability-critical software can be executed on the software-based VMM, and performance-critical software can be executed on the hardware-based VMM. We also present the results of experiments conducted to evaluate the performance and verify the effectiveness of the hybrid VMM.","PeriodicalId":382974,"journal":{"name":"2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129160665","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

Quantitative Evaluation of Integrity for Remote System Using the Internet 基于Internet的远程系统完整性定量评价

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.13

M. Kitakami, Hiroshi Konno, K. Namba, Hideo Ito

引用次数: 0

A Safe Measurement-Based Worst-Case Execution Time Estimation Using Automatic Test-Data Generation 使用自动测试数据生成的基于安全测量的最坏情况执行时间估计

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.28

L. Kong, Jianhui Jiang

引用次数: 4

Core-Local Memory Assisted Protection 核心-本地内存辅助保护

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.48

Y. Kinebuchi, T. Nakajima, V. Ganapathy, L. Iftode

引用次数: 6

An Efficient Decision Unit for the Pair and Swap Methodology within Chip Multiprocessors 芯片多处理器中对交换方法的有效决策单元

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.43

J. Weston, Masashi Imai, Tomohide Nagai, T. Nanya

引用次数: 5

A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks 基于学习的保护Web服务免受SQL/XPath注入攻击的方法

2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing Pub Date : 2010-12-13 DOI: 10.1109/PRDC.2010.24

N. Laranjeiro, M. Vieira, H. Madeira

引用次数: 14