An Autonomous Log Storage Management Protocol with Blockchain Mechanism and Access Control for the Internet of Things

. 2020 Nov 12;20(22):6471. doi: 10.3390/s20226471

Algorithm 11: Private block verification.

Input:

C T, P r i B

.
Output:

T r u e o r F a l s e

1:
Verify if: $H (N o n c e ∥ P r e v i o u s H a s h ∥ δ_{S r v} ∥ δ_{G W} ∥ δ_{I o T} ∥ δ_{C T} ∥ O p t i o n a l F i e l d s ∥ O t h e r F i e l d s) < D i f f i c u l t y$ .
2:
$V e r i f y_{E C D S A} (δ_{I o T}, σ_{C T})$ .
3:
$V e r i f y_{E C D S A} (δ_{G W}, σ_{C T})$ .
4:
$V e r i f y_{E C D S A} (δ_{S r v}, σ_{C T})$ .
5:
$V e r i f y : e (h, Y_{. x} C^{'}) ≟ e (σ, g)$ .
6:
if verifications hold, then output $T r u e$ .
7:
otherwise, output $F a l s e$ .