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

- Updated todo list.

Browse Source
This commit is contained in:
ccremers 2004-08-14 18:08:23 +00:00
parent bf75e93f4c
commit 911e9e4e94
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/todo.txt
View File

@ -1,3 +1,9 @@
- 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, - roleInstance should determine whether any role variables (e.g. role names,
received values) are already instantiated. These should be copied and received values) are already instantiated. These should be copied and
replaced by their substitution values. Then, still in roleInstance, the role replaced by their substitution values. Then, still in roleInstance, the role