- Found a problem with type flaw attacks.

2004-10-12 15:23:03 +00:00 · 2004-10-12 15:23:03 +00:00 · d64badefdc
commit d64badefdc
parent 0de3320009
1 changed files with 2 additions and 0 deletions
--- a/src/todo.txt
+++ b/src/todo.txt
@ -1,3 +1,5 @@
+- Problem with goal bindings: instantiation of variable with a tuple might
+  introduce a tuple goal, which is forbidden. We must find a way to deal with this.
 - For secrecy, one trusted agent and one untrusted agent suffices.
  Implement this in the modelchecker.
 - Rewrite for untrusted roles, redesign this.