From 046eb67e78d46884ec01df8a64e4a590162d210c Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 18 Aug 2004 19:46:25 +0000 Subject: [PATCH] - Some stuff has been fixed, so can be removed from the todo list. --- src/todo.txt | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/todo.txt b/src/todo.txt index 3e81d66..592ac73 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,13 +1,3 @@ -- Arachne: Add 'from initial knowledge set X' insert nodes into the semistate. - That would allow distinguishing easily between attack types, and e.g. - (un)trusted requirements. -- Arachne does termDuplicate (for roledefDuplicate) and then termLocal, which - creates new copies. That's a bit redundant. -- Arachne does not respect claim select switch. -- roleInstance should determine whether any role variables (e.g. role names, - received values) are already instantiated. These should be copied and - replaced by their substitution values. Then, still in roleInstance, the role - variables should be reset. - Constraint logic now also has no checks for when a run is done by the intruder (which should be excluded). - Fix constants in intruder knowledge. Auto add single one of each type,