| Algorithm 2: Smart Contract Communication Phase |
|
begin if (ObjIdExists (sender.id, bc) == false OR ObjIdExists (receiver.id, bc)== false) then return Error (); if (sender.grpId != receiver.grpId) then return Error (); if (bc.SignVerif (sender.msg) == false) then return Error (); if (bc.CurrentGaslimitValue >(AllowedGasLimitValue)) then return Error (); LabelDeviceAsMalicious(); dropFromWhiteList(); end // Communication phase finished with success |