- More notes.

This commit is contained in:
ccremers 2006-01-02 15:10:40 +00:00
parent 25fe5b210e
commit 6516741983

View File

@ -1,3 +1,6 @@
- Add underspecified protocol support (roles missing -> warning)
- Add 'singular' keyword for roles, and think about support for
strand-space like templates.
- Simple timestamps could be added by prefixing send message before the - Simple timestamps could be added by prefixing send message before the
role, sending any timestamp constants out first to the intruder. These role, sending any timestamp constants out first to the intruder. These
should of course be hidden in the output somehow. should of course be hidden in the output somehow.