From aeafad484ff388d34dea170be08f693dffb3bc44 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 8 Sep 2011 14:49:48 +0200
Subject: [PATCH] BUGFIX: default PKI setup should have SK(E) in initial
 knowledge.

---
 src/specialterm.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/specialterm.c b/src/specialterm.c
index e9df7f3..19e1fbc 100644
--- a/src/specialterm.c
+++ b/src/specialterm.c
@@ -120,6 +120,8 @@ specialTermInit (const System sys)
 void
 specialTermInitAfter (const System sys)
 {
+  Term SKE;
+
   langcons (AGENT_Alice, "Alice", TERM_Agent);
   langcons (AGENT_Bob, "Bob", TERM_Agent);
   langcons (AGENT_Charlie, "Charlie", TERM_Agent);
@@ -132,6 +134,9 @@ specialTermInitAfter (const System sys)
   knowledgeAddTerm (sys->know, AGENT_Dave);
   knowledgeAddTerm (sys->know, AGENT_Eve);
 
+  // Make special Eve key and add to initial knowledge
+  SKE = makeTermEncrypt (AGENT_Eve, TERM_SK);
+  knowledgeAddTerm (sys->know, SKE);
   sys->untrusted = termlistAddNew (sys->untrusted, AGENT_Eve);
 }