Runner

9798-4-4.spthy

Lemma legend

Opt: Standard

File : 979844_basic.spthy

cli : tamarin-prover 979844_basic.spthy --prove

Results : 979844_basic_results.spthy

  • IA_A:
  • IA_B:
  • NIA_A:
  • NIA_B:

File : 979844_leak_always_0.spthy

cli : tamarin-prover 979844_leak_always_0.spthy --prove

Results : 979844_leak_always_0_results.spthy

  • IA_A:
  • IA_B:
  • NIA_A:
  • NIA_B:

File : 979844_leak_always_1.spthy

cli : tamarin-prover 979844_leak_always_1.spthy --prove

Results : 979844_leak_always_1_results.spthy

  • IA_A:
  • IA_B:
  • NIA_A:
  • NIA_B:

File : 979844_reuse_once_0_0.spthy

cli : tamarin-prover 979844_reuse_once_0_0.spthy --prove

Results : 979844_reuse_once_0_0_results.spthy

  • IA_A:
  • IA_B:
  • NIA_A:
  • NIA_B:

File : 979844_reuse_once_0_1.spthy

cli : tamarin-prover 979844_reuse_once_0_1.spthy --prove

Results : 979844_reuse_once_0_1_results.spthy

  • IA_A:
  • IA_B:
  • NIA_A:
  • NIA_B:

File : 979844_reuse_once_1_1.spthy

cli : tamarin-prover 979844_reuse_once_1_1.spthy --prove

Results : 979844_reuse_once_1_1_results.spthy

  • IA_A:
  • IA_B:
  • NIA_A:
  • NIA_B:

File : 979844_reuse_always_0.spthy

cli : tamarin-prover 979844_reuse_always_0.spthy --prove

Results : 979844_reuse_always_0_results.spthy

  • IA_A:
  • IA_B:
  • NIA_A:
  • NIA_B:

File : 979844_reuse_always_1.spthy

cli : tamarin-prover 979844_reuse_always_1.spthy --prove

Results : 979844_reuse_always_1_results.spthy

  • IA_A:
  • IA_B:
  • NIA_A:
  • NIA_B: