Are there any OS's that have implemented
(non-trivial) signatures on
loading executables as a scheme of protecting the operating
environment? I.e. something more than verifying the proper
COFF/ELF/etc. load format...
You might want to look at NetBSD's veriexec. I don't really know much
about it, but from what I've seen fly by on the lists, it sounds like
what you're looking for here.
/~\ The ASCII der Mouse
\ / Ribbon Campaign
X Against HTML mouse at rodents.montreal.qc.ca
/ \ Email! 7D C8 61 52 5D E7 2D 39 4E F1 31 3E E8 B3 27 4B