No, you need to write such a procedure.
> a useful platform on top of which one could build this kind of
> security model, but it isn't there, and it isn't obvious that Safe-TCL
> actually provides 'an open framework on which you can build' such
> applications.
I expect this is the sort of thing "DeclareHarmless" is supposed to be
for. Declare harmless a procedure which checks the signature, and if it's
valid, declare a bunch more stuff as harmless. - Darren