From be366afa0e0d0e7412ae37275dc6fecd96ad1564 Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 7 Sep 2004 09:56:06 +0000 Subject: [PATCH] - A good reduction idea for secrecy added to the todo list. --- src/todo.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index 69457b5..210dd9b 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,9 @@ +- For secrecy, one trusted agent and one untrusted agent suffices. + Implement this in the modelchecker. +- Possible bug in Arachne: AV->BV->AV mappings cause loops. This can + occur normally, but typically in type flaw stuff. It should be covered + by the unification procedure, but I haven't verified it myself that + this covers all cased in such a system. - Rewrite for untrusted roles, redesign this. - Add switch for arachne to prune encryption levels when using -m2. - Rewrite termMguTerm such that it iterates and adapt all functions