From 25fe5b210e5f8080cd7f5ed4fc3170a72a4f559a Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 2 Jan 2006 14:34:46 +0000
Subject: [PATCH] - Idea about timestamps added.

---
 src/todo.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/todo.txt b/src/todo.txt
index 48291f3..a4c7421 100644
--- 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.