Common use of Protocol Notation Clause in Contracts

Protocol Notation. The assumptions and parameters of OMAP for the topology of CWSN are shown as follows: ➢ The underlying network is synchronous. ➢ Each node in the network can be identified uniquely. ➢ A node does not know the fault status of other components. ➢ Let x be the cluster identifier where 1≤x ≤N and N is the number of clusters N≥4. ➢ Let fn be a total number of malicious faulty sensor nodes. ➢ Let FC be the maximum number of allowable faulty clusters, FC≤(N–1)/3. ➢ Let TFn is the total number of allowable faulty sensor nodes, 1≤fn≤TFn. ➢ Let nx be the number of sensor nodes in cluster Cx, 0≤x≤N.

Protocol Notation. The assumptions and parameters of the proposed protocol OMAP for the topology of CWSN are shown as follows: ➢ The underlying network is synchronous. ➢ Each node in the network can be identified uniquely. ➢ A node does not know the fault status of other components. ➢ Let x x, y be the cluster identifier where 1≤x ≤N 1≤x, y≤N and N is the number of clusters N≥4. ➢ Let fn be a total number of malicious faulty sensor nodes. ➢ Let FC be the maximum number of allowable faulty clusters, FC≤(N–1)/3. ➢ Let TFn is the total number of allowable faulty sensor nodes, 1≤fn≤TFn. ➢ Let nx be is the number of sensor nodes in cluster Cx, 0≤x≤N.