Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Self-stabilization by local checking and correction (extended abstract)
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
An introduction to Kolmogorov complexity and its applications (2nd ed.)
An introduction to Kolmogorov complexity and its applications (2nd ed.)
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Elements of security: closure, convergence, and protection
Information Processing Letters - Special issue in honor of Edsger W. Dijkstra
Handbook of Applied Cryptography
Handbook of Applied Cryptography
Self-stabilization of dynamic systems assuming only read/write atomicity
Distributed Computing - Special issue: Self-stabilization
Self-stabilizing extensions for message-passing systems
Distributed Computing - Special issue: Self-stabilization
Practical Unix & Internet Security, 3rd Edition
Practical Unix & Internet Security, 3rd Edition
Byzantine self-stabilizing pulse in a bounded-delay model
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
| Hi-index | 0.00 |
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.