Security: Implementing a Gate
HomeBankingPermit open_for_tax_reporting(Ticket t)
throws RoleViolationException

 {

    if (MyHomeBankingPublicKey.stamp(t))

      return new HomeBankingPermit();

    else

      throw new RoleViolationException();

 }

Return to Tracks