Skip to main content
. 2024 Dec 16;24(24):8034. doi: 10.3390/s24248034
Algorithm 8 Claim protocol.

  1. B sends [Claim, P] to BS.

  2. Upon receiving [Claim, P] from B. Bank server BS performs the following steps.
    • (a)
      Abort if any of the following conditions is true:
      1. P.receiver.type ≠ ‘UA’.
      2. PayVerify(P) ≠ 1.
      3. P ∈ BS.paymentLog
    • (b)
      BS.onBal ← BS.onBal + P.amount.
    • (c)
      Add P to BS.inpaymentLog;
    • (d)
      Send [ClaimConfirmed] to B.