From d64badefdce31477e00d9ac5969b3569f87e6878 Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 12 Oct 2004 15:23:03 +0000 Subject: [PATCH] - Found a problem with type flaw attacks. --- src/todo.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index d9a2a03..4b18412 100644 --- 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.