Towards the design of efficient error detection mechanisms

0044 English OPEN
Leeke, Matthew;
  • Subject: QA76

The pervasive nature of modern computer systems has led to an increase in our\ud reliance on such systems to provide correct and timely services. Moreover, as\ud the functionality of computer systems is being increasingly defined in software,\ud it is imperative that so... View more
  • References (67)
    67 references, page 1 of 7

    [1] 7-Zip. http://www.7-zip.org/, September 2011.

    [2] M. Abadi, M. Budiu, U. Erlingsson, and J. Ligatti. Control- ow integrity. In Proceedings of the 12th ACM Conference on Computer and Communications Security, pages 340{353, November 2005.

    [3] Y. Afek, H. Attiya, A. Fekete, M. Fischer, N. Lynch, Y. Mansour, D. Wang, and L. Zuck. Reliable communication over unreliable channels. Journal of the ACM, 41(6):1267{1297, November 1994.

    [4] J. Aidemark, J. Vinter, P. Folkesson, and J. Karlsson. GOOFI: Generic object-oriented fault injection tool. In Proceedings of the 31st IEEE/IFIP International Conference on Dependable Systems and Networks, pages 83{ 88, July 2001.

    [5] N. Alexiou, S. Basagiannis, P. Katsaros, T. Dashpande, and S. A. Smolka. Formal analysis of the kaminsky DNS cache-poisoning attack using probabilistic model checking. In Proceedings of the 12th International Symposium on High-Assurance Systems Engineering, pages 94{103, November 2010.

    [6] Z. Alkhalifa, V. S. S. Nair, N. Krishnamurthy, and J. A. Abraham. Design and evaluation of system-level checks for on-line control ow error detection. IEEE Transactions on Parallel and Distributed Systems, 10(6):627{ 641, June 1999.

    [7] T. Anderson and P. A. Lee. Fault Tolerance - Principles and Practice. Prentice-Hall, September 1981.

    [8] J. Arlat, Y. Crouzet, J. Karlsson, P. Folkesson, E. Fuchs, and G. H. Leber. Comparison of physcial and software-implemented fault injection techniques. IEEE Transactions on Computers, 52(9):1115{1133, September 2003.

    [9] J. Arlat, Y. Crouzet, and J.-C. Laprie. Fault injection for dependability evaluation of fault tolerant computing systems. In Proceedings of the 19th International Symposium on Fault-Tolerant Computing, pages 348{355, June 1989.

    [10] A. Arora and M. Gouda. Distributed reset. IEEE Transactions on Computers, 43(9):1026{1038, September 1994.

  • Metrics
Share - Bookmark