Runner

lorawan_10.spthy

Lemma legend

Opt: Standard

File : lorawan_10_basic.spthy

cli : tamarin-prover lorawan_10_basic.spthy --prove

Results : lorawan_10_basic_results.spthy

  • IA_D:
  • IA_N:
  • NIA_D:
  • NIA_N:
  • IAK:
  • NIAK:
  • KF_N:
  • KF_D:
  • S_D:
  • S_N:

File : lorawan_10_leak_always_0.spthy

cli : tamarin-prover lorawan_10_leak_always_0.spthy --prove

Results : lorawan_10_leak_always_0_results.spthy

  • IA_D:
  • IA_N:
  • NIA_D:
  • NIA_N:
  • IAK:
  • NIAK:
  • KF_N:
  • KF_D:
  • S_D:
  • S_N:

File : lorawan_10_leak_always_1.spthy

cli : tamarin-prover lorawan_10_leak_always_1.spthy --prove

Results : lorawan_10_leak_always_1_results.spthy

  • IA_D:
  • IA_N:
  • NIA_D:
  • NIA_N:
  • IAK:
  • NIAK:
  • KF_N:
  • KF_D:
  • S_D:
  • S_N:

File : lorawan_10_reuse_once_0_0.spthy

cli : tamarin-prover lorawan_10_reuse_once_0_0.spthy --prove

Results : lorawan_10_reuse_once_0_0_results.spthy

  • IA_D:
  • IA_N:
  • NIA_D:
  • NIA_N:
  • IAK:
  • NIAK:
  • KF_N:
  • KF_D:
  • S_D:
  • S_N:

File : lorawan_10_reuse_once_0_1.spthy

cli : tamarin-prover lorawan_10_reuse_once_0_1.spthy --prove

Results : lorawan_10_reuse_once_0_1_results.spthy

  • IA_D:
  • IA_N:
  • NIA_D:
  • NIA_N:
  • IAK:
  • NIAK:
  • KF_N:
  • KF_D:
  • S_D:
  • S_N:

File : lorawan_10_reuse_once_1_1.spthy

cli : tamarin-prover lorawan_10_reuse_once_1_1.spthy --prove

Results : lorawan_10_reuse_once_1_1_results.spthy

  • IA_D:
  • IA_N:
  • NIA_D:
  • NIA_N:
  • IAK:
  • NIAK:
  • KF_N:
  • KF_D:
  • S_D:
  • S_N:

File : lorawan_10_reuse_always_0.spthy

cli : tamarin-prover lorawan_10_reuse_always_0.spthy --prove

Results : lorawan_10_reuse_always_0_results.spthy

  • IA_D:
  • IA_N:
  • NIA_D:
  • NIA_N:
  • IAK:
  • NIAK:
  • KF_N:
  • KF_D:
  • S_D:
  • S_N:

File : lorawan_10_reuse_always_1.spthy

cli : tamarin-prover lorawan_10_reuse_always_1.spthy --prove

Results : lorawan_10_reuse_always_1_results.spthy

  • IA_D:
  • IA_N:
  • NIA_D:
  • NIA_N:
  • IAK:
  • NIAK:
  • KF_N:
  • KF_D:
  • S_D:
  • S_N: