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

- Don't add secrecy claims for ticket types.

Browse Source
This commit is contained in:
ccremers 2005-12-28 11:59:39 +00:00
parent 0505aaacd6
commit dce2befd50
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/compiler.c
View File

@ -729,7 +729,18 @@ claimAddAll (const System sys, const Protocol protocol, const Role role)
{ {
while (tl != NULL) while (tl != NULL)
{ {
claimCreate (sys, protocol, role, CLAIM_Secret, NULL, tl->term); Term t;
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);
}
}
tl = tl->next; tl = tl->next;
} }
} }