Review

finding-7

/mubench/checkouts/jmrtd/51/build/src//sos/mrtd/PassportService.java

main(String[])

class PassportService {
   public static void main(String[] arg) {
      try {
         Security.insertProviderAt(PROVIDER, 2);
         PassportService service = new PassportService(new JPCSCService());
         service.open();
         service.doBAC("XX0001302", "711019", "111001");
         PublicKey pubKey = service.readAAPublicKey();
         System.out.println("pubKey = " + pubKey);
         int attempt = 0;
         while (true) {
            try {
               System.out.println("Attempt " + attempt);
               if (service.doAA(pubKey)) {
                  System.out.println("AA succeeded!");
               } else {
                  System.out.println("AA failed!");
               }
            } catch (Exception e) {
               e.printStackTrace();
               attempt ++;
               continue;
            }
            break;
         }
         service.close();
      } catch (Exception e) {
         e.printStackTrace();
      }
   }

}