- Idea about timestamps added.

2006-01-02 14:34:46 +00:00 · 2006-01-02 14:34:46 +00:00 · 25fe5b210e
commit 25fe5b210e
parent 28f13aff26
1 changed files with 3 additions and 0 deletions
--- a/src/todo.txt
+++ b/src/todo.txt
@ -1,3 +1,6 @@
+- Simple timestamps could be added by prefixing send message before the
+  role, sending any timestamp constants out first to the intruder. These
+  should of course be hidden in the output somehow.
 - Notes on the new attack group displays:
  * We want to group runs into consistent protocol runs.
  * Minimal req. for protocol run: equal \rho.