Key-Insulated Undetachable Digital Signature Scheme and Solution for Secure Mobile Agents in Electronic Commerce

Algorithm 9

.

Begin

 If ( does NOT satisfy )

  retrun ⊥

 If

  retrun⊥

 If

  return

 Else

  return ⊥

End