From 3d1dc9c1a2425298b4e5c59384ffabace4755379 Mon Sep 17 00:00:00 2001 From: Timm Lauser <timm.lauser@h-da.de> Date: Fri, 18 Feb 2022 16:41:32 +0100 Subject: [PATCH] Minor formatting correction --- Privacy_Properties/privacy_properties.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/Privacy_Properties/privacy_properties.md b/Privacy_Properties/privacy_properties.md index 9cd9457..3cdc38a 100644 --- a/Privacy_Properties/privacy_properties.md +++ b/Privacy_Properties/privacy_properties.md @@ -1,4 +1,4 @@ -# Security Properties model files +# Privacy Properties model files These files have been developed and verified with Tamarin version 1.6.0. @@ -10,9 +10,9 @@ Hereby, `<filename>` has to be replaced with the name of the file that shall be As python oracles are used during verification, it is important that they are located in the same folder as the command is run (and possess the correct file permissions to be executable). -| Privacy Property | Tamarin File(s) | Oracle | -|:----------------------------------------------|:-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|:-| -| PR2 - Unlinkable Credential Installation | [daa_pnc_anonymity_credential_installation.spthy](daa_pnc_anonymity_credential_installation.spthy) <br> [daa_pnc_unlinkability_credential_installation.spthy](daa_pnc_unlinkability_credential_installation.spthy) | [ObsEquOracle_credential_installation.py](ObsEquOracle_credential_installation.py) | -| PR3 - Unlinkable Charge Autorization | [daa_pnc_anonymity_charge_authorisation.spthy](daa_pnc_anonymity_charge_authorisation.spthy) <br> [daa_pnc_unlinkability_charge_authorisation.spthy](daa_pnc_unlinkability_charge_authorisation.spthy) | [ObsEquOracle_charge_authorisation.py](ObsEquOracle_charge_authorisation.py) | -| PR4 - Unlinkable CDRs | [daa_pnc_anonymity_cdrs.spthy](daa_pnc_anonymity_cdrs.spthy) <br> [daa_pnc_unlinkability_cdrs.spthy](daa_pnc_unlinkability_cdrs.spthy) | [ObsEquOracle_cdrs.py](ObsEquOracle_cdrs.py) | -| PR5 - Unlinkability of EV Users and Locations | [daa_pnc_anonymity_ev_users_locations.spthy](daa_pnc_anonymity_ev_users_locations.spthy) <br> [daa_pnc_unlinkability_ev_users_locations.spthy](daa_pnc_unlinkability_ev_users_locations.spthy) | [ObsEquOracle_ev_users_locations.py](ObsEquOracle_ev_users_locations.py) | +| Privacy Property | Tamarin File(s) | Oracle | +|:-----------------------------------------------------------|:-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|:-| +| _PR<sub>2</sub>_ - Unlinkable Credential Installation | [daa_pnc_anonymity_credential_installation.spthy](daa_pnc_anonymity_credential_installation.spthy) <br> [daa_pnc_unlinkability_credential_installation.spthy](daa_pnc_unlinkability_credential_installation.spthy) | [ObsEquOracle_credential_installation.py](ObsEquOracle_credential_installation.py) | +| _PR<sub>3</sub>_ - Unlinkable Charge Autorization | [daa_pnc_anonymity_charge_authorisation.spthy](daa_pnc_anonymity_charge_authorisation.spthy) <br> [daa_pnc_unlinkability_charge_authorisation.spthy](daa_pnc_unlinkability_charge_authorisation.spthy) | [ObsEquOracle_charge_authorisation.py](ObsEquOracle_charge_authorisation.py) | +| _PR<sub>4</sub>_ - Unlinkable CDRs | [daa_pnc_anonymity_cdrs.spthy](daa_pnc_anonymity_cdrs.spthy) <br> [daa_pnc_unlinkability_cdrs.spthy](daa_pnc_unlinkability_cdrs.spthy) | [ObsEquOracle_cdrs.py](ObsEquOracle_cdrs.py) | +| _PR<sub>5</sub>_ - Unlinkability of EV Users and Locations | [daa_pnc_anonymity_ev_users_locations.spthy](daa_pnc_anonymity_ev_users_locations.spthy) <br> [daa_pnc_unlinkability_ev_users_locations.spthy](daa_pnc_unlinkability_ev_users_locations.spthy) | [ObsEquOracle_ev_users_locations.py](ObsEquOracle_ev_users_locations.py) | -- GitLab