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

BUGFIX: Adversary was weakened in a previous commit wrt symmetric-key protocols.

Browse Source 
After we merged some concepts from the compromise branch, we forgot to add
for the hardcoded PKI that the adversary also should have access to (some) symmetric
keys.
This commit is contained in:
Cas Cremers 2012-07-09 11:24:42 +02:00
parent d44e131f63
commit bb3cea7548
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/specialterm.c
View File

@ -30,6 +30,8 @@
#define langhide(x,y) x = levelConst(symbolSysConst(" _" y "_ ")) #define langhide(x,y) x = levelConst(symbolSysConst(" _" y "_ "))
#define langtype(x,y) x->stype = termlistAdd(x->stype,y) #define langtype(x,y) x->stype = termlistAdd(x->stype,y)
#define langcons(x,y,z) x = levelConst(symbolSysConst(y)); langtype(x,z) #define langcons(x,y,z) x = levelConst(symbolSysConst(y)); langtype(x,z)
#define symmEveKey(a,b) knowledgeAddTerm (sys->know, makeTermEncrypt ( makeTermTuple(a, b), TERM_K ) );
/* externally used: /* externally used:
*/ */
@ -134,9 +136,13 @@ specialTermInitAfter (const System sys)
knowledgeAddTerm (sys->know, AGENT_Dave); knowledgeAddTerm (sys->know, AGENT_Dave);
knowledgeAddTerm (sys->know, AGENT_Eve); knowledgeAddTerm (sys->know, AGENT_Eve);
// Make special Eve key and add to initial knowledge // Make special Eve keys and add to initial knowledge
SKE = makeTermEncrypt (AGENT_Eve, TERM_SK); SKE = makeTermEncrypt (AGENT_Eve, TERM_SK);
knowledgeAddTerm (sys->know, SKE); knowledgeAddTerm (sys->know, SKE);
symmEveKey (AGENT_Alice, AGENT_Eve);
symmEveKey (AGENT_Bob, AGENT_Eve);
symmEveKey (AGENT_Charlie, AGENT_Eve);
symmEveKey (AGENT_Eve, AGENT_Alice);
sys->untrusted = termlistAddNew (sys->untrusted, AGENT_Eve); sys->untrusted = termlistAddNew (sys->untrusted, AGENT_Eve);
} }