Therefore I wonder if there is another area of science, one that is not as optimistic, and for instance follows these system expectations:
- if you send a message, you cannot expect anybody to follow its content
- you cannot trust any messenger to begin with (but might gain trust over time)
- just because a messenger was there some time ago, doesn't mean the messenger is still there
- just because a message is signed by a messenger it doesn't necessarily already mean the message is from the messenger
- the messages contents might be a false interpretation of the system's state, or might not represent the current state of affairs, things might change between send and receive of a message
- errors are the architectural default case, success is a lucky coincidence (that of course must be exploited maximally)
- side note: leadership election might already need an amount of successful cooperation that is never achieved (i.e. multiple messages need to be exchanged and trusted successfully)
In some regards I feel TCP/IP is already thinking in the right direction. That's how the internet became so successful in the beginning. But it has the big fault (which also was a key factor in its growth) that it simply trusts stuff via default. Mistrust is an add-on.
So if anybody knows about people researching distributed system from that pessimistic but serenely-accepting perspective I would be really interested.