Distrust

Distrust is a formal way of not trusting any one party too much in a situation of grave risk or deep doubt. It is commonly expressed in civics as a division or balance of powers, or in politics as means of validating treaty terms. Systems based on distrust simply divide the responsibility so that checks and balances can operate. The phrase "Trust, but verify" refers specifically to distrust.

An electoral system or adversarial process inevitably is based on distrust, but not on mistrust. Parties compete in the system, but they do not compete to subvert the system itself, or gain bad faith advantage through it - if they do they are easily caught by the others. Of course much mistrust does exist between parties, and it is exactly this which motivates putting in place a formal system of distrust. for instance, which applies between states, relies on such means as formal disapproval which in effect say "we do not trust that person". It also tends to rely on a strict etiquette - distrusting each person's habits to signal their intent, and instead relying on a global standard for behaviour in sensitive social settings.

A as defined in computer science uses a more formal idea of distrust itself. Different parts of a system are not supposed to "trust" each other but rather perform specific assertions, requests and validations. Once these are passed, the responsibility for errors lies strictly with the receiving part of the system, not that which sent the original information. Applying this principle inside one program is called contract-based design.

...
Wikipedia