Sentence examples for correctness of the protocol from inspiring English sources

Much care has to be taken not to violate correctness of the protocol by classifying too many correct peers as faulty; this problem is present in early systems such as Rampart [50] and SecureRing [34] as noted by Castro and Liskov [14, 15].

We then prove the correctness of the protocol followed by performance evaluation of the protocol.

More important to note is that this result proves that the correctness of the protocol is guaranteed when using nodes in different modes in the presence of mobility.

This again illustrates the correctness of the protocol implementation and reveals the potential of the adaptive routing protocol when mode switches are applied intelligently.

Correctness of the protocol for update transactions relies on the fact that at certification, we use value digests to check for data integrity and versions to check for data staleness.

Correctness of the recovery protocol is proved under the formal model.

In this paper, we analyse the correctness of the CSMA/CD protocol, using techniques from probabilistic model checking and approximate probabilistic model checking.

In particular, the definition of { X} K is extended to denote both encryption of X with K and that X is integrity protected with K, since the purpose of the rule { A ⊨ B | ~ X    derived    from    A ⊨ (A ↔ k b ),   A⊲{ X } K} is to verify that X is sent from B. We verify the correctness of the proposed protocols, the READ session and WRITE session, of Figure 4.

In this section, the correctness of the proposed cryptographic protocol is formally validated, based on BAN logic.

However, since the two protocols are identical in terms of the way of deriving and using the session keys, the correctness of the READ session protocol is verified.

We prove the correctness of our protocol using analytical models and we validate our implementation using detailed simulations.