Skip to main content
SpringerLink
Log in

Code Stabilization

  • Conference paper
Self-Stabilizing Systems (SSS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3764))

Included in the following conference series:

Abstract

Dijkstra’s concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of self-stabilization if faults can also affect (i.e., augment) the program code of a system. A code stabilizing system automatically recovers from (almost) arbitrary perturbations of its program code. We prove some lower bounds for code stabilizing systems and argue that code stabilization has many resemblances to the area of integrity management in the domain of security.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arora, A., Gouda, M.: Closure and convergence: A foundation of fault-tolerant computing. IEEE Transactions on Software Engineering 19(11), 1015–1027 (1993)

    Article  Google Scholar 

  2. Arora, A., Kulkarni, S.S.: Component based design of multitolerant systems. IEEE Transactions on Software Engineering 24(1), 63–78 (1998)

    Article  Google Scholar 

  3. Awerbuch, B., Patt-Shamir, B., Varghese, G.: Self-stabilization by local checking and correction. In: FOCS 1991 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pp. 268–277 (1991)

    Google Scholar 

  4. Dijkstra, E.W.: Self stabilizing systems in spite of distributed control. Communications of the ACM 17(11), 643–644 (1974)

    Article  MATH  Google Scholar 

  5. Dijkstra, E.W.: Guarded commands, nondeterminacy, and formal derivation of programs. Communications of the ACM 18(8), 453–457 (1975)

    Article  MATH  MathSciNet  Google Scholar 

  6. Dolev, S., Israeli, A., Moran, S.: Self-stabilization of dynamic systems assuming only read/write atomicity. Distributed Computing 7, 3–16 (1993)

    Article  Google Scholar 

  7. Garfinkel, S., Spafford, G., Schwartz, A.: Practical UNIX & Internet Security. O’Reilly & Associates, Sebastopol (2003)

    Google Scholar 

  8. Gouda, M.G.: Elements of security: Closure, convergence, and protection. Information Processing Letters 77(2-4), 109–114 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  9. Gouda, M.G., Multari, N.J.: Stabilizing communication protocols. IEEE Transactions on Computers 40(4), 448–458 (1991)

    Article  Google Scholar 

  10. Halflife. Bypassing integrity checkers. Phrack Magazine, 7(51) (September 1997)

    Google Scholar 

  11. Katz, S., Perry, K.J.: Self-stabilizing extensions for message-passing systems. Distributed Computing 7, 17–26 (1993)

    Article  Google Scholar 

  12. Li, M., Vitányi, P.: An introduction to Kolmogorov complexity and its applications, 2nd edn. Springer, Heidelberg (1997)

    MATH  Google Scholar 

  13. Menezes, A.J., Oorschot, P.C.V., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1997)

    MATH  Google Scholar 

  14. Thompson, K.L.: Reflections on trusting trust. Communications of the ACM 27(8), 761–763 (1984)

    Article  Google Scholar 

  15. Open Source Tripwire. Internet, http://www.sourceforge.net/projects/tripwire/

  16. Tripwire change auditing solutions. Internet, http://www.tripwire.com

Download references

Author information

Authors and Affiliations

  1. Laboratory for Dependable Distributed Systems, RWTH Aachen University, Germany

    Felix C. Freiling

  2. The University of Iowa, Iowa City, USA

    Sukumar Ghosh

Authors
  1. Felix C. Freiling
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sukumar Ghosh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIP6 & INRIA Grand Large, Université Pierre et Marie Curie - Paris 6, 104 avenue du Président Kennedy, 75016, Paris, France

    SĂ©bastien Tixeuil

  2. Department of Computer Science, University of Iowa, IA 52242-1419, Iowa City, U.S.A.

    Ted Herman

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Freiling, F.C., Ghosh, S. (2005). Code Stabilization. In: Tixeuil, S., Herman, T. (eds) Self-Stabilizing Systems. SSS 2005. Lecture Notes in Computer Science, vol 3764. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11577327_9

Download citation

  • DOI: https://doi.org/10.1007/11577327_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29814-4

  • Online ISBN: 978-3-540-32123-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation