Radboud University
iCIS

Automata Wiki

  • ↑ To Benchmarks

EMV protocol

  • Description
  • Bibliography

Benchmark models

  • Mealy

Learning with mapper

  • The Mapper
  • Learned models of bank card protocols
  • Pictures of Learned Models
    print · login   
Home » BenchmarkBankcard-AartsEtAl2013 » Mealy

Learned models of EMV protocol implementations

  • 4_learnresult_MAESTRO_fix.dot
  • ASN_learnresult_MAESTRO_fix.dot
  • Rabo_learnresult_MAESTRO_fix.dot
  • Volksbank_learnresult_MAESTRO_fix.dot
  • 10_learnresult_MasterCard_fix.dot
  • 1_learnresult_MasterCard_fix.dot
  • 4_learnresult_PIN_fix.dot
  • 4_learnresult_SecureCode Aut_fix.dot
  • ASN_learnresult_SecureCode Aut_fix.dot
  • Rabo_learnresult_SecureCode_Aut_fix.dot
  • learnresult_fix.dot