Editing Distrust (section)

==In computer science==
A [[Protocol (computing)|protocol]] 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, [[Object (computer science)|requests]] and [[Verification and Validation (software)|validations]]. Once these are passed, the responsibility for [[error]]s 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.