E is a fascinating distributed programming language, designed explicitly for building secure systems. With E and capability security you can build digital currencies, mobile code, virtual worlds, etc and bypass many traditional security problems.
The E Language in a Walnut
wiki.erights.org