Skip to content
Snippets Groups Projects
Commit dce6893c authored by Timm Lauser's avatar Timm Lauser
Browse files

Corrected theory names

parent 6ca52fd6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Privacy_Properties/daa_pnc_anonymity_cdrs.spthy
+ 1
− 1
View file @ dce6893c
......@@ -3,7 +3,7 @@ begin
/*
Protocol: DAA_PnC
Properties: PR3 - Unlinkable CDRs
Properties: Weaker version of PR3 - Anonymous CDRs
This Tamarin model is used to verify the privacy of the charge data authentication process
for the Direct Anonymous Authentication (DAA) based privacy extentsion of the
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment