andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Reverted previous version: Tickets can possibly be secret as well

Browse Source 
(although this is dubious, as the claiming role will not know the
  contents in many cases)
This commit is contained in:
ccremers 2005-12-28 12:04:00 +00:00
parent dce2befd50
commit 39adf85c6a
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/compiler.c
View File

@ -734,12 +734,8 @@ claimAddAll (const System sys, const Protocol protocol, const Role role)
t = deVar (tl->term);
if (realTermLeaf (t))
{
// For anything that is not a ticket
if (!inTermlist (t->stype, TERM_Ticket))
{
// Add a secrecy claim
claimCreate (sys, protocol, role, CLAIM_Secret, NULL, t);
}
// Add a secrecy claim
claimCreate (sys, protocol, role, CLAIM_Secret, NULL, t);
}
tl = tl->next;
}